recur.go

   1 // +build ignore
   2
   3 package main
   4
   5 // Analysis abstraction of recursive calls is finite.
   6
   7 func main() {
   8         main()
   9 }
  10
  11 // @calls main.main -> main.main