hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 16:25:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-07-01 18:45:28 +01:00
parent 92e814b75e
commit d1e1037586
6 changed files with 230 additions and 141 deletions
Download Patch File Download Diff File Expand all files Collapse all files

290
cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
View File

@@ -5267,15 +5267,18 @@ ir.cpp:
# 486| m486_2(unknown) = AliasedDefinition :
# 486| m486_3(unknown) = InitializeNonLocal :
# 486| m486_4(unknown) = Chi : total:m486_2, partial:m486_3
# 486| r486_5(glval<bool>) = VariableAddress[a] :
# 486| m486_6(bool) = InitializeParameter[a] : &:r486_5
# 486| m486_5(int) = InitializeGroup[x,y] :
# 486| r486_6(glval<bool>) = VariableAddress[a] :
# 486| m486_7(bool) = InitializeParameter[a] : &:r486_6
# 487| r487_1(glval<int>) = VariableAddress[x] :
# 487| m487_2(int) = Uninitialized[x] : &:r487_1
# 487| m487_3(int) = Chi : total:m486_5, partial:m487_2
# 488| r488_1(glval<int>) = VariableAddress[y] :
# 488| m488_2(int) = Uninitialized[y] : &:r488_1
# 488| m488_3(int) = Chi : total:m487_3, partial:m488_2
# 489| r489_1(int) = Constant[5] :
# 489| r489_2(glval<bool>) = VariableAddress[a] :
# 489| r489_3(bool) = Load[a] : &:r489_2, m486_6
# 489| r489_3(bool) = Load[a] : &:r489_2, m486_7
# 489| v489_4(void) = ConditionalBranch : r489_3
#-----| False -> Block 3
#-----| True -> Block 2
@@ -5285,11 +5288,11 @@ ir.cpp:
# 489| r489_6(glval<unknown>) = VariableAddress[#temp489:6] :
# 489| r489_7(glval<int>) = Load[#temp489:6] : &:r489_6, m489_5
# 489| m489_8(int) = Store[?] : &:r489_7, r489_1
# 489| m489_9(unknown) = Chi : total:m486_4, partial:m489_8
# 489| m489_9(int) = Chi : total:m488_3, partial:m489_8
# 490| v490_1(void) = NoOp :
# 486| v486_7(void) = ReturnVoid :
# 486| v486_8(void) = AliasedUse : ~m489_9
# 486| v486_9(void) = ExitFunction :
# 486| v486_8(void) = ReturnVoid :
# 486| v486_9(void) = AliasedUse : m486_3
# 486| v486_10(void) = ExitFunction :
# 489| Block 2
# 489| r489_10(glval<int>) = VariableAddress[x] :
@@ -14076,16 +14079,19 @@ ir.cpp:
# 2059| m2059_2(unknown) = AliasedDefinition :
# 2059| m2059_3(unknown) = InitializeNonLocal :
# 2059| m2059_4(unknown) = Chi : total:m2059_2, partial:m2059_3
# 2059| r2059_5(glval<bool>) = VariableAddress[a] :
# 2059| m2059_6(bool) = InitializeParameter[a] : &:r2059_5
# 2059| r2059_7(glval<int>) = VariableAddress[x] :
# 2059| m2059_8(int) = InitializeParameter[x] : &:r2059_7
# 2059| r2059_9(glval<int>) = VariableAddress[y] :
# 2059| m2059_10(int) = InitializeParameter[y] : &:r2059_9
# 2059| r2059_11(glval<int>) = VariableAddress[z] :
# 2059| m2059_12(int) = InitializeParameter[z] : &:r2059_11
# 2059| m2059_5(int) = InitializeGroup[x,y] :
# 2059| r2059_6(glval<bool>) = VariableAddress[a] :
# 2059| m2059_7(bool) = InitializeParameter[a] : &:r2059_6
# 2059| r2059_8(glval<int>) = VariableAddress[x] :
# 2059| m2059_9(int) = InitializeParameter[x] : &:r2059_8
# 2059| m2059_10(int) = Chi : total:m2059_5, partial:m2059_9
# 2059| r2059_11(glval<int>) = VariableAddress[y] :
# 2059| m2059_12(int) = InitializeParameter[y] : &:r2059_11
# 2059| m2059_13(int) = Chi : total:m2059_10, partial:m2059_12
# 2059| r2059_14(glval<int>) = VariableAddress[z] :
# 2059| m2059_15(int) = InitializeParameter[z] : &:r2059_14
# 2060| r2060_1(glval<bool>) = VariableAddress[a] :
# 2060| r2060_2(bool) = Load[a] : &:r2060_1, m2059_6
# 2060| r2060_2(bool) = Load[a] : &:r2060_1, m2059_7
# 2060| v2060_3(void) = ConditionalBranch : r2060_2
#-----| False -> Block 3
#-----| True -> Block 2
@@ -14097,21 +14103,21 @@ ir.cpp:
# 2060| r2060_7(glval<int>) = VariableAddress[z] :
# 2060| m2060_8(int) = Store[z] : &:r2060_7, r2060_6
# 2061| r2061_1(glval<bool>) = VariableAddress[a] :
# 2061| r2061_2(bool) = Load[a] : &:r2061_1, m2059_6
# 2061| r2061_2(bool) = Load[a] : &:r2061_1, m2059_7
# 2061| v2061_3(void) = ConditionalBranch : r2061_2
#-----| False -> Block 6
#-----| True -> Block 5
# 2060| Block 2
# 2060| r2060_9(glval<int>) = VariableAddress[x] :
# 2060| r2060_10(int) = Load[x] : &:r2060_9, m2059_8
# 2060| r2060_10(int) = Load[x] : &:r2060_9, m2059_9
# 2060| r2060_11(glval<int>) = VariableAddress[#temp2060:9] :
# 2060| m2060_12(int) = Store[#temp2060:9] : &:r2060_11, r2060_10
#-----| Goto -> Block 1
# 2060| Block 3
# 2060| r2060_13(glval<int>) = VariableAddress[y] :
# 2060| r2060_14(int) = Load[y] : &:r2060_13, m2059_10
# 2060| r2060_14(int) = Load[y] : &:r2060_13, m2059_12
# 2060| r2060_15(glval<int>) = VariableAddress[#temp2060:9] :
# 2060| m2060_16(int) = Store[#temp2060:9] : &:r2060_15, r2060_14
#-----| Goto -> Block 1
@@ -14123,14 +14129,14 @@ ir.cpp:
# 2061| r2061_7(glval<int>) = VariableAddress[z] :
# 2061| m2061_8(int) = Store[z] : &:r2061_7, r2061_6
# 2062| r2062_1(glval<bool>) = VariableAddress[a] :
# 2062| r2062_2(bool) = Load[a] : &:r2062_1, m2059_6
# 2062| r2062_2(bool) = Load[a] : &:r2062_1, m2059_7
# 2062| v2062_3(void) = ConditionalBranch : r2062_2
#-----| False -> Block 9
#-----| True -> Block 8
# 2061| Block 5
# 2061| r2061_9(glval<int>) = VariableAddress[x] :
# 2061| r2061_10(int) = Load[x] : &:r2061_9, m2059_8
# 2061| r2061_10(int) = Load[x] : &:r2061_9, m2059_9
# 2061| r2061_11(glval<int>) = VariableAddress[#temp2061:9] :
# 2061| m2061_12(int) = Store[#temp2061:9] : &:r2061_11, r2061_10
#-----| Goto -> Block 4
@@ -14149,7 +14155,7 @@ ir.cpp:
# 2062| m2062_8(int) = Store[z] : &:r2062_7, r2062_6
# 2063| r2063_1(int) = Constant[7] :
# 2063| r2063_2(glval<bool>) = VariableAddress[a] :
# 2063| r2063_3(bool) = Load[a] : &:r2063_2, m2059_6
# 2063| r2063_3(bool) = Load[a] : &:r2063_2, m2059_7
# 2063| v2063_4(void) = ConditionalBranch : r2063_3
#-----| False -> Block 12
#-----| True -> Block 11
@@ -14171,11 +14177,11 @@ ir.cpp:
# 2063| r2063_6(glval<unknown>) = VariableAddress[#temp2063:6] :
# 2063| r2063_7(glval<int>) = Load[#temp2063:6] : &:r2063_6, m2063_5
# 2063| m2063_8(int) = Store[?] : &:r2063_7, r2063_1
# 2063| m2063_9(unknown) = Chi : total:m2059_4, partial:m2063_8
# 2063| m2063_9(int) = Chi : total:m2059_13, partial:m2063_8
# 2064| v2064_1(void) = NoOp :
# 2059| v2059_13(void) = ReturnVoid :
# 2059| v2059_14(void) = AliasedUse : ~m2063_9
# 2059| v2059_15(void) = ExitFunction :
# 2059| v2059_16(void) = ReturnVoid :
# 2059| v2059_17(void) = AliasedUse : m2059_3
# 2059| v2059_18(void) = ExitFunction :
# 2063| Block 11
# 2063| r2063_10(glval<int>) = VariableAddress[x] :
@@ -14419,18 +14425,21 @@ ir.cpp:
# 2080| m2080_2(unknown) = AliasedDefinition :
# 2080| m2080_3(unknown) = InitializeNonLocal :
# 2080| m2080_4(unknown) = Chi : total:m2080_2, partial:m2080_3
# 2080| r2080_5(glval<bool>) = VariableAddress[a] :
# 2080| m2080_6(bool) = InitializeParameter[a] : &:r2080_5
# 2080| r2080_7(glval<TernaryNonPodObj>) = VariableAddress[x] :
# 2080| m2080_8(TernaryNonPodObj) = InitializeParameter[x] : &:r2080_7
# 2080| r2080_9(glval<TernaryNonPodObj>) = VariableAddress[y] :
# 2080| m2080_10(TernaryNonPodObj) = InitializeParameter[y] : &:r2080_9
# 2080| r2080_11(glval<TernaryNonPodObj>) = VariableAddress[z] :
# 2080| m2080_12(TernaryNonPodObj) = InitializeParameter[z] : &:r2080_11
# 2080| m2080_5(unknown) = InitializeGroup[x,y] :
# 2080| r2080_6(glval<bool>) = VariableAddress[a] :
# 2080| m2080_7(bool) = InitializeParameter[a] : &:r2080_6
# 2080| r2080_8(glval<TernaryNonPodObj>) = VariableAddress[x] :
# 2080| m2080_9(TernaryNonPodObj) = InitializeParameter[x] : &:r2080_8
# 2080| m2080_10(unknown) = Chi : total:m2080_5, partial:m2080_9
# 2080| r2080_11(glval<TernaryNonPodObj>) = VariableAddress[y] :
# 2080| m2080_12(TernaryNonPodObj) = InitializeParameter[y] : &:r2080_11
# 2080| m2080_13(unknown) = Chi : total:m2080_10, partial:m2080_12
# 2080| r2080_14(glval<TernaryNonPodObj>) = VariableAddress[z] :
# 2080| m2080_15(TernaryNonPodObj) = InitializeParameter[z] : &:r2080_14
# 2081| r2081_1(glval<TernaryNonPodObj>) = VariableAddress[z] :
# 2081| r2081_2(glval<unknown>) = FunctionAddress[operator=] :
# 2081| r2081_3(glval<bool>) = VariableAddress[a] :
# 2081| r2081_4(bool) = Load[a] : &:r2081_3, m2080_6
# 2081| r2081_4(bool) = Load[a] : &:r2081_3, m2080_7
# 2081| v2081_5(void) = ConditionalBranch : r2081_4
#-----| False -> Block 3
#-----| True -> Block 2
@@ -14444,16 +14453,16 @@ ir.cpp:
# 2081| r2081_11(TernaryNonPodObj &) = Call[operator=] : func:r2081_2, this:r2081_1, 0:r2081_10
# 2081| m2081_12(unknown) = ^CallSideEffect : ~m2080_4
# 2081| m2081_13(unknown) = Chi : total:m2080_4, partial:m2081_12
# 2081| v2081_14(void) = ^IndirectReadSideEffect[-1] : &:r2081_1, m2080_12
# 2081| v2081_15(void) = ^BufferReadSideEffect[0] : &:r2081_10, ~m2081_13
# 2081| v2081_14(void) = ^IndirectReadSideEffect[-1] : &:r2081_1, m2080_15
# 2081| v2081_15(void) = ^BufferReadSideEffect[0] : &:r2081_10, ~m2080_13
# 2081| m2081_16(TernaryNonPodObj) = ^IndirectMayWriteSideEffect[-1] : &:r2081_1
# 2081| m2081_17(TernaryNonPodObj) = Chi : total:m2080_12, partial:m2081_16
# 2081| m2081_17(TernaryNonPodObj) = Chi : total:m2080_15, partial:m2081_16
# 2081| r2081_18(glval<TernaryNonPodObj>) = CopyValue : r2081_11
# 2082| r2082_1(glval<TernaryNonPodObj>) = VariableAddress[z] :
# 2082| r2082_2(glval<unknown>) = FunctionAddress[operator=] :
# 2082| r2082_3(glval<TernaryNonPodObj>) = VariableAddress[#temp2082:9] :
# 2082| r2082_4(glval<bool>) = VariableAddress[a] :
# 2082| r2082_5(bool) = Load[a] : &:r2082_4, m2080_6
# 2082| r2082_5(bool) = Load[a] : &:r2082_4, m2080_7
# 2082| v2082_6(void) = ConditionalBranch : r2082_5
#-----| False -> Block 6
#-----| True -> Block 5
@@ -14499,7 +14508,7 @@ ir.cpp:
# 2083| r2083_2(glval<unknown>) = FunctionAddress[operator=] :
# 2083| r2083_3(glval<TernaryNonPodObj>) = VariableAddress[#temp2083:9] :
# 2083| r2083_4(glval<bool>) = VariableAddress[a] :
# 2083| r2083_5(bool) = Load[a] : &:r2083_4, m2080_6
# 2083| r2083_5(bool) = Load[a] : &:r2083_4, m2080_7
# 2083| v2083_6(void) = ConditionalBranch : r2083_5
#-----| False -> Block 9
#-----| True -> Block 8
@@ -14514,7 +14523,7 @@ ir.cpp:
# 2082| v2082_37(void) = Call[TernaryNonPodObj] : func:r2082_33, this:r2082_31, 0:r2082_36
# 2082| m2082_38(unknown) = ^CallSideEffect : ~m2081_13
# 2082| m2082_39(unknown) = Chi : total:m2081_13, partial:m2082_38
# 2082| v2082_40(void) = ^BufferReadSideEffect[0] : &:r2082_36, ~m2080_8
# 2082| v2082_40(void) = ^BufferReadSideEffect[0] : &:r2082_36, ~m2080_9
# 2082| m2082_41(TernaryNonPodObj) = ^IndirectMayWriteSideEffect[-1] : &:r2082_31
# 2082| m2082_42(TernaryNonPodObj) = Chi : total:m2082_32, partial:m2082_41
# 2082| r2082_43(TernaryNonPodObj) = Load[#temp2082:13] : &:r2082_31, m2082_42
@@ -14564,7 +14573,7 @@ ir.cpp:
# 2084| r2084_1(glval<TernaryNonPodObj>) = VariableAddress[z] :
# 2084| r2084_2(glval<unknown>) = FunctionAddress[operator=] :
# 2084| r2084_3(glval<bool>) = VariableAddress[a] :
# 2084| r2084_4(bool) = Load[a] : &:r2084_3, m2080_6
# 2084| r2084_4(bool) = Load[a] : &:r2084_3, m2080_7
# 2084| v2084_5(void) = ConditionalBranch : r2084_4
#-----| False -> Block 12
#-----| True -> Block 11
@@ -14607,7 +14616,7 @@ ir.cpp:
# 2084| m2084_12(unknown) = ^CallSideEffect : ~m2083_29
# 2084| m2084_13(unknown) = Chi : total:m2083_29, partial:m2084_12
# 2084| v2084_14(void) = ^IndirectReadSideEffect[-1] : &:r2084_1, m2083_21
# 2084| v2084_15(void) = ^BufferReadSideEffect[0] : &:r2084_10, ~m2084_13
# 2084| v2084_15(void) = ^BufferReadSideEffect[0] : &:r2084_10, ~m2080_13
# 2084| m2084_16(TernaryNonPodObj) = ^IndirectMayWriteSideEffect[-1] : &:r2084_1
# 2084| m2084_17(TernaryNonPodObj) = Chi : total:m2083_21, partial:m2084_16
# 2084| r2084_18(glval<TernaryNonPodObj>) = CopyValue : r2084_11
@@ -14640,9 +14649,9 @@ ir.cpp:
# 2084| m2084_45(unknown) = Chi : total:m2084_42, partial:m2084_44
# 2084| r2084_46(glval<TernaryNonPodObj>) = CopyValue : r2084_31
# 2085| v2085_1(void) = NoOp :
# 2080| v2080_13(void) = ReturnVoid :
# 2080| v2080_14(void) = AliasedUse : ~m2084_42
# 2080| v2080_15(void) = ExitFunction :
# 2080| v2080_16(void) = ReturnVoid :
# 2080| v2080_17(void) = AliasedUse : ~m2084_42
# 2080| v2080_18(void) = ExitFunction :
# 2084| Block 11
# 2084| r2084_47(glval<TernaryNonPodObj>) = VariableAddress[x] :
@@ -18401,20 +18410,23 @@ ir.cpp:
# 2559| m2559_2(unknown) = AliasedDefinition :
# 2559| m2559_3(unknown) = InitializeNonLocal :
# 2559| m2559_4(unknown) = Chi : total:m2559_2, partial:m2559_3
# 2559| r2559_5(glval<int>) = VariableAddress[a] :
# 2559| m2559_6(int) = InitializeParameter[a] : &:r2559_5
# 2559| r2559_7(glval<int>) = VariableAddress[b] :
# 2559| m2559_8(int) = InitializeParameter[b] : &:r2559_7
# 2559| m2559_5(int) = InitializeGroup[x,y] :
# 2559| r2559_6(glval<int>) = VariableAddress[a] :
# 2559| m2559_7(int) = InitializeParameter[a] : &:r2559_6
# 2559| r2559_8(glval<int>) = VariableAddress[b] :
# 2559| m2559_9(int) = InitializeParameter[b] : &:r2559_8
# 2560| r2560_1(glval<int>) = VariableAddress[x] :
# 2560| m2560_2(int) = Uninitialized[x] : &:r2560_1
# 2560| m2560_3(int) = Chi : total:m2559_5, partial:m2560_2
# 2561| r2561_1(glval<int>) = VariableAddress[y] :
# 2561| m2561_2(int) = Uninitialized[y] : &:r2561_1
# 2561| m2561_3(int) = Chi : total:m2560_3, partial:m2561_2
# 2562| r2562_1(glval<int *>) = VariableAddress[p] :
# 2562| m2562_2(int *) = Uninitialized[p] : &:r2562_1
# 2563| r2563_1(glval<int>) = VariableAddress[a] :
# 2563| r2563_2(int) = Load[a] : &:r2563_1, m2559_6
# 2563| r2563_2(int) = Load[a] : &:r2563_1, m2559_7
# 2563| r2563_3(glval<int>) = VariableAddress[b] :
# 2563| r2563_4(int) = Load[b] : &:r2563_3, m2559_8
# 2563| r2563_4(int) = Load[b] : &:r2563_3, m2559_9
# 2563| r2563_5(bool) = CompareLT : r2563_2, r2563_4
# 2563| v2563_6(void) = ConditionalBranch : r2563_5
#-----| False -> Block 2
@@ -18441,42 +18453,45 @@ ir.cpp:
# 2568| r2568_4(int *) = Load[p] : &:r2568_3, m2568_1
# 2568| r2568_5(glval<int>) = CopyValue : r2568_4
# 2568| m2568_6(int) = Store[?] : &:r2568_5, r2568_2
# 2568| m2568_7(unknown) = Chi : total:m2559_4, partial:m2568_6
# 2568| m2568_7(int) = Chi : total:m2561_3, partial:m2568_6
# 2569| r2569_1(glval<int>) = VariableAddress[z] :
# 2569| r2569_2(glval<int>) = VariableAddress[x] :
# 2569| r2569_3(int) = Load[x] : &:r2569_2, m2560_2
# 2569| r2569_3(int) = Load[x] : &:r2569_2, ~m2568_7
# 2569| m2569_4(int) = Store[z] : &:r2569_1, r2569_3
# 2570| r2570_1(glval<int>) = VariableAddress[w] :
# 2570| r2570_2(glval<int>) = VariableAddress[y] :
# 2570| r2570_3(int) = Load[y] : &:r2570_2, m2561_2
# 2570| r2570_3(int) = Load[y] : &:r2570_2, ~m2568_7
# 2570| m2570_4(int) = Store[w] : &:r2570_1, r2570_3
# 2571| v2571_1(void) = NoOp :
# 2559| v2559_9(void) = ReturnVoid :
# 2559| v2559_10(void) = AliasedUse : ~m2568_7
# 2559| v2559_11(void) = ExitFunction :
# 2559| v2559_10(void) = ReturnVoid :
# 2559| v2559_11(void) = AliasedUse : m2559_3
# 2559| v2559_12(void) = ExitFunction :
# 2573| int phi_after_while()
# 2573| Block 0
# 2573| v2573_1(void) = EnterFunction :
# 2573| m2573_2(unknown) = AliasedDefinition :
# 2573| m2573_3(unknown) = InitializeNonLocal :
# 2573| m2573_4(unknown) = Chi : total:m2573_2, partial:m2573_3
# 2574| r2574_1(glval<int>) = VariableAddress[r] :
# 2574| m2574_2(int) = Uninitialized[r] : &:r2574_1
# 2575| r2575_1(glval<int *>) = VariableAddress[rP] :
# 2575| r2575_2(glval<int>) = VariableAddress[r] :
# 2575| r2575_3(int *) = CopyValue : r2575_2
# 2575| m2575_4(int *) = Store[rP] : &:r2575_1, r2575_3
# 2573| v2573_1(void) = EnterFunction :
# 2573| m2573_2(unknown) = AliasedDefinition :
# 2573| m2573_3(unknown) = InitializeNonLocal :
# 2573| m2573_4(unknown) = Chi : total:m2573_2, partial:m2573_3
# 2573| m2573_5(int) = InitializeGroup[r,s] :
# 2574| r2574_1(glval<int>) = VariableAddress[r] :
# 2574| m2574_2(int) = Uninitialized[r] : &:r2574_1
# 2574| m2574_3(int) = Chi : total:m2573_5, partial:m2574_2
# 2575| r2575_1(glval<int *>) = VariableAddress[rP] :
# 2575| r2575_2(glval<int>) = VariableAddress[r] :
# 2575| r2575_3(int *) = CopyValue : r2575_2
# 2575| m2575_4(int *) = Store[rP] : &:r2575_1, r2575_3
#-----| Goto -> Block 1
# 2577| Block 1
# 2577| m2577_1(unknown) = Phi : from 0:~m2573_4, from 2:~m2579_7
# 2577| m2577_2(int *) = Phi : from 0:m2575_4, from 2:m2580_4
# 2577| r2577_3(glval<unknown>) = FunctionAddress[predicateA] :
# 2577| r2577_4(bool) = Call[predicateA] : func:r2577_3
# 2577| m2577_5(unknown) = ^CallSideEffect : ~m2577_1
# 2577| m2577_6(unknown) = Chi : total:m2577_1, partial:m2577_5
# 2577| v2577_7(void) = ConditionalBranch : r2577_4
# 2577| m2577_1(int) = Phi : from 0:m2574_3, from 2:m2579_7
# 2577| m2577_2(unknown) = Phi : from 0:~m2573_4, from 2:~m2577_7
# 2577| m2577_3(int *) = Phi : from 0:m2575_4, from 2:m2580_4
# 2577| r2577_4(glval<unknown>) = FunctionAddress[predicateA] :
# 2577| r2577_5(bool) = Call[predicateA] : func:r2577_4
# 2577| m2577_6(unknown) = ^CallSideEffect : ~m2577_2
# 2577| m2577_7(unknown) = Chi : total:m2577_2, partial:m2577_6
# 2577| v2577_8(void) = ConditionalBranch : r2577_5
#-----| False -> Block 3
#-----| True -> Block 2
@@ -18484,13 +18499,14 @@ ir.cpp:
# 2578| r2578_1(glval<int>) = VariableAddress[s] :
# 2578| r2578_2(int) = Constant[0] :
# 2578| m2578_3(int) = Store[s] : &:r2578_1, r2578_2
# 2578| m2578_4(int) = Chi : total:m2577_1, partial:m2578_3
# 2579| r2579_1(glval<int>) = VariableAddress[s] :
# 2579| r2579_2(int) = Load[s] : &:r2579_1, m2578_3
# 2579| r2579_3(glval<int *>) = VariableAddress[rP] :
# 2579| r2579_4(int *) = Load[rP] : &:r2579_3, m2577_2
# 2579| r2579_4(int *) = Load[rP] : &:r2579_3, m2577_3
# 2579| r2579_5(glval<int>) = CopyValue : r2579_4
# 2579| m2579_6(int) = Store[?] : &:r2579_5, r2579_2
# 2579| m2579_7(unknown) = Chi : total:m2577_6, partial:m2579_6
# 2579| m2579_7(int) = Chi : total:m2578_4, partial:m2579_6
# 2580| r2580_1(glval<int>) = VariableAddress[s] :
# 2580| r2580_2(int *) = CopyValue : r2580_1
# 2580| r2580_3(glval<int *>) = VariableAddress[rP] :
@@ -18500,12 +18516,12 @@ ir.cpp:
# 2583| Block 3
# 2583| r2583_1(glval<int>) = VariableAddress[#return] :
# 2583| r2583_2(glval<int>) = VariableAddress[r] :
# 2583| r2583_3(int) = Load[r] : &:r2583_2, m2574_2
# 2583| r2583_3(int) = Load[r] : &:r2583_2, ~m2577_1
# 2583| m2583_4(int) = Store[#return] : &:r2583_1, r2583_3
# 2573| r2573_5(glval<int>) = VariableAddress[#return] :
# 2573| v2573_6(void) = ReturnValue : &:r2573_5, m2583_4
# 2573| v2573_7(void) = AliasedUse : ~m2577_6
# 2573| v2573_8(void) = ExitFunction :
# 2573| r2573_6(glval<int>) = VariableAddress[#return] :
# 2573| v2573_7(void) = ReturnValue : &:r2573_6, m2583_4
# 2573| v2573_8(void) = AliasedUse : ~m2577_7
# 2573| v2573_9(void) = ExitFunction :
# 2588| char* recursive_conditional_call_with_increment(char*, bool)
# 2588| Block 0
@@ -18565,14 +18581,16 @@ ir.cpp:
# 2602| v2602_1(void) = EnterFunction :
# 2602| m2602_2(unknown) = AliasedDefinition :
# 2602| m2602_3(unknown) = InitializeNonLocal :
# 2602| m2602_4(unknown) = Chi : total:m2602_2, partial:m2602_3
# 2602| r2602_5(glval<Recursive *>) = VariableAddress[a] :
# 2602| m2602_6(Recursive *) = InitializeParameter[a] : &:r2602_5
# 2602| r2602_7(Recursive *) = Load[a] : &:r2602_5, m2602_6
# 2602| m2602_8(unknown) = InitializeIndirection[a] : &:r2602_7
# 2602| m2602_9(unknown) = Chi : total:m2602_4, partial:m2602_8
# 2602| m2602_4(unknown) = Chi : total:~m?, partial:m2602_3
# 2602| m2602_5(Recursive *) = InitializeGroup[a,b] :
# 2602| r2602_6(glval<Recursive *>) = VariableAddress[a] :
# 2602| m2602_7(Recursive *) = InitializeParameter[a] : &:r2602_6
# 2602| r2602_8(Recursive *) = Load[a] : &:r2602_6, m2602_7
# 2602| m2602_9(unknown) = InitializeIndirection[a] : &:r2602_8
# 2602| m2602_10(unknown) = Chi : total:m2602_4, partial:m2602_9
# 2604| r2604_1(glval<Recursive *>) = VariableAddress[b] :
# 2604| m2604_2(Recursive *) = Uninitialized[b] : &:r2604_1
# 2604| m2604_3(unknown) = Chi : total:m2602_10, partial:m2604_2
# 2605| r2605_1(glval<Recursive **>) = VariableAddress[p] :
# 2605| r2605_2(glval<Recursive *>) = VariableAddress[b] :
# 2605| r2605_3(Recursive **) = CopyValue : r2605_2
@@ -18580,7 +18598,7 @@ ir.cpp:
#-----| Goto -> Block 1
# 2607| Block 1
# 2607| m2607_1(unknown) = Phi : from 0:~m2602_9, from 2:~m2609_7
# 2607| m2607_1(unknown) = Phi : from 0:~m2604_3, from 2:~m2609_7
# 2607| m2607_2(Recursive **) = Phi : from 0:m2605_4, from 2:m2610_6
# 2607| r2607_3(glval<unknown>) = FunctionAddress[predicateA] :
# 2607| r2607_4(bool) = Call[predicateA] : func:r2607_3
@@ -18592,14 +18610,14 @@ ir.cpp:
# 2609| Block 2
# 2609| r2609_1(glval<Recursive *>) = VariableAddress[a] :
# 2609| r2609_2(Recursive *) = Load[a] : &:r2609_1, m2602_6
# 2609| r2609_2(Recursive *) = Load[a] : &:r2609_1, m2602_7
# 2609| r2609_3(glval<Recursive **>) = VariableAddress[p] :
# 2609| r2609_4(Recursive **) = Load[p] : &:r2609_3, m2607_2
# 2609| r2609_5(glval<Recursive *>) = CopyValue : r2609_4
# 2609| m2609_6(Recursive *) = Store[?] : &:r2609_5, r2609_2
# 2609| m2609_7(unknown) = Chi : total:m2607_6, partial:m2609_6
# 2610| r2610_1(glval<Recursive *>) = VariableAddress[a] :
# 2610| r2610_2(Recursive *) = Load[a] : &:r2610_1, m2602_6
# 2610| r2610_2(Recursive *) = Load[a] : &:r2610_1, m2602_7
# 2610| r2610_3(glval<Recursive *>) = FieldAddress[next] : r2610_2
# 2610| r2610_4(Recursive **) = CopyValue : r2610_3
# 2610| r2610_5(glval<Recursive **>) = VariableAddress[p] :
@@ -18609,22 +18627,23 @@ ir.cpp:
# 2613| Block 3
# 2613| r2613_1(glval<Recursive *>) = VariableAddress[#return] :
# 2613| r2613_2(glval<Recursive *>) = VariableAddress[b] :
# 2613| r2613_3(Recursive *) = Load[b] : &:r2613_2, m2604_2
# 2613| r2613_3(Recursive *) = Load[b] : &:r2613_2, ~m2607_6
# 2613| m2613_4(Recursive *) = Store[#return] : &:r2613_1, r2613_3
# 2602| v2602_10(void) = ReturnIndirection[a] : &:r2602_7, ~m2607_6
# 2602| r2602_11(glval<Recursive *>) = VariableAddress[#return] :
# 2602| v2602_12(void) = ReturnValue : &:r2602_11, m2613_4
# 2602| v2602_13(void) = AliasedUse : ~m2607_6
# 2602| v2602_14(void) = ExitFunction :
# 2602| v2602_11(void) = ReturnIndirection[a] : &:r2602_8, ~m2607_6
# 2602| r2602_12(glval<Recursive *>) = VariableAddress[#return] :
# 2602| v2602_13(void) = ReturnValue : &:r2602_12, m2613_4
# 2602| v2602_14(void) = AliasedUse : ~m2607_6
# 2602| v2602_15(void) = ExitFunction :
# 2618| void escaping_pointer(bool)
# 2618| Block 0
# 2618| v2618_1(void) = EnterFunction :
# 2618| m2618_2(unknown) = AliasedDefinition :
# 2618| m2618_3(unknown) = InitializeNonLocal :
# 2618| m2618_4(unknown) = Chi : total:m2618_2, partial:m2618_3
# 2618| r2618_5(glval<bool>) = VariableAddress[b] :
# 2618| m2618_6(bool) = InitializeParameter[b] : &:r2618_5
# 2618| m2618_4(unknown) = Chi : total:~m?, partial:m2618_3
# 2618| m2618_5(unknown) = InitializeGroup[l1,l2] :
# 2618| r2618_6(glval<bool>) = VariableAddress[b] :
# 2618| m2618_7(bool) = InitializeParameter[b] : &:r2618_6
# 2620| r2620_1(glval<int *>) = VariableAddress[data] :
# 2620| m2620_2(int *) = Uninitialized[data] : &:r2620_1
# 2621| r2621_1(glval<int>) = VariableAddress[l1] :
@@ -18634,7 +18653,7 @@ ir.cpp:
# 2621| m2621_5(int) = Uninitialized[l2] : &:r2621_4
# 2621| m2621_6(unknown) = Chi : total:m2621_3, partial:m2621_5
# 2622| r2622_1(glval<bool>) = VariableAddress[b] :
# 2622| r2622_2(bool) = Load[b] : &:r2622_1, m2618_6
# 2622| r2622_2(bool) = Load[b] : &:r2622_1, m2618_7
# 2622| v2622_3(void) = ConditionalBranch : r2622_2
#-----| False -> Block 2
#-----| True -> Block 1
@@ -18664,16 +18683,18 @@ ir.cpp:
# 2630| m2630_8(unknown) = Chi : total:m2621_6, partial:m2630_7
# 2630| v2630_9(void) = ^BufferReadSideEffect[0] : &:r2630_5, ~m2630_8
# 2631| v2631_1(void) = NoOp :
# 2618| v2618_7(void) = ReturnVoid :
# 2618| v2618_8(void) = AliasedUse : ~m2630_8
# 2618| v2618_9(void) = ExitFunction :
# 2618| v2618_8(void) = ReturnVoid :
# 2618| v2618_9(void) = AliasedUse : ~m2630_8
# 2618| v2618_10(void) = ExitFunction :
# 2639| void needs_chi_for_initialize_groups()
# 2639| Block 0
# 2639| v2639_1(void) = EnterFunction :
# 2639| m2639_2(unknown) = AliasedDefinition :
# 2639| m2639_3(unknown) = InitializeNonLocal :
# 2639| m2639_4(unknown) = Chi : total:m2639_2, partial:m2639_3
# 2639| m2639_4(unknown) = Chi : total:~m?, partial:m2639_3
# 2639| m2639_5(unknown) = InitializeGroup :
# 2639| m2639_6(unknown) = InitializeGroup :
# 2641| r2641_1(glval<unknown>) = FunctionAddress[predicateA] :
# 2641| r2641_2(bool) = Call[predicateA] : func:r2641_1
# 2641| m2641_3(unknown) = ^CallSideEffect : ~m2639_4
@@ -18777,9 +18798,9 @@ ir.cpp:
# 2659| Block 7
# 2659| m2659_1(unknown) = Phi : from 3:~m2648_9, from 6:~m2657_9
# 2659| v2659_2(void) = NoOp :
# 2639| v2639_5(void) = ReturnVoid :
# 2639| v2639_6(void) = AliasedUse : ~m2659_1
# 2639| v2639_7(void) = ExitFunction :
# 2639| v2639_7(void) = ReturnVoid :
# 2639| v2639_8(void) = AliasedUse : ~m2659_1
# 2639| v2639_9(void) = ExitFunction :
# 2663| void phi_with_single_input_at_merge(bool)
# 2663| Block 0
@@ -18809,31 +18830,34 @@ ir.cpp:
#-----| Goto -> Block 2
# 2670| Block 2
# 2670| m2670_1(int *) = Phi : from 0:m2665_3, from 1:m2668_4
# 2670| r2670_2(glval<unknown>) = FunctionAddress[use_int] :
# 2670| r2670_3(glval<int *>) = VariableAddress[data] :
# 2670| r2670_4(int *) = Load[data] : &:r2670_3, m2670_1
# 2670| r2670_5(int) = Load[?] : &:r2670_4, ~m2663_4
# 2670| v2670_6(void) = Call[use_int] : func:r2670_2, 0:r2670_5
# 2670| m2670_7(unknown) = ^CallSideEffect : ~m2663_4
# 2670| m2670_8(unknown) = Chi : total:m2663_4, partial:m2670_7
# 2670| m2670_1(int) = Phi : from 1:m2667_3
# 2670| m2670_2(int *) = Phi : from 0:m2665_3, from 1:m2668_4
# 2670| r2670_3(glval<unknown>) = FunctionAddress[use_int] :
# 2670| r2670_4(glval<int *>) = VariableAddress[data] :
# 2670| r2670_5(int *) = Load[data] : &:r2670_4, m2670_2
# 2670| r2670_6(int) = Load[?] : &:r2670_5, ~m2670_1
# 2670| v2670_7(void) = Call[use_int] : func:r2670_3, 0:r2670_6
# 2670| m2670_8(unknown) = ^CallSideEffect : ~m2663_4
# 2670| m2670_9(unknown) = Chi : total:m2663_4, partial:m2670_8
# 2671| v2671_1(void) = NoOp :
# 2663| v2663_7(void) = ReturnVoid :
# 2663| v2663_8(void) = AliasedUse : ~m2670_8
# 2663| v2663_8(void) = AliasedUse : ~m2670_9
# 2663| v2663_9(void) = ExitFunction :
# 2684| void test(bool)
# 2684| Block 0
# 2684| v2684_1(void) = EnterFunction :
# 2684| m2684_2(unknown) = AliasedDefinition :
# 2684| m2684_3(unknown) = InitializeNonLocal :
# 2684| m2684_4(unknown) = Chi : total:m2684_2, partial:m2684_3
# 2684| r2684_5(glval<bool>) = VariableAddress[b] :
# 2684| m2684_6(bool) = InitializeParameter[b] : &:r2684_5
# 2686| r2686_1(glval<unknown>) = FunctionAddress[use] :
# 2686| r2686_2(glval<bool>) = VariableAddress[b] :
# 2686| r2686_3(bool) = Load[b] : &:r2686_2, m2684_6
# 2686| v2686_4(void) = ConditionalBranch : r2686_3
# 2684| v2684_1(void) = EnterFunction :
# 2684| m2684_2(unknown) = AliasedDefinition :
# 2684| m2684_3(unknown) = InitializeNonLocal :
# 2684| m2684_4(unknown) = Chi : total:~m?, partial:m2684_3
# 2684| m2684_5(unknown) = InitializeGroup[#string2686:22,#string2686:27] :
# 2684| m2684_6(unknown) = InitializeGroup[#string2686:22,#string2686:27] :
# 2684| r2684_7(glval<bool>) = VariableAddress[b] :
# 2684| m2684_8(bool) = InitializeParameter[b] : &:r2684_7
# 2686| r2686_1(glval<unknown>) = FunctionAddress[use] :
# 2686| r2686_2(glval<bool>) = VariableAddress[b] :
# 2686| r2686_3(bool) = Load[b] : &:r2686_2, m2684_8
# 2686| v2686_4(void) = ConditionalBranch : r2686_3
#-----| False -> Block 3
#-----| True -> Block 2
@@ -18847,7 +18871,7 @@ ir.cpp:
# 2686| v2686_11(void) = ^BufferReadSideEffect[0] : &:r2686_7, ~m2686_10
# 2686| r2686_12(glval<unknown>) = FunctionAddress[use] :
# 2686| r2686_13(glval<bool>) = VariableAddress[b] :
# 2686| r2686_14(bool) = Load[b] : &:r2686_13, m2684_6
# 2686| r2686_14(bool) = Load[b] : &:r2686_13, m2684_8
# 2686| v2686_15(void) = ConditionalBranch : r2686_14
#-----| False -> Block 6
#-----| True -> Block 5
@@ -18894,13 +18918,13 @@ ir.cpp:
#-----| Goto -> Block 4
# 2687| Block 7
# 2687| v2687_1(void) = NoOp :
# 2684| v2684_7(void) = ReturnVoid :
# 2684| v2684_8(void) = AliasedUse : ~m2686_29
# 2684| v2684_9(void) = ExitFunction :
# 2687| v2687_1(void) = NoOp :
# 2684| v2684_9(void) = ReturnVoid :
# 2684| v2684_10(void) = AliasedUse : ~m2686_29
# 2684| v2684_11(void) = ExitFunction :
# 2684| Block 8
# 2684| v2684_10(void) = Unreached :
# 2684| v2684_12(void) = Unreached :
perf-regression.cpp:
# 6| void Big::Big()

33
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
View File

@@ -2,7 +2,12 @@ missingOperand
unexpectedOperand
duplicateOperand
missingPhiOperand
| ir.cpp:2670:3:2670:9 | Phi: call to use_int | Instruction 'Phi: call to use_int' is missing an operand for predecessor block 'EnterFunction: phi_with_single_input_at_merge' in function '$@'. | ir.cpp:2663:13:2663:42 | void phi_with_single_input_at_merge(bool) | void phi_with_single_input_at_merge(bool) |
missingOperandType
| ir.cpp:2602:19:2602:23 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2618:6:2618:21 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2639:13:2639:43 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2684:6:2684:9 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | ir.cpp:2684:6:2684:9 | void test(bool) | void test(bool) |
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
@@ -23,6 +28,34 @@ useNotDominatedByDefinition
switchInstructionWithoutDefaultEdge
notMarkedAsConflated
wronglyMarkedAsConflated
| ir.cpp:2602:19:2602:23 | Chi: merge | Instruction 'Chi: merge' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2602:36:2602:36 | Chi: a | Instruction 'Chi: a' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2604:14:2604:14 | Chi: definition of b | Instruction 'Chi: definition of b' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2607:10:2607:19 | Chi: call to predicateA | Instruction 'Chi: call to predicateA' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2607:10:2607:19 | Phi: call to predicateA | Instruction 'Phi: call to predicateA' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2609:5:2609:10 | Chi: ... = ... | Instruction 'Chi: ... = ...' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2618:6:2618:21 | Chi: escaping_pointer | Instruction 'Chi: escaping_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2621:7:2621:8 | Chi: definition of l1 | Instruction 'Chi: definition of l1' should not be marked as having a conflated result in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2621:11:2621:12 | Chi: definition of l2 | Instruction 'Chi: definition of l2' should not be marked as having a conflated result in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2630:3:2630:15 | Chi: call to use_const_int | Instruction 'Chi: call to use_const_int' should not be marked as having a conflated result in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2639:13:2639:43 | Chi: needs_chi_for_initialize_groups | Instruction 'Chi: needs_chi_for_initialize_groups' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2641:7:2641:16 | Chi: call to predicateA | Instruction 'Chi: call to predicateA' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2643:32:2643:37 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2643:32:2643:37 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2646:25:2646:30 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2646:25:2646:30 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2648:5:2648:26 | Chi: call to use_const_void_pointer | Instruction 'Chi: call to use_const_void_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2648:5:2648:26 | Phi: call to use_const_void_pointer | Instruction 'Phi: call to use_const_void_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2652:32:2652:37 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2652:32:2652:37 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2655:25:2655:30 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2655:25:2655:30 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2657:5:2657:26 | Chi: call to use_const_void_pointer | Instruction 'Chi: call to use_const_void_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2657:5:2657:26 | Phi: call to use_const_void_pointer | Instruction 'Phi: call to use_const_void_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2659:1:2659:1 | Phi: return ... | Instruction 'Phi: return ...' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2684:6:2684:9 | Chi: test | Instruction 'Chi: test' should not be marked as having a conflated result in function '$@'. | ir.cpp:2684:6:2684:9 | void test(bool) | void test(bool) |
| ir.cpp:2686:3:2686:29 | Chi: call to use | Instruction 'Chi: call to use' should not be marked as having a conflated result in function '$@'. | ir.cpp:2684:6:2684:9 | void test(bool) | void test(bool) |
| ir.cpp:2686:3:2686:29 | Chi: call to use | Instruction 'Chi: call to use' should not be marked as having a conflated result in function '$@'. | ir.cpp:2684:6:2684:9 | void test(bool) | void test(bool) |
invalidOverlap
nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer

33
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
View File

@@ -2,7 +2,12 @@ missingOperand
unexpectedOperand
duplicateOperand
missingPhiOperand
| ir.cpp:2670:3:2670:9 | Phi: call to use_int | Instruction 'Phi: call to use_int' is missing an operand for predecessor block 'EnterFunction: phi_with_single_input_at_merge' in function '$@'. | ir.cpp:2663:13:2663:42 | void phi_with_single_input_at_merge(bool) | void phi_with_single_input_at_merge(bool) |
missingOperandType
| ir.cpp:2602:19:2602:23 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2618:6:2618:21 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2639:13:2639:43 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2684:6:2684:9 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | ir.cpp:2684:6:2684:9 | void test(bool) | void test(bool) |
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
@@ -23,6 +28,34 @@ useNotDominatedByDefinition
switchInstructionWithoutDefaultEdge
notMarkedAsConflated
wronglyMarkedAsConflated
| ir.cpp:2602:19:2602:23 | Chi: merge | Instruction 'Chi: merge' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2602:36:2602:36 | Chi: a | Instruction 'Chi: a' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2604:14:2604:14 | Chi: definition of b | Instruction 'Chi: definition of b' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2607:10:2607:19 | Chi: call to predicateA | Instruction 'Chi: call to predicateA' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2607:10:2607:19 | Phi: call to predicateA | Instruction 'Phi: call to predicateA' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2609:5:2609:10 | Chi: ... = ... | Instruction 'Chi: ... = ...' should not be marked as having a conflated result in function '$@'. | ir.cpp:2602:19:2602:23 | Recursive* merge(Recursive*) | Recursive* merge(Recursive*) |
| ir.cpp:2618:6:2618:21 | Chi: escaping_pointer | Instruction 'Chi: escaping_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2621:7:2621:8 | Chi: definition of l1 | Instruction 'Chi: definition of l1' should not be marked as having a conflated result in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2621:11:2621:12 | Chi: definition of l2 | Instruction 'Chi: definition of l2' should not be marked as having a conflated result in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2630:3:2630:15 | Chi: call to use_const_int | Instruction 'Chi: call to use_const_int' should not be marked as having a conflated result in function '$@'. | ir.cpp:2618:6:2618:21 | void escaping_pointer(bool) | void escaping_pointer(bool) |
| ir.cpp:2639:13:2639:43 | Chi: needs_chi_for_initialize_groups | Instruction 'Chi: needs_chi_for_initialize_groups' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2641:7:2641:16 | Chi: call to predicateA | Instruction 'Chi: call to predicateA' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2643:32:2643:37 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2643:32:2643:37 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2646:25:2646:30 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2646:25:2646:30 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2648:5:2648:26 | Chi: call to use_const_void_pointer | Instruction 'Chi: call to use_const_void_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2648:5:2648:26 | Phi: call to use_const_void_pointer | Instruction 'Phi: call to use_const_void_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2652:32:2652:37 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2652:32:2652:37 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2655:25:2655:30 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2655:25:2655:30 | Chi: call to malloc | Instruction 'Chi: call to malloc' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2657:5:2657:26 | Chi: call to use_const_void_pointer | Instruction 'Chi: call to use_const_void_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2657:5:2657:26 | Phi: call to use_const_void_pointer | Instruction 'Phi: call to use_const_void_pointer' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2659:1:2659:1 | Phi: return ... | Instruction 'Phi: return ...' should not be marked as having a conflated result in function '$@'. | ir.cpp:2639:13:2639:43 | void needs_chi_for_initialize_groups() | void needs_chi_for_initialize_groups() |
| ir.cpp:2684:6:2684:9 | Chi: test | Instruction 'Chi: test' should not be marked as having a conflated result in function '$@'. | ir.cpp:2684:6:2684:9 | void test(bool) | void test(bool) |
| ir.cpp:2686:3:2686:29 | Chi: call to use | Instruction 'Chi: call to use' should not be marked as having a conflated result in function '$@'. | ir.cpp:2684:6:2684:9 | void test(bool) | void test(bool) |
| ir.cpp:2686:3:2686:29 | Chi: call to use | Instruction 'Chi: call to use' should not be marked as having a conflated result in function '$@'. | ir.cpp:2684:6:2684:9 | void test(bool) | void test(bool) |
invalidOverlap
nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer

3
cpp/ql/test/library-tests/ir/points_to/points_to.expected
View File

@@ -1,2 +1 @@
testFailures
failures
ERROR: getAllocation() cannot be resolved for type SimpleSSA::MemoryLocation (points_to.ql:31,42-55)

6
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
View File

@@ -381,7 +381,7 @@ ssa.cpp:
#-----| Goto -> Block 1
# 69| Block 1
# 69| m69_1(unknown) = Phi : from 0:~m68_4, from 2:~m70_10
# 69| m69_1(unknown) = Phi : from 0:m68_10, from 2:m70_10
# 69| m69_2(char *) = Phi : from 0:m68_8, from 2:m70_6
# 69| m69_3(int) = Phi : from 0:m68_6, from 2:m69_8
# 69| r69_4(glval<int>) = VariableAddress[n] :
@@ -411,9 +411,9 @@ ssa.cpp:
# 71| Block 3
# 71| v71_1(void) = NoOp :
# 68| v68_11(void) = ReturnIndirection[p] : &:r68_9, m68_10
# 68| v68_11(void) = ReturnIndirection[p] : &:r68_9, m69_1
# 68| v68_12(void) = ReturnVoid :
# 68| v68_13(void) = AliasedUse : ~m69_1
# 68| v68_13(void) = AliasedUse : m68_3
# 68| v68_14(void) = ExitFunction :
# 75| void ScalarPhi(bool)

6
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected
View File

@@ -381,7 +381,7 @@ ssa.cpp:
#-----| Goto -> Block 1
# 69| Block 1
# 69| m69_1(unknown) = Phi : from 0:~m68_4, from 2:~m70_10
# 69| m69_1(unknown) = Phi : from 0:m68_10, from 2:m70_10
# 69| m69_2(char *) = Phi : from 0:m68_8, from 2:m70_6
# 69| m69_3(int) = Phi : from 0:m68_6, from 2:m69_8
# 69| r69_4(glval<int>) = VariableAddress[n] :
@@ -411,9 +411,9 @@ ssa.cpp:
# 71| Block 3
# 71| v71_1(void) = NoOp :
# 68| v68_11(void) = ReturnIndirection[p] : &:r68_9, m68_10
# 68| v68_11(void) = ReturnIndirection[p] : &:r68_9, m69_1
# 68| v68_12(void) = ReturnVoid :
# 68| v68_13(void) = AliasedUse : ~m69_1
# 68| v68_13(void) = AliasedUse : m68_3
# 68| v68_14(void) = ExitFunction :
# 75| void ScalarPhi(bool)