1// +build ignore
2
3package main
4
5import (
6	"fmt"
7	"os"
8)
9
10type S int
11
12var theS S
13
14func (s *S) String() string {
15	print(s) // @pointsto main.theS
16	return ""
17}
18
19func main() {
20	// os.Args is considered intrinsically allocated,
21	// but may also be set explicitly (e.g. on Windows), hence '...'.
22	print(os.Args) // @pointsto <command-line args> | ...
23	fmt.Println("Hello, World!", &theS)
24}
25
26// @calls main.main               -> fmt.Println
27// @calls (*fmt.pp).handleMethods -> (*main.S).String
28