Skip to content

Commit e8dfecc

Browse files
committed
CPP: Fix test result
1 parent d603b7a commit e8dfecc

File tree

1 file changed

+4
-6
lines changed

1 file changed

+4
-6
lines changed

cpp/ql/test/library-tests/syntax-zoo/raw_consistency.expected

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -34,13 +34,15 @@ unnecessaryPhiInstruction
3434
memoryOperandDefinitionIsUnmodeled
3535
operandAcrossFunctions
3636
instructionWithoutUniqueBlock
37+
missingCanonicalLanguageType
38+
multipleCanonicalLanguageTypes
3739
containsLoopOfForwardEdges
40+
missingIRType
41+
multipleIRTypes
3842
lostReachability
3943
backEdgeCountMismatch
4044
useNotDominatedByDefinition
4145
| VacuousDestructorCall.cpp:2:29:2:29 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
42-
| misc.c:219:47:219:48 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | misc.c:219:5:219:26 | int assign_designated_init(someStruct*) | int assign_designated_init(someStruct*) |
43-
| ms_assume.cpp:11:30:11:33 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ms_assume.cpp:11:12:11:12 | int f(int, char*[]) | int f(int, char*[]) |
4446
| ms_try_except.cpp:9:19:9:19 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | ms_try_except.cpp:2:6:2:18 | void ms_try_except(int) | void ms_try_except(int) |
4547
| ms_try_except.cpp:9:19:9:19 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | ms_try_except.cpp:2:6:2:18 | void ms_try_except(int) | void ms_try_except(int) |
4648
| ms_try_except.cpp:19:17:19:21 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | ms_try_except.cpp:2:6:2:18 | void ms_try_except(int) | void ms_try_except(int) |
@@ -58,8 +60,4 @@ thisArgumentIsNonPointer
5860
| pointer_to_member.cpp:23:5:23:54 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
5961
| pointer_to_member.cpp:24:5:24:49 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
6062
nonUniqueIRVariable
61-
missingCanonicalLanguageType
62-
multipleCanonicalLanguageTypes
63-
missingIRType
64-
multipleIRTypes
6563
missingCppType

0 commit comments

Comments
 (0)