5 // Test of value flow from panic() to recover().
6 // We model them as stores/loads of a global location.
7 // We ignore concrete panic types originating from the runtime.
15 func g() string { return "" }
18 panic(123) // not reached
33 print(ex) // @types myPanic | string | func(int) | func() string
34 print(ex.(func(int))) // @pointsto main.f
35 print(ex.(func() string)) // @pointsto main.g