Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit b75bf06

Browse files
jbjjbj
committed
C++: Accept test changes in other IR tests
1 parent a34c0d4 commit b75bf06

5 files changed

Lines changed: 190 additions & 123 deletions

File tree

‎cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected‎

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@
1313
| bounded_bounds.c:16:12:16:12 | Load: x | negative strictlyNegative |
1414
| bounded_bounds.c:16:12:16:12 | Store: x | negative strictlyNegative |
1515
| inline_assembly.c:9:23:9:23 | Uninitialized: definition of y | positive |
16+
| inline_assembly.c:10:3:10:7 | CopyValue: ... = ... | positive strictlyPositive |
1617
| inline_assembly.c:10:3:10:7 | Store: ... = ... | positive strictlyPositive |
1718
| inline_assembly.c:10:7:10:7 | Constant: (unsigned int)... | positive strictlyPositive |
1819
| inline_assembly.c:12:32:12:32 | Load: y | positive strictlyPositive |
@@ -27,8 +28,10 @@
2728
| minmax.c:18:37:18:37 | Load: x | positive strictlyPositive |
2829
| minmax.c:18:40:18:40 | Load: y | positive strictlyPositive |
2930
| minmax.c:18:43:18:43 | Load: z | positive strictlyPositive |
31+
| minmax.c:20:2:24:3 | CopyValue: ... = ... | positive |
3032
| minmax.c:20:2:24:3 | Store: ... = ... | positive |
3133
| minmax.c:20:6:24:3 | CopyValue: (statement expression) | positive |
34+
| minmax.c:22:18:22:22 | CopyValue: ... = ... | positive strictlyPositive |
3235
| minmax.c:22:18:22:22 | Store: ... = ... | positive strictlyPositive |
3336
| minmax.c:22:22:22:22 | Load: x | positive strictlyPositive |
3437
| minmax.c:23:3:23:3 | Load: t | positive |
@@ -37,13 +40,15 @@
3740
| minmax.c:26:40:26:40 | Load: y | positive strictlyPositive |
3841
| minmax.c:26:43:26:43 | Load: z | positive |
3942
| test.c:7:10:7:10 | Phi: p | positive |
43+
| test.c:8:5:8:19 | CopyValue: ... = ... | positive strictlyPositive |
4044
| test.c:8:5:8:19 | Store: ... = ... | positive strictlyPositive |
4145
| test.c:8:13:8:17 | Load: count | positive |
4246
| test.c:8:13:8:19 | Add: ... + ... | positive strictlyPositive |
4347
| test.c:8:19:8:19 | Constant: 1 | positive strictlyPositive |
4448
| test.c:10:10:10:14 | Load: count | positive |
4549
| test.c:10:10:10:14 | Store: count | positive |
4650
| test.c:15:10:15:10 | Phi: p | positive |
51+
| test.c:16:5:16:26 | CopyValue: ... = ... | positive |
4752
| test.c:16:5:16:26 | Store: ... = ... | positive |
4853
| test.c:16:13:16:26 | Rem: ... % ... | positive |
4954
| test.c:16:14:16:18 | Load: count | positive |
@@ -57,6 +62,7 @@
5762
| test.c:24:5:24:11 | Constant: ... ++ | positive strictlyPositive |
5863
| test.c:24:5:24:11 | Load: ... ++ | positive |
5964
| test.c:24:5:24:11 | Store: ... ++ | positive strictlyPositive |
65+
| test.c:25:5:25:22 | CopyValue: ... = ... | positive |
6066
| test.c:25:5:25:22 | Store: ... = ... | positive |
6167
| test.c:25:13:25:17 | Load: count | positive strictlyPositive |
6268
| test.c:25:13:25:22 | Rem: ... % ... | positive |
@@ -67,6 +73,7 @@
6773
| test.c:33:15:33:15 | Phi: i | positive |
6874
| test.c:33:15:33:15 | Phi: i | positive |
6975
| test.c:33:19:33:19 | Constant: 2 | positive strictlyPositive |
76+
| test.c:33:22:33:28 | CopyValue: ... = ... | positive strictlyPositive |
7077
| test.c:33:22:33:28 | Store: ... = ... | positive strictlyPositive |
7178
| test.c:33:26:33:26 | Load: i | positive |
7279
| test.c:33:26:33:28 | Add: ... + ... | positive strictlyPositive |
@@ -101,6 +108,7 @@
101108
| test.c:51:15:51:17 | Add: ... + ... | positive strictlyPositive |
102109
| test.c:51:17:51:17 | Constant: 2 | positive strictlyPositive |
103110
| test.c:51:21:51:21 | Constant: 4 | positive strictlyPositive |
111+
| test.c:51:24:51:30 | CopyValue: ... = ... | positive strictlyPositive |
104112
| test.c:51:24:51:30 | Store: ... = ... | positive strictlyPositive |
105113
| test.c:51:28:51:28 | Load: i | positive |
106114
| test.c:51:28:51:30 | Add: ... + ... | positive strictlyPositive |
@@ -459,6 +467,7 @@
459467
| test.c:343:5:343:7 | Constant: ... ++ | positive strictlyPositive |
460468
| test.c:343:5:343:7 | Load: ... ++ | positive |
461469
| test.c:343:5:343:7 | Store: ... ++ | positive strictlyPositive |
470+
| test.c:345:3:345:7 | CopyValue: ... = ... | positive strictlyPositive |
462471
| test.c:345:3:345:7 | Store: ... = ... | positive strictlyPositive |
463472
| test.c:345:7:345:7 | Load: i | positive strictlyPositive |
464473
| test.c:346:7:346:7 | Load: x | positive |
@@ -474,6 +483,7 @@
474483
| test.c:356:36:356:37 | Uninitialized: definition of y6 | positive |
475484
| test.c:356:40:356:41 | Uninitialized: definition of y7 | positive |
476485
| test.c:356:44:356:45 | Uninitialized: definition of y8 | positive |
486+
| test.c:357:3:357:23 | CopyValue: ... = ... | positive |
477487
| test.c:357:3:357:23 | Store: ... = ... | positive |
478488
| test.c:357:8:357:8 | Load: x | positive |
479489
| test.c:357:8:357:23 | Load: ... ? ... : ... | positive |
@@ -483,6 +493,7 @@
483493
| test.c:357:12:357:14 | Constant: (unsigned int)... | positive strictlyPositive |
484494
| test.c:357:18:357:18 | Load: x | positive |
485495
| test.c:357:22:357:23 | Constant: (unsigned int)... | positive strictlyPositive |
496+
| test.c:358:3:358:24 | CopyValue: ... = ... | positive |
486497
| test.c:358:3:358:24 | Store: ... = ... | positive |
487498
| test.c:358:8:358:8 | Load: x | positive |
488499
| test.c:358:8:358:24 | Load: ... ? ... : ... | positive |
@@ -494,27 +505,31 @@
494505
| test.c:358:24:358:24 | Load: x | positive |
495506
| test.c:365:7:365:7 | Load: x | positive |
496507
| test.c:365:11:365:13 | Constant: (unsigned int)... | positive strictlyPositive |
508+
| test.c:366:5:366:15 | CopyValue: ... = ... | positive |
497509
| test.c:366:5:366:15 | Store: ... = ... | positive |
498510
| test.c:366:10:366:10 | Load: x | positive |
499511
| test.c:366:10:366:15 | Load: ... ? ... : ... | positive |
500512
| test.c:366:10:366:15 | Phi: ... ? ... : ... | positive |
501513
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive |
502514
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive strictlyPositive |
503515
| test.c:366:15:366:15 | Constant: (unsigned int)... | positive strictlyPositive |
516+
| test.c:367:5:367:17 | CopyValue: ... = ... | positive |
504517
| test.c:367:5:367:17 | Store: ... = ... | positive |
505518
| test.c:367:10:367:10 | Load: x | positive |
506519
| test.c:367:10:367:17 | Load: ... ? ... : ... | positive |
507520
| test.c:367:10:367:17 | Phi: ... ? ... : ... | positive |
508521
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive |
509522
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive strictlyPositive |
510523
| test.c:367:15:367:17 | Constant: (unsigned int)... | positive strictlyPositive |
524+
| test.c:368:5:368:21 | CopyValue: ... = ... | positive strictlyPositive |
511525
| test.c:368:5:368:21 | Store: ... = ... | positive strictlyPositive |
512526
| test.c:368:10:368:21 | Load: ... ? ... : ... | positive strictlyPositive |
513527
| test.c:368:10:368:21 | Store: ... ? ... : ... | positive strictlyPositive |
514528
| test.c:368:11:368:11 | Load: x | positive |
515529
| test.c:368:11:368:13 | Add: ... + ... | positive strictlyPositive |
516530
| test.c:368:13:368:13 | Constant: (unsigned int)... | positive strictlyPositive |
517531
| test.c:368:19:368:21 | Constant: (unsigned int)... | positive strictlyPositive |
532+
| test.c:369:5:369:36 | CopyValue: ... = ... | positive strictlyPositive |
518533
| test.c:369:5:369:36 | Store: ... = ... | positive strictlyPositive |
519534
| test.c:369:10:369:36 | Convert: (unsigned int)... | positive strictlyPositive |
520535
| test.c:369:10:369:36 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -524,6 +539,7 @@
524539
| test.c:369:27:369:29 | Add: ... + ... | positive strictlyPositive |
525540
| test.c:369:29:369:29 | Constant: (unsigned int)... | positive strictlyPositive |
526541
| test.c:369:36:369:36 | Constant: 5 | positive strictlyPositive |
542+
| test.c:370:5:370:38 | CopyValue: ... = ... | positive strictlyPositive |
527543
| test.c:370:5:370:38 | Store: ... = ... | positive strictlyPositive |
528544
| test.c:370:10:370:38 | Convert: (unsigned int)... | positive strictlyPositive |
529545
| test.c:370:10:370:38 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -533,6 +549,7 @@
533549
| test.c:370:27:370:29 | Add: ... + ... | positive strictlyPositive |
534550
| test.c:370:29:370:29 | Constant: (unsigned int)... | positive strictlyPositive |
535551
| test.c:370:36:370:38 | Constant: 500 | positive strictlyPositive |
552+
| test.c:371:5:371:39 | CopyValue: ... = ... | positive strictlyPositive |
536553
| test.c:371:5:371:39 | Store: ... = ... | positive strictlyPositive |
537554
| test.c:371:10:371:39 | Convert: (unsigned int)... | positive strictlyPositive |
538555
| test.c:371:10:371:39 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -570,6 +587,7 @@
570587
| test.c:378:24:378:25 | Uninitialized: definition of y3 | positive |
571588
| test.c:378:28:378:29 | Uninitialized: definition of y4 | positive |
572589
| test.c:378:32:378:33 | Uninitialized: definition of y5 | positive |
590+
| test.c:379:3:379:24 | CopyValue: ... = ... | positive strictlyPositive |
573591
| test.c:379:3:379:24 | Store: ... = ... | positive strictlyPositive |
574592
| test.c:379:8:379:8 | Load: x | positive |
575593
| test.c:379:8:379:24 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -579,6 +597,7 @@
579597
| test.c:379:12:379:14 | Constant: (unsigned int)... | positive strictlyPositive |
580598
| test.c:379:18:379:18 | Load: x | positive strictlyPositive |
581599
| test.c:379:22:379:24 | Constant: (unsigned int)... | positive strictlyPositive |
600+
| test.c:380:3:380:25 | CopyValue: ... = ... | positive strictlyPositive |
582601
| test.c:380:3:380:25 | Store: ... = ... | positive strictlyPositive |
583602
| test.c:380:8:380:8 | Load: x | positive |
584603
| test.c:380:8:380:25 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -588,28 +607,34 @@
588607
| test.c:380:13:380:15 | Constant: (unsigned int)... | positive strictlyPositive |
589608
| test.c:380:19:380:21 | Constant: (unsigned int)... | positive strictlyPositive |
590609
| test.c:380:25:380:25 | Load: x | positive strictlyPositive |
610+
| test.c:381:3:381:11 | CopyValue: ... = ... | positive strictlyPositive |
591611
| test.c:381:3:381:11 | Store: ... = ... | positive strictlyPositive |
592612
| test.c:381:8:381:11 | Constant: (unsigned int)... | positive strictlyPositive |
613+
| test.c:382:3:382:11 | CopyValue: ... = ... | positive strictlyPositive |
593614
| test.c:382:3:382:11 | Store: ... = ... | positive strictlyPositive |
594615
| test.c:382:8:382:11 | Constant: (unsigned int)... | positive strictlyPositive |
616+
| test.c:383:3:383:11 | CopyValue: ... = ... | positive strictlyPositive |
595617
| test.c:383:3:383:11 | Store: ... = ... | positive strictlyPositive |
596618
| test.c:383:8:383:11 | Constant: (unsigned int)... | positive strictlyPositive |
597619
| test.c:384:7:384:7 | Load: x | positive |
598620
| test.c:384:12:384:14 | Constant: (unsigned int)... | positive strictlyPositive |
621+
| test.c:385:5:385:21 | CopyValue: ... = ... | positive strictlyPositive |
599622
| test.c:385:5:385:21 | Store: ... = ... | positive strictlyPositive |
600623
| test.c:385:10:385:21 | Load: ... ? ... : ... | positive strictlyPositive |
601624
| test.c:385:10:385:21 | Store: ... ? ... : ... | positive strictlyPositive |
602625
| test.c:385:11:385:11 | Load: x | positive strictlyPositive |
603626
| test.c:385:11:385:15 | Sub: ... - ... | positive |
604627
| test.c:385:13:385:15 | Constant: (unsigned int)... | positive strictlyPositive |
605628
| test.c:385:21:385:21 | Constant: (unsigned int)... | positive strictlyPositive |
629+
| test.c:386:5:386:21 | CopyValue: ... = ... | positive strictlyPositive |
606630
| test.c:386:5:386:21 | Store: ... = ... | positive strictlyPositive |
607631
| test.c:386:10:386:21 | Load: ... ? ... : ... | positive strictlyPositive |
608632
| test.c:386:10:386:21 | Store: ... ? ... : ... | positive strictlyPositive |
609633
| test.c:386:11:386:11 | Load: x | positive strictlyPositive |
610634
| test.c:386:11:386:15 | Sub: ... - ... | positive |
611635
| test.c:386:13:386:15 | Constant: (unsigned int)... | positive strictlyPositive |
612636
| test.c:386:21:386:21 | Constant: (unsigned int)... | positive strictlyPositive |
637+
| test.c:387:5:387:38 | CopyValue: ... = ... | positive strictlyPositive |
613638
| test.c:387:5:387:38 | Store: ... = ... | positive strictlyPositive |
614639
| test.c:387:10:387:38 | Convert: (unsigned int)... | positive strictlyPositive |
615640
| test.c:387:10:387:38 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -644,17 +669,22 @@
644669
| test.c:394:34:394:36 | Constant: (unsigned int)... | positive strictlyPositive |
645670
| test.c:395:16:395:17 | Uninitialized: definition of y1 | positive |
646671
| test.c:396:16:396:17 | Uninitialized: definition of y2 | positive |
672+
| test.c:397:3:397:15 | CopyValue: ... = ... | positive strictlyPositive |
647673
| test.c:397:3:397:15 | Store: ... = ... | positive strictlyPositive |
648674
| test.c:397:9:397:11 | Add: ++ ... | positive strictlyPositive |
649675
| test.c:397:9:397:11 | Constant: ++ ... | positive strictlyPositive |
650676
| test.c:397:9:397:11 | Load: ++ ... | positive |
651677
| test.c:397:9:397:11 | Store: ++ ... | positive strictlyPositive |
678+
| test.c:397:9:397:14 | CopyValue: ... , ... | positive strictlyPositive |
652679
| test.c:397:14:397:14 | Load: y | positive strictlyPositive |
680+
| test.c:398:3:398:23 | CopyValue: ... = ... | positive strictlyPositive |
653681
| test.c:398:3:398:23 | Store: ... = ... | positive strictlyPositive |
654682
| test.c:398:9:398:11 | Add: ... ++ | positive strictlyPositive |
655683
| test.c:398:9:398:11 | Constant: ... ++ | positive strictlyPositive |
656684
| test.c:398:9:398:11 | Load: ... ++ | positive strictlyPositive |
657685
| test.c:398:9:398:11 | Store: ... ++ | positive strictlyPositive |
686+
| test.c:398:9:398:19 | CopyValue: ... , ... | positive strictlyPositive |
687+
| test.c:398:9:398:22 | CopyValue: ... , ... | positive strictlyPositive |
658688
| test.c:398:14:398:19 | Add: ... += ... | positive strictlyPositive |
659689
| test.c:398:14:398:19 | Load: ... += ... | positive strictlyPositive |
660690
| test.c:398:14:398:19 | Store: ... += ... | positive strictlyPositive |

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ instructionWithoutSuccessor
2121
| ms_try_mix.cpp:28:12:28:15 | Chi: call to C |
2222
| ms_try_mix.cpp:48:10:48:13 | Chi: call to C |
2323
| pointer_to_member.cpp:35:11:35:21 | FieldAddress: {...} |
24-
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
24+
| stmt_expr.cpp:27:5:27:15 | CopyValue: ... = ... |
2525
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
2626
| vla.c:11:6:11:16 | UnmodeledDefinition: vla_typedef |
2727
ambiguousSuccessors

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

Lines changed: 11 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,10 @@
11
missingOperand
2-
| condition_decls.cpp:16:6:16:20 | ConditionalBranch: (condition decl) | Instruction 'ConditionalBranch' is missing an expected operand with tag 'Condition' in function '$@'. | condition_decls.cpp:15:6:15:17 | IR: if_decl_bind | void if_decl_bind(int) |
3-
| condition_decls.cpp:26:3:36:3 | Switch: switch (...) ... | Instruction 'Switch' is missing an expected operand with tag 'Condition' in function '$@'. | condition_decls.cpp:25:6:25:21 | IR: switch_decl_bind | void switch_decl_bind(int) |
4-
| condition_decls.cpp:41:9:41:23 | ConditionalBranch: (condition decl) | Instruction 'ConditionalBranch' is missing an expected operand with tag 'Condition' in function '$@'. | condition_decls.cpp:40:6:40:20 | IR: while_decl_bind | void while_decl_bind(int) |
5-
| condition_decls.cpp:48:39:48:53 | ConditionalBranch: (condition decl) | Instruction 'ConditionalBranch' is missing an expected operand with tag 'Condition' in function '$@'. | condition_decls.cpp:47:6:47:18 | IR: for_decl_bind | void for_decl_bind(int) |
2+
| condition_decls.cpp:16:6:16:20 | CopyValue: (condition decl) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | condition_decls.cpp:15:6:15:17 | IR: if_decl_bind | void if_decl_bind(int) |
3+
| condition_decls.cpp:26:10:26:24 | CopyValue: (condition decl) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | condition_decls.cpp:25:6:25:21 | IR: switch_decl_bind | void switch_decl_bind(int) |
4+
| condition_decls.cpp:41:9:41:23 | CopyValue: (condition decl) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | condition_decls.cpp:40:6:40:20 | IR: while_decl_bind | void while_decl_bind(int) |
5+
| condition_decls.cpp:48:39:48:53 | CopyValue: (condition decl) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | condition_decls.cpp:47:6:47:18 | IR: for_decl_bind | void for_decl_bind(int) |
66
| misc.c:125:5:125:11 | CopyValue: (statement expression) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | misc.c:97:6:97:10 | IR: misc3 | void misc3() |
7+
| misc.c:220:3:223:3 | CopyValue: ... = ... | Instruction 'CopyValue' 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*) |
78
| 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*) |
89
| 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*) |
910
| 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*) |
@@ -47,13 +48,13 @@ instructionWithoutSuccessor
4748
| misc.c:222:10:222:10 | Store: 2 |
4849
| ms_assume.cpp:20:12:20:12 | Constant: (bool)... |
4950
| ms_try_except.cpp:3:9:3:9 | Uninitialized: definition of x |
50-
| ms_try_except.cpp:7:13:7:17 | Store: ... = ... |
51+
| ms_try_except.cpp:7:13:7:17 | CopyValue: ... = ... |
5152
| ms_try_except.cpp:9:19:9:19 | Load: j |
52-
| ms_try_except.cpp:10:13:10:17 | Store: ... = ... |
53-
| ms_try_except.cpp:14:13:14:17 | Store: ... = ... |
54-
| ms_try_except.cpp:17:13:17:17 | Store: ... = ... |
53+
| ms_try_except.cpp:10:13:10:17 | CopyValue: ... = ... |
54+
| ms_try_except.cpp:14:13:14:17 | CopyValue: ... = ... |
55+
| ms_try_except.cpp:17:13:17:17 | CopyValue: ... = ... |
5556
| ms_try_except.cpp:19:17:19:21 | Sub: ... - ... |
56-
| ms_try_except.cpp:20:9:20:13 | Store: ... = ... |
57+
| ms_try_except.cpp:20:9:20:13 | CopyValue: ... = ... |
5758
| ms_try_mix.cpp:11:12:11:15 | CallSideEffect: call to C |
5859
| ms_try_mix.cpp:16:13:16:19 | ThrowValue: throw ... |
5960
| ms_try_mix.cpp:18:16:18:19 | CallSideEffect: call to C |
@@ -75,7 +76,7 @@ instructionWithoutSuccessor
7576
| static_init_templates.cpp:97:27:97:36 | Convert: (void *)... |
7677
| static_init_templates.cpp:105:27:105:27 | Constant: (void *)... |
7778
| static_init_templates.cpp:105:27:105:27 | Constant: (void *)... |
78-
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
79+
| stmt_expr.cpp:27:5:27:15 | CopyValue: ... = ... |
7980
| stmt_expr.cpp:29:11:32:11 | CopyValue: (statement expression) |
8081
| stmt_in_type.cpp:5:53:5:53 | Constant: 1 |
8182
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ instructionWithoutSuccessor
3030
| ms_try_mix.cpp:28:12:28:15 | CallSideEffect: call to C |
3131
| ms_try_mix.cpp:48:10:48:13 | CallSideEffect: call to C |
3232
| pointer_to_member.cpp:35:11:35:21 | FieldAddress: {...} |
33-
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
33+
| stmt_expr.cpp:27:5:27:15 | CopyValue: ... = ... |
3434
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
3535
| vla.c:11:6:11:16 | UnmodeledDefinition: vla_typedef |
3636
ambiguousSuccessors

0 commit comments

Comments
 (0)