Skip to content

Commit 4b44afe

Browse files
author
Dave Bartolomeo
committed
C++: Accept syntax-zoo test output
1 parent fee5570 commit 4b44afe

File tree

3 files changed

+0
-152
lines changed

3 files changed

+0
-152
lines changed

‎cpp/ql/test/library-tests/syntax-zoo/aliased_ssa_sanity.expected

Lines changed: 0 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -334,10 +334,6 @@ ambiguousSuccessors
334334
| membercallexpr_args.cpp:7:6:7:6 | UnmodeledDefinition: f | Goto | 14 | pmcallexpr.cpp:7:5:7:5 | VariableAddress: definition of c |
335335
| membercallexpr_args.cpp:7:6:7:6 | UnmodeledDefinition: f | Goto | 14 | staticmembercallexpr.cpp:7:4:7:4 | VariableAddress: definition of c |
336336
| membercallexpr_args.cpp:7:6:7:6 | UnmodeledDefinition: f | Goto | 14 | staticmembercallexpr_args.cpp:8:6:8:6 | VariableAddress: definition of i |
337-
| misc.c:93:9:93:9 | Load: j | Goto | 2 | misc.c:93:9:93:9 | ConditionalBranch: j |
338-
| misc.c:93:9:93:9 | Load: j | Goto | 2 | misc.c:93:9:93:15 | VariableAddress: ... ? ... : ... |
339-
| misc.c:94:13:94:13 | Load: i | Goto | 2 | misc.c:94:9:94:19 | VariableAddress: ... ? ... : ... |
340-
| misc.c:94:13:94:13 | Load: i | Goto | 2 | misc.c:94:13:94:13 | ConditionalBranch: i |
341337
| newexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | array_delete.cpp:6:12:6:24 | Constant: (Foo *)... |
342338
| newexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | assignexpr.cpp:7:4:7:4 | VariableAddress: definition of c |
343339
| newexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | constmemberaccess.cpp:7:5:7:5 | VariableAddress: definition of c |
@@ -418,10 +414,6 @@ ambiguousSuccessors
418414
| pmcallexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | pmcallexpr.cpp:7:5:7:5 | VariableAddress: definition of c |
419415
| pmcallexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | staticmembercallexpr.cpp:7:4:7:4 | VariableAddress: definition of c |
420416
| pmcallexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | staticmembercallexpr_args.cpp:8:6:8:6 | VariableAddress: definition of i |
421-
| range_analysis.c:366:10:366:10 | Load: x | Goto | 2 | range_analysis.c:366:10:366:10 | ConditionalBranch: x |
422-
| range_analysis.c:366:10:366:10 | Load: x | Goto | 2 | range_analysis.c:366:10:366:15 | VariableAddress: ... ? ... : ... |
423-
| range_analysis.c:367:10:367:10 | Load: x | Goto | 2 | range_analysis.c:367:10:367:10 | ConditionalBranch: x |
424-
| range_analysis.c:367:10:367:10 | Load: x | Goto | 2 | range_analysis.c:367:10:367:17 | VariableAddress: ... ? ... : ... |
425417
| revsubscriptexpr.c:1:6:1:6 | UnmodeledDefinition: g | Goto | 2 | nonmembercallexpr.c:1:12:1:12 | NoOp: return ... |
426418
| revsubscriptexpr.c:1:6:1:6 | UnmodeledDefinition: g | Goto | 2 | revsubscriptexpr.c:2:9:2:9 | VariableAddress: definition of x |
427419
| staticmembercallexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | array_delete.cpp:6:12:6:24 | Constant: (Foo *)... |
@@ -515,48 +507,12 @@ ambiguousSuccessors
515507
| whilestmt.c:32:6:32:18 | UnmodeledDefinition: always_true_3 | Goto | 2 | dostmt.c:27:5:27:7 | NoOp: label ...: |
516508
| whilestmt.c:32:6:32:18 | UnmodeledDefinition: always_true_3 | Goto | 2 | whilestmt.c:33:9:33:9 | Constant: 1 |
517509
unexplainedLoop
518-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:93:9:93:9 | ConditionalBranch: j |
519-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:93:9:93:9 | Load: j |
520-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:93:9:93:9 | VariableAddress: j |
521-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:9:94:10 | Load: sp |
522-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:9:94:10 | VariableAddress: sp |
523-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:13:94:13 | ConditionalBranch: i |
524-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:13:94:13 | FieldAddress: i |
525-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:13:94:13 | Load: i |
526-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:366:10:366:10 | ConditionalBranch: x |
527-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:366:10:366:10 | Load: x |
528-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:366:10:366:10 | VariableAddress: x |
529-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:367:10:367:10 | ConditionalBranch: x |
530-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:367:10:367:10 | Load: x |
531-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:367:10:367:10 | VariableAddress: x |
532510
unnecessaryPhiInstruction
533511
memoryOperandDefinitionIsUnmodeled
534512
operandAcrossFunctions
535513
instructionWithoutUniqueBlock
536514
containsLoopOfForwardEdges
537515
lostReachability
538-
| misc.c:93:9:93:9 | ConditionalBranch: j |
539-
| misc.c:93:9:93:15 | VariableAddress: ... ? ... : ... |
540-
| misc.c:93:9:93:15 | VariableAddress: ... ? ... : ... |
541-
| misc.c:93:15:93:15 | Constant: 2 |
542-
| misc.c:94:9:94:10 | VariableAddress: sp |
543-
| misc.c:94:9:94:19 | VariableAddress: ... ? ... : ... |
544-
| misc.c:94:9:94:19 | VariableAddress: ... ? ... : ... |
545-
| misc.c:94:13:94:13 | ConditionalBranch: i |
546-
| misc.c:94:19:94:19 | VariableAddress: i |
547-
| range_analysis.c:366:10:366:10 | ConditionalBranch: x |
548-
| range_analysis.c:366:10:366:15 | VariableAddress: ... ? ... : ... |
549-
| range_analysis.c:366:10:366:15 | VariableAddress: ... ? ... : ... |
550-
| range_analysis.c:366:15:366:15 | Constant: (unsigned int)... |
551-
| range_analysis.c:367:10:367:10 | ConditionalBranch: x |
552-
| range_analysis.c:367:10:367:10 | VariableAddress: x |
553-
| range_analysis.c:367:10:367:17 | VariableAddress: ... ? ... : ... |
554-
| range_analysis.c:367:10:367:17 | VariableAddress: ... ? ... : ... |
555-
| range_analysis.c:367:15:367:17 | Constant: (unsigned int)... |
556-
| range_analysis.c:368:19:368:21 | Constant: (unsigned int)... |
557-
| range_analysis.c:369:36:369:36 | Constant: 5 |
558-
| range_analysis.c:370:36:370:38 | Constant: 500 |
559-
| range_analysis.c:371:37:371:39 | Constant: 500 |
560516
backEdgeCountMismatch
561517
useNotDominatedByDefinition
562518
switchInstructionWithoutDefaultEdge

‎cpp/ql/test/library-tests/syntax-zoo/raw_sanity.expected

Lines changed: 0 additions & 55 deletions
Original file line numberDiff line numberDiff line change
@@ -34,13 +34,6 @@ missingOperand
3434
| misc.c:220:3:223:3 | Store: ... = ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
3535
| misc.c:220:9:223:3 | FieldAddress: {...} | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
3636
| misc.c:220:9:223:3 | FieldAddress: {...} | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
37-
| range_analysis.c:368:10:368:21 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
38-
| range_analysis.c:369:10:369:36 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
39-
| range_analysis.c:370:10:370:38 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
40-
| range_analysis.c:371:10:371:39 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
41-
| range_analysis.c:385:10:385:21 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:377:14:377:27 | IR: test_ternary02 | unsigned int test_ternary02(unsigned int) |
42-
| range_analysis.c:386:10:386:21 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:377:14:377:27 | IR: test_ternary02 | unsigned int test_ternary02(unsigned int) |
43-
| range_analysis.c:387:10:387:38 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:377:14:377:27 | IR: test_ternary02 | unsigned int test_ternary02(unsigned int) |
4437
| try_catch.cpp:23:5:23:18 | CopyValue: (statement expression) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | try_catch.cpp:19:6:19:23 | IR: throw_from_nonstmt | void throw_from_nonstmt(int) |
4538
unexpectedOperand
4639
duplicateOperand
@@ -393,10 +386,6 @@ ambiguousSuccessors
393386
| membercallexpr_args.cpp:7:6:7:6 | UnmodeledDefinition: f | Goto | 14 | pmcallexpr.cpp:7:5:7:5 | VariableAddress: definition of c |
394387
| membercallexpr_args.cpp:7:6:7:6 | UnmodeledDefinition: f | Goto | 14 | staticmembercallexpr.cpp:7:4:7:4 | VariableAddress: definition of c |
395388
| membercallexpr_args.cpp:7:6:7:6 | UnmodeledDefinition: f | Goto | 14 | staticmembercallexpr_args.cpp:8:6:8:6 | VariableAddress: definition of i |
396-
| misc.c:93:9:93:9 | Load: j | Goto | 2 | misc.c:93:9:93:9 | ConditionalBranch: j |
397-
| misc.c:93:9:93:9 | Load: j | Goto | 2 | misc.c:93:9:93:15 | VariableAddress: ... ? ... : ... |
398-
| misc.c:94:13:94:13 | Load: i | Goto | 2 | misc.c:94:9:94:19 | VariableAddress: ... ? ... : ... |
399-
| misc.c:94:13:94:13 | Load: i | Goto | 2 | misc.c:94:13:94:13 | ConditionalBranch: i |
400389
| newexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | array_delete.cpp:6:12:6:24 | Constant: (Foo *)... |
401390
| newexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | assignexpr.cpp:7:4:7:4 | VariableAddress: definition of c |
402391
| newexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | constmemberaccess.cpp:7:5:7:5 | VariableAddress: definition of c |
@@ -477,10 +466,6 @@ ambiguousSuccessors
477466
| pmcallexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | pmcallexpr.cpp:7:5:7:5 | VariableAddress: definition of c |
478467
| pmcallexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | staticmembercallexpr.cpp:7:4:7:4 | VariableAddress: definition of c |
479468
| pmcallexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | staticmembercallexpr_args.cpp:8:6:8:6 | VariableAddress: definition of i |
480-
| range_analysis.c:366:10:366:10 | Load: x | Goto | 2 | range_analysis.c:366:10:366:10 | ConditionalBranch: x |
481-
| range_analysis.c:366:10:366:10 | Load: x | Goto | 2 | range_analysis.c:366:10:366:15 | VariableAddress: ... ? ... : ... |
482-
| range_analysis.c:367:10:367:10 | Load: x | Goto | 2 | range_analysis.c:367:10:367:10 | ConditionalBranch: x |
483-
| range_analysis.c:367:10:367:10 | Load: x | Goto | 2 | range_analysis.c:367:10:367:17 | VariableAddress: ... ? ... : ... |
484469
| revsubscriptexpr.c:1:6:1:6 | UnmodeledDefinition: g | Goto | 2 | nonmembercallexpr.c:1:12:1:12 | NoOp: return ... |
485470
| revsubscriptexpr.c:1:6:1:6 | UnmodeledDefinition: g | Goto | 2 | revsubscriptexpr.c:2:9:2:9 | VariableAddress: definition of x |
486471
| staticmembercallexpr.cpp:6:6:6:6 | UnmodeledDefinition: f | Goto | 14 | array_delete.cpp:6:12:6:24 | Constant: (Foo *)... |
@@ -574,52 +559,12 @@ ambiguousSuccessors
574559
| whilestmt.c:32:6:32:18 | UnmodeledDefinition: always_true_3 | Goto | 2 | dostmt.c:27:5:27:7 | NoOp: label ...: |
575560
| whilestmt.c:32:6:32:18 | UnmodeledDefinition: always_true_3 | Goto | 2 | whilestmt.c:33:9:33:9 | Constant: 1 |
576561
unexplainedLoop
577-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:93:9:93:9 | ConditionalBranch: j |
578-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:93:9:93:9 | Load: j |
579-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:93:9:93:9 | VariableAddress: j |
580-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:9:94:10 | Load: sp |
581-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:9:94:10 | VariableAddress: sp |
582-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:13:94:13 | ConditionalBranch: i |
583-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:13:94:13 | FieldAddress: i |
584-
| misc.c:91:6:91:33 | gnuConditionalOmittedOperand | misc.c:94:13:94:13 | Load: i |
585-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:366:10:366:10 | ConditionalBranch: x |
586-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:366:10:366:10 | Load: x |
587-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:366:10:366:10 | VariableAddress: x |
588-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:367:10:367:10 | ConditionalBranch: x |
589-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:367:10:367:10 | Load: x |
590-
| range_analysis.c:355:14:355:27 | test_ternary01 | range_analysis.c:367:10:367:10 | VariableAddress: x |
591562
unnecessaryPhiInstruction
592563
memoryOperandDefinitionIsUnmodeled
593564
operandAcrossFunctions
594565
instructionWithoutUniqueBlock
595566
containsLoopOfForwardEdges
596567
lostReachability
597-
| misc.c:93:9:93:9 | ConditionalBranch: j |
598-
| misc.c:93:9:93:15 | VariableAddress: ... ? ... : ... |
599-
| misc.c:93:9:93:15 | VariableAddress: ... ? ... : ... |
600-
| misc.c:93:15:93:15 | Constant: 2 |
601-
| misc.c:94:9:94:10 | VariableAddress: sp |
602-
| misc.c:94:9:94:19 | VariableAddress: ... ? ... : ... |
603-
| misc.c:94:9:94:19 | VariableAddress: ... ? ... : ... |
604-
| misc.c:94:13:94:13 | ConditionalBranch: i |
605-
| misc.c:94:19:94:19 | VariableAddress: i |
606-
| range_analysis.c:366:10:366:10 | ConditionalBranch: x |
607-
| range_analysis.c:366:10:366:15 | VariableAddress: ... ? ... : ... |
608-
| range_analysis.c:366:10:366:15 | VariableAddress: ... ? ... : ... |
609-
| range_analysis.c:366:15:366:15 | Constant: (unsigned int)... |
610-
| range_analysis.c:367:10:367:10 | ConditionalBranch: x |
611-
| range_analysis.c:367:10:367:10 | VariableAddress: x |
612-
| range_analysis.c:367:10:367:17 | VariableAddress: ... ? ... : ... |
613-
| range_analysis.c:367:10:367:17 | VariableAddress: ... ? ... : ... |
614-
| range_analysis.c:367:15:367:17 | Constant: (unsigned int)... |
615-
| range_analysis.c:368:10:368:21 | VariableAddress: ... ? ... : ... |
616-
| range_analysis.c:368:19:368:21 | Constant: (unsigned int)... |
617-
| range_analysis.c:369:10:369:36 | VariableAddress: ... ? ... : ... |
618-
| range_analysis.c:369:36:369:36 | Constant: 5 |
619-
| range_analysis.c:370:10:370:38 | VariableAddress: ... ? ... : ... |
620-
| range_analysis.c:370:36:370:38 | Constant: 500 |
621-
| range_analysis.c:371:10:371:39 | VariableAddress: ... ? ... : ... |
622-
| range_analysis.c:371:37:371:39 | Constant: 500 |
623568
backEdgeCountMismatch
624569
useNotDominatedByDefinition
625570
| VacuousDestructorCall.cpp:2:29:2:29 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | IR: CallDestructor | void CallDestructor<int>(int, int*) |

0 commit comments

Comments
 (0)