1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
-- go.mod --
module example.com
go 1.18
-- func.go --
package main
// Test of dynamic function calls.
// No interfaces, so no runtime/reflect types.
func A1() {
A2(0)
}
func A2(int) {} // not address-taken
func B() {} // unreachable
var (
C = func(int) {}
D = func(int) {}
)
func main() {
A1()
pfn := C
pfn(0) // calls C and D but not A2 (same sig but not address-taken)
}
// WANT:
//
// edge main --dynamic function call--> init$1
// edge main --dynamic function call--> init$2
//
// reachable A1
// reachable A2
// reachable init$1
// reachable init$2
// !reachable B
// reachable main
|
