| // +build ignore | |
| package main | |
| import ( | |
| "fmt" | |
| "os" | |
| ) | |
| type S int | |
| var theS S | |
| func (s *S) String() string { | |
| print(s) // @pointsto main.theS | |
| return "" | |
| } | |
| func main() { | |
| // os.Args is considered intrinsically allocated, | |
| // but may also be set explicitly (e.g. on Windows), hence '...'. | |
| print(os.Args) // @pointsto <command-line args> | ... | |
| fmt.Println("Hello, World!", &theS) | |
| } | |
| // @calls main.main -> fmt.Println | |
| // @calls (*fmt.pp).handleMethods -> (*main.S).String |