Skip to content

Commit 9d3bc7f

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent f30bfb6 commit 9d3bc7f

10 files changed

+120
-169
lines changed

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

Lines changed: 61 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -3321,23 +3321,25 @@ 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) = CompareEQ : r86_2, r86_3
3326+
# 86| v86_5(void) = ConditionalBranch : r86_4
33263327
#-----| False -> Block 4
33273328
#-----| True -> Block 3
33283329

33293330
# 86| Block 3
3330-
# 86| v86_5(void) = NoOp :
3331+
# 86| v86_6(void) = NoOp :
33313332
#-----| Goto -> Block 4
33323333

33333334
# 88| Block 4
33343335
# 88| r88_1(glval<int>) = VariableAddress[y] :
33353336
# 88| r88_2(glval<int>) = VariableAddress[x1] :
33363337
# 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
3338+
# 88| r88_4(int) = Constant[0] :
3339+
# 88| r88_5(bool) = CompareEQ : r88_3, r88_4
3340+
# 88| m88_6(int) = Store[y] : &:r88_1, r88_5
33393341
# 89| r89_1(glval<int>) = VariableAddress[y] :
3340-
# 89| r89_2(int) = Load[y] : &:r89_1, m88_5
3342+
# 89| r89_2(int) = Load[y] : &:r89_1, m88_6
33413343
# 89| r89_3(int) = Constant[0] :
33423344
# 89| r89_4(bool) = CompareNE : r89_2, r89_3
33433345
# 89| v89_5(void) = ConditionalBranch : r89_4
@@ -3350,14 +3352,15 @@ ir.c:
33503352

33513353
# 90| Block 6
33523354
# 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
3355+
# 90| r90_2(int) = Load[y] : &:r90_1, m88_6
3356+
# 90| r90_3(int) = Constant[0] :
3357+
# 90| r90_4(bool) = CompareEQ : r90_2, r90_3
3358+
# 90| v90_5(void) = ConditionalBranch : r90_4
33563359
#-----| False -> Block 8
33573360
#-----| True -> Block 7
33583361

33593362
# 90| Block 7
3360-
# 90| v90_5(void) = NoOp :
3363+
# 90| v90_6(void) = NoOp :
33613364
#-----| Goto -> Block 8
33623365

33633366
# 92| Block 8
@@ -3385,22 +3388,23 @@ ir.c:
33853388
# 93| Block 11
33863389
# 93| r93_1(glval<int>) = VariableAddress[x1] :
33873390
# 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
3391+
# 93| r93_3(int) = Constant[0] :
3392+
# 93| r93_4(bool) = CompareEQ : r93_2, r93_3
3393+
# 93| v93_5(void) = ConditionalBranch : r93_4
33903394
#-----| False -> Block 14
33913395
#-----| True -> Block 12
33923396

33933397
# 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
3398+
# 93| r93_6(glval<int>) = VariableAddress[x2] :
3399+
# 93| r93_7(int) = Load[x2] : &:r93_6, m84_8
3400+
# 93| r93_8(int) = Constant[0] :
3401+
# 93| r93_9(bool) = CompareNE : r93_7, r93_8
3402+
# 93| v93_10(void) = ConditionalBranch : r93_9
33993403
#-----| False -> Block 14
34003404
#-----| True -> Block 13
34013405

34023406
# 93| Block 13
3403-
# 93| v93_10(void) = NoOp :
3407+
# 93| v93_11(void) = NoOp :
34043408
#-----| Goto -> Block 14
34053409

34063410
# 94| Block 14
@@ -3415,33 +3419,36 @@ ir.c:
34153419
# 94| Block 15
34163420
# 94| r94_6(glval<int>) = VariableAddress[x2] :
34173421
# 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
3422+
# 94| r94_8(int) = Constant[0] :
3423+
# 94| r94_9(bool) = CompareEQ : r94_7, r94_8
3424+
# 94| v94_10(void) = ConditionalBranch : r94_9
34203425
#-----| False -> Block 17
34213426
#-----| True -> Block 16
34223427

34233428
# 94| Block 16
3424-
# 94| v94_10(void) = NoOp :
3429+
# 94| v94_11(void) = NoOp :
34253430
#-----| Goto -> Block 17
34263431

34273432
# 95| Block 17
34283433
# 95| r95_1(glval<int>) = VariableAddress[x1] :
34293434
# 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
3435+
# 95| r95_3(int) = Constant[0] :
3436+
# 95| r95_4(bool) = CompareEQ : r95_2, r95_3
3437+
# 95| v95_5(void) = ConditionalBranch : r95_4
34323438
#-----| False -> Block 20
34333439
#-----| True -> Block 18
34343440

34353441
# 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
3442+
# 95| r95_6(glval<int>) = VariableAddress[x2] :
3443+
# 95| r95_7(int) = Load[x2] : &:r95_6, m84_8
3444+
# 95| r95_8(int) = Constant[0] :
3445+
# 95| r95_9(bool) = CompareEQ : r95_7, r95_8
3446+
# 95| v95_10(void) = ConditionalBranch : r95_9
34403447
#-----| False -> Block 20
34413448
#-----| True -> Block 19
34423449

34433450
# 95| Block 19
3444-
# 95| v95_9(void) = NoOp :
3451+
# 95| v95_11(void) = NoOp :
34453452
#-----| Goto -> Block 20
34463453

34473454
# 96| Block 20
@@ -3469,22 +3476,23 @@ ir.c:
34693476
# 97| Block 23
34703477
# 97| r97_1(glval<int>) = VariableAddress[x1] :
34713478
# 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
3479+
# 97| r97_3(int) = Constant[0] :
3480+
# 97| r97_4(bool) = CompareEQ : r97_2, r97_3
3481+
# 97| v97_5(void) = ConditionalBranch : r97_4
34743482
#-----| False -> Block 24
34753483
#-----| True -> Block 25
34763484

34773485
# 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
3486+
# 97| r97_6(glval<int>) = VariableAddress[x2] :
3487+
# 97| r97_7(int) = Load[x2] : &:r97_6, m84_8
3488+
# 97| r97_8(int) = Constant[0] :
3489+
# 97| r97_9(bool) = CompareNE : r97_7, r97_8
3490+
# 97| v97_10(void) = ConditionalBranch : r97_9
34833491
#-----| False -> Block 26
34843492
#-----| True -> Block 25
34853493

34863494
# 97| Block 25
3487-
# 97| v97_10(void) = NoOp :
3495+
# 97| v97_11(void) = NoOp :
34883496
#-----| Goto -> Block 26
34893497

34903498
# 98| Block 26
@@ -3499,33 +3507,36 @@ ir.c:
34993507
# 98| Block 27
35003508
# 98| r98_6(glval<int>) = VariableAddress[x2] :
35013509
# 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
3510+
# 98| r98_8(int) = Constant[0] :
3511+
# 98| r98_9(bool) = CompareEQ : r98_7, r98_8
3512+
# 98| v98_10(void) = ConditionalBranch : r98_9
35043513
#-----| False -> Block 29
35053514
#-----| True -> Block 28
35063515

35073516
# 98| Block 28
3508-
# 98| v98_10(void) = NoOp :
3517+
# 98| v98_11(void) = NoOp :
35093518
#-----| Goto -> Block 29
35103519

35113520
# 99| Block 29
35123521
# 99| r99_1(glval<int>) = VariableAddress[x1] :
35133522
# 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
3523+
# 99| r99_3(int) = Constant[0] :
3524+
# 99| r99_4(bool) = CompareEQ : r99_2, r99_3
3525+
# 99| v99_5(void) = ConditionalBranch : r99_4
35163526
#-----| False -> Block 30
35173527
#-----| True -> Block 31
35183528

35193529
# 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
3530+
# 99| r99_6(glval<int>) = VariableAddress[x2] :
3531+
# 99| r99_7(int) = Load[x2] : &:r99_6, m84_8
3532+
# 99| r99_8(int) = Constant[0] :
3533+
# 99| r99_9(bool) = CompareEQ : r99_7, r99_8
3534+
# 99| v99_10(void) = ConditionalBranch : r99_9
35243535
#-----| False -> Block 32
35253536
#-----| True -> Block 31
35263537

35273538
# 99| Block 31
3528-
# 99| v99_9(void) = NoOp :
3539+
# 99| v99_11(void) = NoOp :
35293540
#-----| Goto -> Block 32
35303541

35313542
# 101| Block 32
@@ -3579,13 +3590,14 @@ ir.c:
35793590
# 103| Block 38
35803591
# 103| r103_1(glval<int>) = VariableAddress[x_1_and_2] :
35813592
# 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
3593+
# 103| r103_3(int) = Constant[0] :
3594+
# 103| r103_4(bool) = CompareEQ : r103_2, r103_3
3595+
# 103| v103_5(void) = ConditionalBranch : r103_4
35843596
#-----| False -> Block 40
35853597
#-----| True -> Block 39
35863598

35873599
# 103| Block 39
3588-
# 103| v103_5(void) = NoOp :
3600+
# 103| v103_6(void) = NoOp :
35893601
#-----| Goto -> Block 40
35903602

35913603
# 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)