Skip to content

Commit d9e7c89

Browse files
committed
Add indirect method calls
1 parent 84e70e1 commit d9e7c89

File tree

2 files changed

+7
-0
lines changed

2 files changed

+7
-0
lines changed

go/ql/test/library-tests/semmle/go/dataflow/PostUpdateNodes/test.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,8 @@
55
| test.go:22:2:22:2 | definition of a | test.go:26:2:26:2 | a |
66
| test.go:22:2:22:2 | definition of a | test.go:29:6:29:6 | a |
77
| test.go:22:2:22:2 | definition of a | test.go:30:7:30:7 | a |
8+
| test.go:22:2:22:2 | definition of a | test.go:35:4:35:4 | a |
9+
| test.go:22:2:22:2 | definition of a | test.go:36:5:36:5 | a |
810
| test.go:23:11:23:14 | &... | test.go:23:11:23:14 | &... |
911
| test.go:23:12:23:14 | selection of b | test.go:23:12:23:14 | selection of b |
1012
| test.go:24:2:24:5 | selection of bs | test.go:24:2:24:5 | selection of bs |

go/ql/test/library-tests/semmle/go/dataflow/PostUpdateNodes/test.go

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,4 +29,9 @@ func f() {
2929
c.m(a)
3030
c.mp(a)
3131

32+
// Indirect method calls - missing post-update nodes for the receivers
33+
f := c.m
34+
fp := c.mp
35+
f(a)
36+
fp(a)
3237
}

0 commit comments

Comments
 (0)