C++/C#: Accept test output after adding sanity check to Instruction.qll

MathiasVP · MathiasVP · commit d9753b0ca559 · 2020-02-21T15:09:53.000+01:00
diff --git a/cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected b/cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected
@@ -1,3 +1,4 @@
+switchInstructionWithoutDefaultEdge
 astGuards
 | test.c:7:9:7:13 | ... > ... |
 | test.c:17:8:17:12 | ... < ... |
diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test_ir.expected b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test_ir.expected
@@ -1,3 +1,5 @@
+switchInstructionWithoutDefaultEdge
+#select
 | BarrierGuard.cpp:9:10:9:15 | source | BarrierGuard.cpp:5:19:5:24 | source |
 | BarrierGuard.cpp:15:10:15:15 | source | BarrierGuard.cpp:13:17:13:22 | source |
 | BarrierGuard.cpp:25:10:25:15 | source | BarrierGuard.cpp:21:17:21:22 | source |
diff --git a/cpp/ql/test/library-tests/ir/constant_func/constant_func.expected b/cpp/ql/test/library-tests/ir/constant_func/constant_func.expected
@@ -1,3 +1,5 @@
+switchInstructionWithoutDefaultEdge
+#select
 | constant_func.cpp:1:5:1:18 | IR: ReturnConstant | 7 |
 | constant_func.cpp:5:5:5:21 | IR: ReturnConstantPhi | 7 |
 | constant_func.cpp:25:5:25:25 | IR: ReturnConstantPhiLoop | 7 |
diff --git a/cpp/ql/test/library-tests/ir/escape/escape.expected b/cpp/ql/test/library-tests/ir/escape/escape.expected
@@ -0,0 +1,2 @@
+switchInstructionWithoutDefaultEdge
+#select
diff --git a/cpp/ql/test/library-tests/ir/escape/ssa_escape.expected b/cpp/ql/test/library-tests/ir/escape/ssa_escape.expected
@@ -0,0 +1,2 @@
+switchInstructionWithoutDefaultEdge
+#select
diff --git a/cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.expected b/cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.expected
@@ -1,3 +1,5 @@
+switchInstructionWithoutDefaultEdge
+instructionBounds
 | test.cpp:10:10:10:10 | Store: x | test.cpp:6:15:6:15 | InitializeParameter: x | 0 | false | NoReason | file://:0:0:0:0 | file://:0:0:0:0 |
 | test.cpp:10:10:10:10 | Store: x | test.cpp:6:22:6:22 | InitializeParameter: y | 0 | false | CompareLT: ... < ... | test.cpp:7:7:7:11 | test.cpp:7:7:7:11 |
 | test.cpp:10:10:10:10 | Store: x | test.cpp:6:22:6:22 | InitializeParameter: y | 0 | false | NoReason | file://:0:0:0:0 | file://:0:0:0:0 |
diff --git a/cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected b/cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected
@@ -1,3 +1,5 @@
+switchInstructionWithoutDefaultEdge
+#select
 | binary_logical_operator.c:2:11:2:25 | Constant: ... && ... | positive strictlyPositive |
 | binary_logical_operator.c:2:11:2:25 | Load: ... && ... | positive |
 | binary_logical_operator.c:2:11:2:25 | Phi: ... && ... | positive |
diff --git a/cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/diff_ir_expr.expected b/cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/diff_ir_expr.expected
@@ -1,3 +1,5 @@
+switchInstructionWithoutDefaultEdge
+#select
 | test.cpp:5:3:5:13 | ... = ... | test.cpp:5:3:5:13 | ... = ... | AST only |
 | test.cpp:6:3:6:13 | ... = ... | test.cpp:6:3:6:13 | ... = ... | AST only |
 | test.cpp:7:3:7:7 | ... = ... | test.cpp:7:3:7:7 | ... = ... | AST only |
diff --git a/cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ir_uniqueness.expected b/cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ir_uniqueness.expected
@@ -0,0 +1,2 @@
+switchInstructionWithoutDefaultEdge
+#select
diff --git a/cpp/ql/test/query-tests/Likely Bugs/RedundantNullCheckSimple/RedundantNullCheckSimple.expected b/cpp/ql/test/query-tests/Likely Bugs/RedundantNullCheckSimple/RedundantNullCheckSimple.expected
@@ -1,3 +1,5 @@
+switchInstructionWithoutDefaultEdge
+#select
 | RedundantNullCheckSimple.cpp:4:7:4:7 | Load: p | This null check is redundant because the value is $@ in any case | RedundantNullCheckSimple.cpp:3:7:3:8 | Load: * ... | dereferenced here |
 | RedundantNullCheckSimple.cpp:13:8:13:8 | Load: p | This null check is redundant because the value is $@ in any case | RedundantNullCheckSimple.cpp:10:11:10:12 | Load: * ... | dereferenced here |
 | RedundantNullCheckSimple.cpp:20:7:20:8 | Load: * ... | This null check is redundant because the value is $@ in any case | RedundantNullCheckSimple.cpp:19:7:19:9 | Load: * ... | dereferenced here |
diff --git a/csharp/ql/test/library-tests/ir/offbyone/OffByOneRA.expected b/csharp/ql/test/library-tests/ir/offbyone/OffByOneRA.expected
@@ -1,3 +1,5 @@
+switchInstructionWithoutDefaultEdge
+#select
 | test.cs:21:17:21:21 | Test2 | test.cs:34:41:34:51 | access to array element | This array access might be out of bounds, as the index might be equal to the array length |
 | test.cs:56:17:56:21 | Test4 | test.cs:67:41:67:51 | access to array element | This array access might be out of bounds, as the index might be equal to the array length |
 | test.cs:71:17:71:21 | Test5 | test.cs:77:22:77:27 | access to indexer | This array access might be out of bounds, as the index might be equal to the array length |
diff --git a/csharp/ql/test/library-tests/ir/rangeanalysis/RangeAnalysis.expected b/csharp/ql/test/library-tests/ir/rangeanalysis/RangeAnalysis.expected
@@ -1,3 +1,5 @@
+switchInstructionWithoutDefaultEdge
+instructionBounds
 | test.cs:22:12:22:12 | Store: access to parameter x | test.cs:16:24:16:24 | InitializeParameter: x | 0 | false | NoReason | file://:0:0:0:0 | :0:0:0:0 |
 | test.cs:22:12:22:12 | Store: access to parameter x | test.cs:16:31:16:31 | InitializeParameter: y | 0 | false | CompareLT: ... < ... | test.cs:18:9:18:13 | test.cs:18:9:18:13 |
 | test.cs:22:12:22:12 | Store: access to parameter x | test.cs:16:31:16:31 | InitializeParameter: y | 0 | false | NoReason | file://:0:0:0:0 | :0:0:0:0 |

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+switchInstructionWithoutDefaultEdge`
`1`	`2`	`astGuards`
`2`	`3`	`\| test.c:7:9:7:13 \| ... > ... \|`
`3`	`4`	`\| test.c:17:8:17:12 \| ... < ... \|`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+switchInstructionWithoutDefaultEdge`
	`2`	`+#select`
`1`	`3`	`\| BarrierGuard.cpp:9:10:9:15 \| source \| BarrierGuard.cpp:5:19:5:24 \| source \|`
`2`	`4`	`\| BarrierGuard.cpp:15:10:15:15 \| source \| BarrierGuard.cpp:13:17:13:22 \| source \|`
`3`	`5`	`\| BarrierGuard.cpp:25:10:25:15 \| source \| BarrierGuard.cpp:21:17:21:22 \| source \|`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+switchInstructionWithoutDefaultEdge`
	`2`	`+#select`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+switchInstructionWithoutDefaultEdge`
	`2`	`+instructionBounds`
`1`	`3`	`\| test.cpp:10:10:10:10 \| Store: x \| test.cpp:6:15:6:15 \| InitializeParameter: x \| 0 \| false \| NoReason \| file://:0:0:0:0 \| file://:0:0:0:0 \|`
`2`	`4`	`\| test.cpp:10:10:10:10 \| Store: x \| test.cpp:6:22:6:22 \| InitializeParameter: y \| 0 \| false \| CompareLT: ... < ... \| test.cpp:7:7:7:11 \| test.cpp:7:7:7:11 \|`
`3`	`5`	`\| test.cpp:10:10:10:10 \| Store: x \| test.cpp:6:22:6:22 \| InitializeParameter: y \| 0 \| false \| NoReason \| file://:0:0:0:0 \| file://:0:0:0:0 \|`