Skip to content

Commit b579e6a

Browse files
committed
C++: accept consistency test output
1 parent 25f3f67 commit b579e6a

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

cpp/ql/test/library-tests/ir/ssa/aliased_ssa_sanity_unsound.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
missingOperand
22
unexpectedOperand
33
duplicateOperand
4+
| ssa.cpp:286:27:286:30 | ReturnIndirection: argv | Instruction has 2 operands with tag 'SideEffect' in function '$@'. | ssa.cpp:286:5:286:8 | IR: main | int main(int, char**) |
45
missingPhiOperand
56
missingOperandType
67
duplicateChiOperand
@@ -19,6 +20,7 @@ switchInstructionWithoutDefaultEdge
1920
notMarkedAsConflated
2021
wronglyMarkedAsConflated
2122
invalidOverlap
23+
| ssa.cpp:286:27:286:30 | SideEffect | MemoryOperand 'SideEffect' has a `getDefinitionOverlap()` of 'MayPartiallyOverlap'. | ssa.cpp:286:5:286:8 | IR: main | int main(int, char**) |
2224
missingCanonicalLanguageType
2325
multipleCanonicalLanguageTypes
2426
missingIRType

0 commit comments

Comments
 (0)