hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-02-21 15:09:53 +01:00
parent da41cbca06
commit d9753b0ca5
12 changed files with 23 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected
View File

@@ -1,3 +1,4 @@
switchInstructionWithoutDefaultEdge
astGuards
| test.c:7:9:7:13 | ... > ... |
| test.c:17:8:17:12 | ... < ... |

2
cpp/ql/test/library-tests/dataflow/dataflow-tests/test_ir.expected
View File

@@ -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 |

2
cpp/ql/test/library-tests/ir/constant_func/constant_func.expected
View File

@@ -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 |

2
cpp/ql/test/library-tests/ir/escape/escape.expected
View File

@@ -0,0 +1,2 @@
switchInstructionWithoutDefaultEdge
#select

2
cpp/ql/test/library-tests/ir/escape/ssa_escape.expected
View File

@@ -0,0 +1,2 @@
switchInstructionWithoutDefaultEdge
#select

2
cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.expected
View File

@@ -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 |

2
cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected
View File

@@ -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 |

2
cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/diff_ir_expr.expected
View File

@@ -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 |

2
cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ir_uniqueness.expected
View File

@@ -0,0 +1,2 @@
switchInstructionWithoutDefaultEdge
#select

2
cpp/ql/test/query-tests/Likely Bugs/RedundantNullCheckSimple/RedundantNullCheckSimple.expected
View File

@@ -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 |