Skip to content

Commit 4f10cb5

Browse files
committed
Local flow tests: do not list summary models
This is so that when we don't change the test results every time we add a summary model for a built-in function.
1 parent 57ff30c commit 4f10cb5

File tree

4 files changed

+6
-6
lines changed

4 files changed

+6
-6
lines changed

go/ql/test/library-tests/semmle/go/dataflow/FlowSteps/LocalFlowStep.expected

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
| file://:0:0:0:0 | [summary param] 1 in append | file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append |
2-
| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append |
31
| file://:0:0:0:0 | function Encode | url.go:51:14:51:21 | selection of Encode |
42
| file://:0:0:0:0 | function EscapedPath | url.go:28:14:28:26 | selection of EscapedPath |
53
| file://:0:0:0:0 | function Get | url.go:52:14:52:18 | selection of Get |
Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
import go
22

33
from DataFlow::Node nd, DataFlow::Node succ
4-
where DataFlow::localFlowStep(nd, succ)
4+
where
5+
DataFlow::localFlowStep(nd, succ) and
6+
(exists(nd.getFile()) or exists(succ.getFile()))
57
select nd, succ

go/ql/test/library-tests/semmle/go/dataflow/PromotedFields/LocalFlowStep.expected

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
| file://:0:0:0:0 | [summary param] 1 in append | file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append |
2-
| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append |
31
| main.go:3:6:3:11 | function source | main.go:23:31:23:36 | source |
42
| main.go:3:6:3:11 | function source | main.go:31:31:31:36 | source |
53
| main.go:3:6:3:11 | function source | main.go:40:30:40:35 | source |
Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
import go
22

33
from DataFlow::Node nd, DataFlow::Node succ
4-
where DataFlow::localFlowStep(nd, succ)
4+
where
5+
DataFlow::localFlowStep(nd, succ) and
6+
(exists(nd.getFile()) or exists(succ.getFile()))
57
select nd, succ

0 commit comments

Comments
 (0)