Skip to content

Commit 9504e0f

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent 8894fba commit 9504e0f

File tree

1 file changed

+107
-107
lines changed

1 file changed

+107
-107
lines changed

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

Lines changed: 107 additions & 107 deletions
Original file line numberDiff line numberDiff line change
@@ -5263,23 +5263,23 @@ ir.cpp:
52635263

52645264
# 486| void Conditional_LValue(bool)
52655265
# 486| Block 0
5266-
# 486| v486_1(void) = EnterFunction :
5267-
# 486| m486_2(unknown) = AliasedDefinition :
5268-
# 486| m486_3(unknown) = InitializeNonLocal :
5269-
# 486| m486_4(unknown) = Chi : total:m486_2, partial:m486_3
5270-
# 486| m486_5(int) = InitializeGroup[x,y] :
5271-
# 486| r486_6(glval<bool>) = VariableAddress[a] :
5272-
# 486| m486_7(bool) = InitializeParameter[a] : &:r486_6
5273-
# 487| r487_1(glval<int>) = VariableAddress[x] :
5274-
# 487| m487_2(int) = Uninitialized[x] : &:r487_1
5275-
# 487| m487_3(int) = Chi : total:m486_5, partial:m487_2
5276-
# 488| r488_1(glval<int>) = VariableAddress[y] :
5277-
# 488| m488_2(int) = Uninitialized[y] : &:r488_1
5278-
# 488| m488_3(int) = Chi : total:m487_3, partial:m488_2
5279-
# 489| r489_1(int) = Constant[5] :
5280-
# 489| r489_2(glval<bool>) = VariableAddress[a] :
5281-
# 489| r489_3(bool) = Load[a] : &:r489_2, m486_7
5282-
# 489| v489_4(void) = ConditionalBranch : r489_3
5266+
# 486| v486_1(void) = EnterFunction :
5267+
# 486| m486_2(unknown) = AliasedDefinition :
5268+
# 486| m486_3(unknown) = InitializeNonLocal :
5269+
# 486| m486_4(unknown) = Chi : total:m486_2, partial:m486_3
5270+
# 486| m486_5(int) = UninitializedGroup[x,y] :
5271+
# 486| r486_6(glval<bool>) = VariableAddress[a] :
5272+
# 486| m486_7(bool) = InitializeParameter[a] : &:r486_6
5273+
# 487| r487_1(glval<int>) = VariableAddress[x] :
5274+
# 487| m487_2(int) = Uninitialized[x] : &:r487_1
5275+
# 487| m487_3(int) = Chi : total:m486_5, partial:m487_2
5276+
# 488| r488_1(glval<int>) = VariableAddress[y] :
5277+
# 488| m488_2(int) = Uninitialized[y] : &:r488_1
5278+
# 488| m488_3(int) = Chi : total:m487_3, partial:m488_2
5279+
# 489| r489_1(int) = Constant[5] :
5280+
# 489| r489_2(glval<bool>) = VariableAddress[a] :
5281+
# 489| r489_3(bool) = Load[a] : &:r489_2, m486_7
5282+
# 489| v489_4(void) = ConditionalBranch : r489_3
52835283
#-----| False -> Block 3
52845284
#-----| True -> Block 2
52855285

@@ -14075,24 +14075,24 @@ ir.cpp:
1407514075

1407614076
# 2059| void TernaryTestInt(bool, int, int, int)
1407714077
# 2059| Block 0
14078-
# 2059| v2059_1(void) = EnterFunction :
14079-
# 2059| m2059_2(unknown) = AliasedDefinition :
14080-
# 2059| m2059_3(unknown) = InitializeNonLocal :
14081-
# 2059| m2059_4(unknown) = Chi : total:m2059_2, partial:m2059_3
14082-
# 2059| m2059_5(int) = InitializeGroup[x,y] :
14083-
# 2059| r2059_6(glval<bool>) = VariableAddress[a] :
14084-
# 2059| m2059_7(bool) = InitializeParameter[a] : &:r2059_6
14085-
# 2059| r2059_8(glval<int>) = VariableAddress[x] :
14086-
# 2059| m2059_9(int) = InitializeParameter[x] : &:r2059_8
14087-
# 2059| m2059_10(int) = Chi : total:m2059_5, partial:m2059_9
14088-
# 2059| r2059_11(glval<int>) = VariableAddress[y] :
14089-
# 2059| m2059_12(int) = InitializeParameter[y] : &:r2059_11
14090-
# 2059| m2059_13(int) = Chi : total:m2059_10, partial:m2059_12
14091-
# 2059| r2059_14(glval<int>) = VariableAddress[z] :
14092-
# 2059| m2059_15(int) = InitializeParameter[z] : &:r2059_14
14093-
# 2060| r2060_1(glval<bool>) = VariableAddress[a] :
14094-
# 2060| r2060_2(bool) = Load[a] : &:r2060_1, m2059_7
14095-
# 2060| v2060_3(void) = ConditionalBranch : r2060_2
14078+
# 2059| v2059_1(void) = EnterFunction :
14079+
# 2059| m2059_2(unknown) = AliasedDefinition :
14080+
# 2059| m2059_3(unknown) = InitializeNonLocal :
14081+
# 2059| m2059_4(unknown) = Chi : total:m2059_2, partial:m2059_3
14082+
# 2059| m2059_5(int) = UninitializedGroup[x,y] :
14083+
# 2059| r2059_6(glval<bool>) = VariableAddress[a] :
14084+
# 2059| m2059_7(bool) = InitializeParameter[a] : &:r2059_6
14085+
# 2059| r2059_8(glval<int>) = VariableAddress[x] :
14086+
# 2059| m2059_9(int) = InitializeParameter[x] : &:r2059_8
14087+
# 2059| m2059_10(int) = Chi : total:m2059_5, partial:m2059_9
14088+
# 2059| r2059_11(glval<int>) = VariableAddress[y] :
14089+
# 2059| m2059_12(int) = InitializeParameter[y] : &:r2059_11
14090+
# 2059| m2059_13(int) = Chi : total:m2059_10, partial:m2059_12
14091+
# 2059| r2059_14(glval<int>) = VariableAddress[z] :
14092+
# 2059| m2059_15(int) = InitializeParameter[z] : &:r2059_14
14093+
# 2060| r2060_1(glval<bool>) = VariableAddress[a] :
14094+
# 2060| r2060_2(bool) = Load[a] : &:r2060_1, m2059_7
14095+
# 2060| v2060_3(void) = ConditionalBranch : r2060_2
1409614096
#-----| False -> Block 3
1409714097
#-----| True -> Block 2
1409814098

@@ -14425,7 +14425,7 @@ ir.cpp:
1442514425
# 2080| m2080_2(unknown) = AliasedDefinition :
1442614426
# 2080| m2080_3(unknown) = InitializeNonLocal :
1442714427
# 2080| m2080_4(unknown) = Chi : total:m2080_2, partial:m2080_3
14428-
# 2080| m2080_5(unknown) = InitializeGroup[x,y] :
14428+
# 2080| m2080_5(unknown) = UninitializedGroup[x,y] :
1442914429
# 2080| r2080_6(glval<bool>) = VariableAddress[a] :
1443014430
# 2080| m2080_7(bool) = InitializeParameter[a] : &:r2080_6
1443114431
# 2080| r2080_8(glval<TernaryNonPodObj>) = VariableAddress[x] :
@@ -18406,29 +18406,29 @@ ir.cpp:
1840618406

1840718407
# 2559| void p_points_to_x_or_y(int, int)
1840818408
# 2559| Block 0
18409-
# 2559| v2559_1(void) = EnterFunction :
18410-
# 2559| m2559_2(unknown) = AliasedDefinition :
18411-
# 2559| m2559_3(unknown) = InitializeNonLocal :
18412-
# 2559| m2559_4(unknown) = Chi : total:m2559_2, partial:m2559_3
18413-
# 2559| m2559_5(int) = InitializeGroup[x,y] :
18414-
# 2559| r2559_6(glval<int>) = VariableAddress[a] :
18415-
# 2559| m2559_7(int) = InitializeParameter[a] : &:r2559_6
18416-
# 2559| r2559_8(glval<int>) = VariableAddress[b] :
18417-
# 2559| m2559_9(int) = InitializeParameter[b] : &:r2559_8
18418-
# 2560| r2560_1(glval<int>) = VariableAddress[x] :
18419-
# 2560| m2560_2(int) = Uninitialized[x] : &:r2560_1
18420-
# 2560| m2560_3(int) = Chi : total:m2559_5, partial:m2560_2
18421-
# 2561| r2561_1(glval<int>) = VariableAddress[y] :
18422-
# 2561| m2561_2(int) = Uninitialized[y] : &:r2561_1
18423-
# 2561| m2561_3(int) = Chi : total:m2560_3, partial:m2561_2
18424-
# 2562| r2562_1(glval<int *>) = VariableAddress[p] :
18425-
# 2562| m2562_2(int *) = Uninitialized[p] : &:r2562_1
18426-
# 2563| r2563_1(glval<int>) = VariableAddress[a] :
18427-
# 2563| r2563_2(int) = Load[a] : &:r2563_1, m2559_7
18428-
# 2563| r2563_3(glval<int>) = VariableAddress[b] :
18429-
# 2563| r2563_4(int) = Load[b] : &:r2563_3, m2559_9
18430-
# 2563| r2563_5(bool) = CompareLT : r2563_2, r2563_4
18431-
# 2563| v2563_6(void) = ConditionalBranch : r2563_5
18409+
# 2559| v2559_1(void) = EnterFunction :
18410+
# 2559| m2559_2(unknown) = AliasedDefinition :
18411+
# 2559| m2559_3(unknown) = InitializeNonLocal :
18412+
# 2559| m2559_4(unknown) = Chi : total:m2559_2, partial:m2559_3
18413+
# 2559| m2559_5(int) = UninitializedGroup[x,y] :
18414+
# 2559| r2559_6(glval<int>) = VariableAddress[a] :
18415+
# 2559| m2559_7(int) = InitializeParameter[a] : &:r2559_6
18416+
# 2559| r2559_8(glval<int>) = VariableAddress[b] :
18417+
# 2559| m2559_9(int) = InitializeParameter[b] : &:r2559_8
18418+
# 2560| r2560_1(glval<int>) = VariableAddress[x] :
18419+
# 2560| m2560_2(int) = Uninitialized[x] : &:r2560_1
18420+
# 2560| m2560_3(int) = Chi : total:m2559_5, partial:m2560_2
18421+
# 2561| r2561_1(glval<int>) = VariableAddress[y] :
18422+
# 2561| m2561_2(int) = Uninitialized[y] : &:r2561_1
18423+
# 2561| m2561_3(int) = Chi : total:m2560_3, partial:m2561_2
18424+
# 2562| r2562_1(glval<int *>) = VariableAddress[p] :
18425+
# 2562| m2562_2(int *) = Uninitialized[p] : &:r2562_1
18426+
# 2563| r2563_1(glval<int>) = VariableAddress[a] :
18427+
# 2563| r2563_2(int) = Load[a] : &:r2563_1, m2559_7
18428+
# 2563| r2563_3(glval<int>) = VariableAddress[b] :
18429+
# 2563| r2563_4(int) = Load[b] : &:r2563_3, m2559_9
18430+
# 2563| r2563_5(bool) = CompareLT : r2563_2, r2563_4
18431+
# 2563| v2563_6(void) = ConditionalBranch : r2563_5
1843218432
#-----| False -> Block 2
1843318433
#-----| True -> Block 1
1843418434

@@ -18469,18 +18469,18 @@ ir.cpp:
1846918469

1847018470
# 2573| int phi_after_while()
1847118471
# 2573| Block 0
18472-
# 2573| v2573_1(void) = EnterFunction :
18473-
# 2573| m2573_2(unknown) = AliasedDefinition :
18474-
# 2573| m2573_3(unknown) = InitializeNonLocal :
18475-
# 2573| m2573_4(unknown) = Chi : total:m2573_2, partial:m2573_3
18476-
# 2573| m2573_5(int) = InitializeGroup[r,s] :
18477-
# 2574| r2574_1(glval<int>) = VariableAddress[r] :
18478-
# 2574| m2574_2(int) = Uninitialized[r] : &:r2574_1
18479-
# 2574| m2574_3(int) = Chi : total:m2573_5, partial:m2574_2
18480-
# 2575| r2575_1(glval<int *>) = VariableAddress[rP] :
18481-
# 2575| r2575_2(glval<int>) = VariableAddress[r] :
18482-
# 2575| r2575_3(int *) = CopyValue : r2575_2
18483-
# 2575| m2575_4(int *) = Store[rP] : &:r2575_1, r2575_3
18472+
# 2573| v2573_1(void) = EnterFunction :
18473+
# 2573| m2573_2(unknown) = AliasedDefinition :
18474+
# 2573| m2573_3(unknown) = InitializeNonLocal :
18475+
# 2573| m2573_4(unknown) = Chi : total:m2573_2, partial:m2573_3
18476+
# 2573| m2573_5(int) = UninitializedGroup[r,s] :
18477+
# 2574| r2574_1(glval<int>) = VariableAddress[r] :
18478+
# 2574| m2574_2(int) = Uninitialized[r] : &:r2574_1
18479+
# 2574| m2574_3(int) = Chi : total:m2573_5, partial:m2574_2
18480+
# 2575| r2575_1(glval<int *>) = VariableAddress[rP] :
18481+
# 2575| r2575_2(glval<int>) = VariableAddress[r] :
18482+
# 2575| r2575_3(int *) = CopyValue : r2575_2
18483+
# 2575| m2575_4(int *) = Store[rP] : &:r2575_1, r2575_3
1848418484
#-----| Goto -> Block 1
1848518485

1848618486
# 2577| Block 1
@@ -18582,7 +18582,7 @@ ir.cpp:
1858218582
# 2602| m2602_2(unknown) = AliasedDefinition :
1858318583
# 2602| m2602_3(unknown) = InitializeNonLocal :
1858418584
# 2602| m2602_4(unknown) = Chi : total:m2602_2, partial:m2602_3
18585-
# 2602| m2602_5(Recursive *) = InitializeGroup[a,b] :
18585+
# 2602| m2602_5(Recursive *) = UninitializedGroup[a,b] :
1858618586
# 2602| m2602_6(unknown) = Chi : total:m2602_4, partial:m2602_5
1858718587
# 2602| r2602_7(glval<Recursive *>) = VariableAddress[a] :
1858818588
# 2602| m2602_8(Recursive *) = InitializeParameter[a] : &:r2602_7
@@ -18638,25 +18638,25 @@ ir.cpp:
1863818638

1863918639
# 2618| void escaping_pointer(bool)
1864018640
# 2618| Block 0
18641-
# 2618| v2618_1(void) = EnterFunction :
18642-
# 2618| m2618_2(unknown) = AliasedDefinition :
18643-
# 2618| m2618_3(unknown) = InitializeNonLocal :
18644-
# 2618| m2618_4(unknown) = Chi : total:m2618_2, partial:m2618_3
18645-
# 2618| m2618_5(unknown) = InitializeGroup[l1,l2] :
18646-
# 2618| m2618_6(unknown) = Chi : total:m2618_4, partial:m2618_5
18647-
# 2618| r2618_7(glval<bool>) = VariableAddress[b] :
18648-
# 2618| m2618_8(bool) = InitializeParameter[b] : &:r2618_7
18649-
# 2620| r2620_1(glval<int *>) = VariableAddress[data] :
18650-
# 2620| m2620_2(int *) = Uninitialized[data] : &:r2620_1
18651-
# 2621| r2621_1(glval<int>) = VariableAddress[l1] :
18652-
# 2621| m2621_2(int) = Uninitialized[l1] : &:r2621_1
18653-
# 2621| m2621_3(unknown) = Chi : total:m2618_6, partial:m2621_2
18654-
# 2621| r2621_4(glval<int>) = VariableAddress[l2] :
18655-
# 2621| m2621_5(int) = Uninitialized[l2] : &:r2621_4
18656-
# 2621| m2621_6(unknown) = Chi : total:m2621_3, partial:m2621_5
18657-
# 2622| r2622_1(glval<bool>) = VariableAddress[b] :
18658-
# 2622| r2622_2(bool) = Load[b] : &:r2622_1, m2618_8
18659-
# 2622| v2622_3(void) = ConditionalBranch : r2622_2
18641+
# 2618| v2618_1(void) = EnterFunction :
18642+
# 2618| m2618_2(unknown) = AliasedDefinition :
18643+
# 2618| m2618_3(unknown) = InitializeNonLocal :
18644+
# 2618| m2618_4(unknown) = Chi : total:m2618_2, partial:m2618_3
18645+
# 2618| m2618_5(unknown) = UninitializedGroup[l1,l2] :
18646+
# 2618| m2618_6(unknown) = Chi : total:m2618_4, partial:m2618_5
18647+
# 2618| r2618_7(glval<bool>) = VariableAddress[b] :
18648+
# 2618| m2618_8(bool) = InitializeParameter[b] : &:r2618_7
18649+
# 2620| r2620_1(glval<int *>) = VariableAddress[data] :
18650+
# 2620| m2620_2(int *) = Uninitialized[data] : &:r2620_1
18651+
# 2621| r2621_1(glval<int>) = VariableAddress[l1] :
18652+
# 2621| m2621_2(int) = Uninitialized[l1] : &:r2621_1
18653+
# 2621| m2621_3(unknown) = Chi : total:m2618_6, partial:m2621_2
18654+
# 2621| r2621_4(glval<int>) = VariableAddress[l2] :
18655+
# 2621| m2621_5(int) = Uninitialized[l2] : &:r2621_4
18656+
# 2621| m2621_6(unknown) = Chi : total:m2621_3, partial:m2621_5
18657+
# 2622| r2622_1(glval<bool>) = VariableAddress[b] :
18658+
# 2622| r2622_2(bool) = Load[b] : &:r2622_1, m2618_8
18659+
# 2622| v2622_3(void) = ConditionalBranch : r2622_2
1866018660
#-----| False -> Block 2
1866118661
#-----| True -> Block 1
1866218662

@@ -18695,9 +18695,9 @@ ir.cpp:
1869518695
# 2639| m2639_2(unknown) = AliasedDefinition :
1869618696
# 2639| m2639_3(unknown) = InitializeNonLocal :
1869718697
# 2639| m2639_4(unknown) = Chi : total:m2639_2, partial:m2639_3
18698-
# 2639| m2639_5(unknown) = InitializeGroup :
18698+
# 2639| m2639_5(unknown) = UninitializedGroup :
1869918699
# 2639| m2639_6(unknown) = Chi : total:m2639_4, partial:m2639_5
18700-
# 2639| m2639_7(unknown) = InitializeGroup :
18700+
# 2639| m2639_7(unknown) = UninitializedGroup :
1870118701
# 2639| m2639_8(unknown) = Chi : total:m2639_6, partial:m2639_7
1870218702
# 2641| r2641_1(glval<unknown>) = FunctionAddress[predicateA] :
1870318703
# 2641| r2641_2(bool) = Call[predicateA] : func:r2641_1
@@ -18850,20 +18850,20 @@ ir.cpp:
1885018850

1885118851
# 2684| void test(bool)
1885218852
# 2684| Block 0
18853-
# 2684| v2684_1(void) = EnterFunction :
18854-
# 2684| m2684_2(unknown) = AliasedDefinition :
18855-
# 2684| m2684_3(unknown) = InitializeNonLocal :
18856-
# 2684| m2684_4(unknown) = Chi : total:m2684_2, partial:m2684_3
18857-
# 2684| m2684_5(unknown) = InitializeGroup[#string2686:22,#string2686:27] :
18858-
# 2684| m2684_6(unknown) = Chi : total:m2684_4, partial:m2684_5
18859-
# 2684| m2684_7(unknown) = InitializeGroup[#string2686:22,#string2686:27] :
18860-
# 2684| m2684_8(unknown) = Chi : total:m2684_6, partial:m2684_7
18861-
# 2684| r2684_9(glval<bool>) = VariableAddress[b] :
18862-
# 2684| m2684_10(bool) = InitializeParameter[b] : &:r2684_9
18863-
# 2686| r2686_1(glval<unknown>) = FunctionAddress[use] :
18864-
# 2686| r2686_2(glval<bool>) = VariableAddress[b] :
18865-
# 2686| r2686_3(bool) = Load[b] : &:r2686_2, m2684_10
18866-
# 2686| v2686_4(void) = ConditionalBranch : r2686_3
18853+
# 2684| v2684_1(void) = EnterFunction :
18854+
# 2684| m2684_2(unknown) = AliasedDefinition :
18855+
# 2684| m2684_3(unknown) = InitializeNonLocal :
18856+
# 2684| m2684_4(unknown) = Chi : total:m2684_2, partial:m2684_3
18857+
# 2684| m2684_5(unknown) = UninitializedGroup[#string2686:22,#string2686:27] :
18858+
# 2684| m2684_6(unknown) = Chi : total:m2684_4, partial:m2684_5
18859+
# 2684| m2684_7(unknown) = UninitializedGroup[#string2686:22,#string2686:27] :
18860+
# 2684| m2684_8(unknown) = Chi : total:m2684_6, partial:m2684_7
18861+
# 2684| r2684_9(glval<bool>) = VariableAddress[b] :
18862+
# 2684| m2684_10(bool) = InitializeParameter[b] : &:r2684_9
18863+
# 2686| r2686_1(glval<unknown>) = FunctionAddress[use] :
18864+
# 2686| r2686_2(glval<bool>) = VariableAddress[b] :
18865+
# 2686| r2686_3(bool) = Load[b] : &:r2686_2, m2684_10
18866+
# 2686| v2686_4(void) = ConditionalBranch : r2686_3
1886718867
#-----| False -> Block 3
1886818868
#-----| True -> Block 2
1886918869

0 commit comments

Comments
 (0)