Skip to content

Commit 9dd6678

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent da20bb8 commit 9dd6678

10 files changed

+144
-169
lines changed

‎cpp/ql/test/library-tests/ir/ir/aliased_ir.expected

Lines changed: 73 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -3321,23 +3321,27 @@ ir.c:
33213321
# 86| Block 2
33223322
# 86| r86_1(glval<int>) = VariableAddress[x1] :
33233323
# 86| r86_2(int) = Load[x1] : &:r86_1, m84_6
3324-
# 86| r86_3(bool) = LogicalNot : r86_2
3325-
# 86| v86_4(void) = ConditionalBranch : r86_3
3324+
# 86| r86_3(int) = Constant[0] :
3325+
# 86| r86_4(bool) = CompareNE : r86_2, r86_3
3326+
# 86| r86_5(bool) = LogicalNot : r86_4
3327+
# 86| v86_6(void) = ConditionalBranch : r86_5
33263328
#-----| False -> Block 4
33273329
#-----| True -> Block 3
33283330

33293331
# 86| Block 3
3330-
# 86| v86_5(void) = NoOp :
3332+
# 86| v86_7(void) = NoOp :
33313333
#-----| Goto -> Block 4
33323334

33333335
# 88| Block 4
33343336
# 88| r88_1(glval<int>) = VariableAddress[y] :
33353337
# 88| r88_2(glval<int>) = VariableAddress[x1] :
33363338
# 88| r88_3(int) = Load[x1] : &:r88_2, m84_6
3337-
# 88| r88_4(bool) = LogicalNot : r88_3
3338-
# 88| m88_5(int) = Store[y] : &:r88_1, r88_4
3339+
# 88| r88_4(int) = Constant[0] :
3340+
# 88| r88_5(bool) = CompareNE : r88_3, r88_4
3341+
# 88| r88_6(bool) = LogicalNot : r88_5
3342+
# 88| m88_7(int) = Store[y] : &:r88_1, r88_6
33393343
# 89| r89_1(glval<int>) = VariableAddress[y] :
3340-
# 89| r89_2(int) = Load[y] : &:r89_1, m88_5
3344+
# 89| r89_2(int) = Load[y] : &:r89_1, m88_7
33413345
# 89| r89_3(int) = Constant[0] :
33423346
# 89| r89_4(bool) = CompareNE : r89_2, r89_3
33433347
# 89| v89_5(void) = ConditionalBranch : r89_4
@@ -3350,14 +3354,16 @@ ir.c:
33503354

33513355
# 90| Block 6
33523356
# 90| r90_1(glval<int>) = VariableAddress[y] :
3353-
# 90| r90_2(int) = Load[y] : &:r90_1, m88_5
3354-
# 90| r90_3(bool) = LogicalNot : r90_2
3355-
# 90| v90_4(void) = ConditionalBranch : r90_3
3357+
# 90| r90_2(int) = Load[y] : &:r90_1, m88_7
3358+
# 90| r90_3(int) = Constant[0] :
3359+
# 90| r90_4(bool) = CompareNE : r90_2, r90_3
3360+
# 90| r90_5(bool) = LogicalNot : r90_4
3361+
# 90| v90_6(void) = ConditionalBranch : r90_5
33563362
#-----| False -> Block 8
33573363
#-----| True -> Block 7
33583364

33593365
# 90| Block 7
3360-
# 90| v90_5(void) = NoOp :
3366+
# 90| v90_7(void) = NoOp :
33613367
#-----| Goto -> Block 8
33623368

33633369
# 92| Block 8
@@ -3385,22 +3391,24 @@ ir.c:
33853391
# 93| Block 11
33863392
# 93| r93_1(glval<int>) = VariableAddress[x1] :
33873393
# 93| r93_2(int) = Load[x1] : &:r93_1, m84_6
3388-
# 93| r93_3(bool) = LogicalNot : r93_2
3389-
# 93| v93_4(void) = ConditionalBranch : r93_3
3394+
# 93| r93_3(int) = Constant[0] :
3395+
# 93| r93_4(bool) = CompareNE : r93_2, r93_3
3396+
# 93| r93_5(bool) = LogicalNot : r93_4
3397+
# 93| v93_6(void) = ConditionalBranch : r93_5
33903398
#-----| False -> Block 14
33913399
#-----| True -> Block 12
33923400

33933401
# 93| Block 12
3394-
# 93| r93_5(glval<int>) = VariableAddress[x2] :
3395-
# 93| r93_6(int) = Load[x2] : &:r93_5, m84_8
3396-
# 93| r93_7(int) = Constant[0] :
3397-
# 93| r93_8(bool) = CompareNE : r93_6, r93_7
3398-
# 93| v93_9(void) = ConditionalBranch : r93_8
3402+
# 93| r93_7(glval<int>) = VariableAddress[x2] :
3403+
# 93| r93_8(int) = Load[x2] : &:r93_7, m84_8
3404+
# 93| r93_9(int) = Constant[0] :
3405+
# 93| r93_10(bool) = CompareNE : r93_8, r93_9
3406+
# 93| v93_11(void) = ConditionalBranch : r93_10
33993407
#-----| False -> Block 14
34003408
#-----| True -> Block 13
34013409

34023410
# 93| Block 13
3403-
# 93| v93_10(void) = NoOp :
3411+
# 93| v93_12(void) = NoOp :
34043412
#-----| Goto -> Block 14
34053413

34063414
# 94| Block 14
@@ -3415,33 +3423,39 @@ ir.c:
34153423
# 94| Block 15
34163424
# 94| r94_6(glval<int>) = VariableAddress[x2] :
34173425
# 94| r94_7(int) = Load[x2] : &:r94_6, m84_8
3418-
# 94| r94_8(bool) = LogicalNot : r94_7
3419-
# 94| v94_9(void) = ConditionalBranch : r94_8
3426+
# 94| r94_8(int) = Constant[0] :
3427+
# 94| r94_9(bool) = CompareNE : r94_7, r94_8
3428+
# 94| r94_10(bool) = LogicalNot : r94_9
3429+
# 94| v94_11(void) = ConditionalBranch : r94_10
34203430
#-----| False -> Block 17
34213431
#-----| True -> Block 16
34223432

34233433
# 94| Block 16
3424-
# 94| v94_10(void) = NoOp :
3434+
# 94| v94_12(void) = NoOp :
34253435
#-----| Goto -> Block 17
34263436

34273437
# 95| Block 17
34283438
# 95| r95_1(glval<int>) = VariableAddress[x1] :
34293439
# 95| r95_2(int) = Load[x1] : &:r95_1, m84_6
3430-
# 95| r95_3(bool) = LogicalNot : r95_2
3431-
# 95| v95_4(void) = ConditionalBranch : r95_3
3440+
# 95| r95_3(int) = Constant[0] :
3441+
# 95| r95_4(bool) = CompareNE : r95_2, r95_3
3442+
# 95| r95_5(bool) = LogicalNot : r95_4
3443+
# 95| v95_6(void) = ConditionalBranch : r95_5
34323444
#-----| False -> Block 20
34333445
#-----| True -> Block 18
34343446

34353447
# 95| Block 18
3436-
# 95| r95_5(glval<int>) = VariableAddress[x2] :
3437-
# 95| r95_6(int) = Load[x2] : &:r95_5, m84_8
3438-
# 95| r95_7(bool) = LogicalNot : r95_6
3439-
# 95| v95_8(void) = ConditionalBranch : r95_7
3448+
# 95| r95_7(glval<int>) = VariableAddress[x2] :
3449+
# 95| r95_8(int) = Load[x2] : &:r95_7, m84_8
3450+
# 95| r95_9(int) = Constant[0] :
3451+
# 95| r95_10(bool) = CompareNE : r95_8, r95_9
3452+
# 95| r95_11(bool) = LogicalNot : r95_10
3453+
# 95| v95_12(void) = ConditionalBranch : r95_11
34403454
#-----| False -> Block 20
34413455
#-----| True -> Block 19
34423456

34433457
# 95| Block 19
3444-
# 95| v95_9(void) = NoOp :
3458+
# 95| v95_13(void) = NoOp :
34453459
#-----| Goto -> Block 20
34463460

34473461
# 96| Block 20
@@ -3469,22 +3483,24 @@ ir.c:
34693483
# 97| Block 23
34703484
# 97| r97_1(glval<int>) = VariableAddress[x1] :
34713485
# 97| r97_2(int) = Load[x1] : &:r97_1, m84_6
3472-
# 97| r97_3(bool) = LogicalNot : r97_2
3473-
# 97| v97_4(void) = ConditionalBranch : r97_3
3486+
# 97| r97_3(int) = Constant[0] :
3487+
# 97| r97_4(bool) = CompareNE : r97_2, r97_3
3488+
# 97| r97_5(bool) = LogicalNot : r97_4
3489+
# 97| v97_6(void) = ConditionalBranch : r97_5
34743490
#-----| False -> Block 24
34753491
#-----| True -> Block 25
34763492

34773493
# 97| Block 24
3478-
# 97| r97_5(glval<int>) = VariableAddress[x2] :
3479-
# 97| r97_6(int) = Load[x2] : &:r97_5, m84_8
3480-
# 97| r97_7(int) = Constant[0] :
3481-
# 97| r97_8(bool) = CompareNE : r97_6, r97_7
3482-
# 97| v97_9(void) = ConditionalBranch : r97_8
3494+
# 97| r97_7(glval<int>) = VariableAddress[x2] :
3495+
# 97| r97_8(int) = Load[x2] : &:r97_7, m84_8
3496+
# 97| r97_9(int) = Constant[0] :
3497+
# 97| r97_10(bool) = CompareNE : r97_8, r97_9
3498+
# 97| v97_11(void) = ConditionalBranch : r97_10
34833499
#-----| False -> Block 26
34843500
#-----| True -> Block 25
34853501

34863502
# 97| Block 25
3487-
# 97| v97_10(void) = NoOp :
3503+
# 97| v97_12(void) = NoOp :
34883504
#-----| Goto -> Block 26
34893505

34903506
# 98| Block 26
@@ -3499,33 +3515,39 @@ ir.c:
34993515
# 98| Block 27
35003516
# 98| r98_6(glval<int>) = VariableAddress[x2] :
35013517
# 98| r98_7(int) = Load[x2] : &:r98_6, m84_8
3502-
# 98| r98_8(bool) = LogicalNot : r98_7
3503-
# 98| v98_9(void) = ConditionalBranch : r98_8
3518+
# 98| r98_8(int) = Constant[0] :
3519+
# 98| r98_9(bool) = CompareNE : r98_7, r98_8
3520+
# 98| r98_10(bool) = LogicalNot : r98_9
3521+
# 98| v98_11(void) = ConditionalBranch : r98_10
35043522
#-----| False -> Block 29
35053523
#-----| True -> Block 28
35063524

35073525
# 98| Block 28
3508-
# 98| v98_10(void) = NoOp :
3526+
# 98| v98_12(void) = NoOp :
35093527
#-----| Goto -> Block 29
35103528

35113529
# 99| Block 29
35123530
# 99| r99_1(glval<int>) = VariableAddress[x1] :
35133531
# 99| r99_2(int) = Load[x1] : &:r99_1, m84_6
3514-
# 99| r99_3(bool) = LogicalNot : r99_2
3515-
# 99| v99_4(void) = ConditionalBranch : r99_3
3532+
# 99| r99_3(int) = Constant[0] :
3533+
# 99| r99_4(bool) = CompareNE : r99_2, r99_3
3534+
# 99| r99_5(bool) = LogicalNot : r99_4
3535+
# 99| v99_6(void) = ConditionalBranch : r99_5
35163536
#-----| False -> Block 30
35173537
#-----| True -> Block 31
35183538

35193539
# 99| Block 30
3520-
# 99| r99_5(glval<int>) = VariableAddress[x2] :
3521-
# 99| r99_6(int) = Load[x2] : &:r99_5, m84_8
3522-
# 99| r99_7(bool) = LogicalNot : r99_6
3523-
# 99| v99_8(void) = ConditionalBranch : r99_7
3540+
# 99| r99_7(glval<int>) = VariableAddress[x2] :
3541+
# 99| r99_8(int) = Load[x2] : &:r99_7, m84_8
3542+
# 99| r99_9(int) = Constant[0] :
3543+
# 99| r99_10(bool) = CompareNE : r99_8, r99_9
3544+
# 99| r99_11(bool) = LogicalNot : r99_10
3545+
# 99| v99_12(void) = ConditionalBranch : r99_11
35243546
#-----| False -> Block 32
35253547
#-----| True -> Block 31
35263548

35273549
# 99| Block 31
3528-
# 99| v99_9(void) = NoOp :
3550+
# 99| v99_13(void) = NoOp :
35293551
#-----| Goto -> Block 32
35303552

35313553
# 101| Block 32
@@ -3579,13 +3601,15 @@ ir.c:
35793601
# 103| Block 38
35803602
# 103| r103_1(glval<int>) = VariableAddress[x_1_and_2] :
35813603
# 103| r103_2(int) = Load[x_1_and_2] : &:r103_1, m101_13
3582-
# 103| r103_3(bool) = LogicalNot : r103_2
3583-
# 103| v103_4(void) = ConditionalBranch : r103_3
3604+
# 103| r103_3(int) = Constant[0] :
3605+
# 103| r103_4(bool) = CompareNE : r103_2, r103_3
3606+
# 103| r103_5(bool) = LogicalNot : r103_4
3607+
# 103| v103_6(void) = ConditionalBranch : r103_5
35843608
#-----| False -> Block 40
35853609
#-----| True -> Block 39
35863610

35873611
# 103| Block 39
3588-
# 103| v103_5(void) = NoOp :
3612+
# 103| v103_7(void) = NoOp :
35893613
#-----| Goto -> Block 40
35903614

35913615
# 104| Block 40

‎cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -30,16 +30,4 @@ thisArgumentIsNonPointer
3030
| ir.cpp:2546:34:2546:34 | Call: call to operator bool | Call instruction 'Call: call to operator bool' has a `this` argument operand that is not an address, in function '$@'. | ir.cpp:2545:6:2545:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
3131
nonUniqueIRVariable
3232
nonBooleanOperand
33-
| ir.c:86:6:86:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
34-
| ir.c:88:11:88:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
35-
| ir.c:90:6:90:7 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
36-
| ir.c:93:6:93:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
37-
| ir.c:94:12:94:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
38-
| ir.c:95:6:95:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
39-
| ir.c:95:13:95:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
40-
| ir.c:97:6:97:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
41-
| ir.c:98:12:98:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
42-
| ir.c:99:6:99:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
43-
| ir.c:99:13:99:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
44-
| ir.c:103:6:103:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
4533
missingCppType

‎cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -30,16 +30,4 @@ thisArgumentIsNonPointer
3030
| ir.cpp:2546:34:2546:34 | Call: call to operator bool | Call instruction 'Call: call to operator bool' has a `this` argument operand that is not an address, in function '$@'. | ir.cpp:2545:6:2545:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
3131
nonUniqueIRVariable
3232
nonBooleanOperand
33-
| ir.c:86:6:86:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
34-
| ir.c:88:11:88:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
35-
| ir.c:90:6:90:7 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
36-
| ir.c:93:6:93:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
37-
| ir.c:94:12:94:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
38-
| ir.c:95:6:95:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
39-
| ir.c:95:13:95:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
40-
| ir.c:97:6:97:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
41-
| ir.c:98:12:98:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
42-
| ir.c:99:6:99:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
43-
| ir.c:99:13:99:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
44-
| ir.c:103:6:103:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
4533
missingCppType

‎cpp/ql/test/library-tests/ir/ir/raw_consistency.expected

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -39,16 +39,4 @@ thisArgumentIsNonPointer
3939
| ir.cpp:2546:34:2546:34 | Call: call to operator bool | Call instruction 'Call: call to operator bool' has a `this` argument operand that is not an address, in function '$@'. | ir.cpp:2545:6:2545:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
4040
nonUniqueIRVariable
4141
nonBooleanOperand
42-
| ir.c:86:6:86:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
43-
| ir.c:88:11:88:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
44-
| ir.c:90:6:90:7 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
45-
| ir.c:93:6:93:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
46-
| ir.c:94:12:94:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
47-
| ir.c:95:6:95:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
48-
| ir.c:95:13:95:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
49-
| ir.c:97:6:97:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
50-
| ir.c:98:12:98:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
51-
| ir.c:99:6:99:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
52-
| ir.c:99:13:99:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
53-
| ir.c:103:6:103:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
5442
missingCppType

0 commit comments

Comments
 (0)