Skip to content

Commit 4baa9ad

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent baa508d commit 4baa9ad

9 files changed

+3213
-0
lines changed

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

Lines changed: 1662 additions & 0 deletions
Large diffs are not rendered by default.

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

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -738,6 +738,71 @@ complex.c:
738738
# 58| v58_6(void) = AliasedUse : m58_3
739739
# 58| v58_7(void) = ExitFunction :
740740

741+
coroutines.cpp:
742+
# 87| co_returnable_void co_return_void()
743+
# 87| Block 0
744+
# 87| v87_1(void) = EnterFunction :
745+
# 87| m87_2(unknown) = AliasedDefinition :
746+
# 87| m87_3(unknown) = InitializeNonLocal :
747+
# 87| m87_4(unknown) = Chi : total:m87_2, partial:m87_3
748+
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
749+
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
750+
751+
# 91| co_returnable_value co_return_int(int)
752+
# 91| Block 0
753+
# 91| v91_1(void) = EnterFunction :
754+
# 91| m91_2(unknown) = AliasedDefinition :
755+
# 91| m91_3(unknown) = InitializeNonLocal :
756+
# 91| m91_4(unknown) = Chi : total:m91_2, partial:m91_3
757+
# 91| r91_5(glval<int>) = VariableAddress[i] :
758+
# 91| m91_6(int) = InitializeParameter[i] : &:r91_5
759+
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
760+
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
761+
762+
# 95| co_returnable_void co_yield_value_void(int)
763+
# 95| Block 0
764+
# 95| v95_1(void) = EnterFunction :
765+
# 95| m95_2(unknown) = AliasedDefinition :
766+
# 95| m95_3(unknown) = InitializeNonLocal :
767+
# 95| m95_4(unknown) = Chi : total:m95_2, partial:m95_3
768+
# 95| r95_5(glval<int>) = VariableAddress[i] :
769+
# 95| m95_6(int) = InitializeParameter[i] : &:r95_5
770+
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
771+
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
772+
773+
# 99| co_returnable_value co_yield_value_value(int)
774+
# 99| Block 0
775+
# 99| v99_1(void) = EnterFunction :
776+
# 99| m99_2(unknown) = AliasedDefinition :
777+
# 99| m99_3(unknown) = InitializeNonLocal :
778+
# 99| m99_4(unknown) = Chi : total:m99_2, partial:m99_3
779+
# 99| r99_5(glval<int>) = VariableAddress[i] :
780+
# 99| m99_6(int) = InitializeParameter[i] : &:r99_5
781+
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
782+
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
783+
784+
# 103| co_returnable_void co_yield_and_return_void(int)
785+
# 103| Block 0
786+
# 103| v103_1(void) = EnterFunction :
787+
# 103| m103_2(unknown) = AliasedDefinition :
788+
# 103| m103_3(unknown) = InitializeNonLocal :
789+
# 103| m103_4(unknown) = Chi : total:m103_2, partial:m103_3
790+
# 103| r103_5(glval<int>) = VariableAddress[i] :
791+
# 103| m103_6(int) = InitializeParameter[i] : &:r103_5
792+
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
793+
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
794+
795+
# 108| co_returnable_value co_yield_and_return_value(int)
796+
# 108| Block 0
797+
# 108| v108_1(void) = EnterFunction :
798+
# 108| m108_2(unknown) = AliasedDefinition :
799+
# 108| m108_3(unknown) = InitializeNonLocal :
800+
# 108| m108_4(unknown) = Chi : total:m108_2, partial:m108_3
801+
# 108| r108_5(glval<int>) = VariableAddress[i] :
802+
# 108| m108_6(int) = InitializeParameter[i] : &:r108_5
803+
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
804+
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
805+
741806
destructors_for_temps.cpp:
742807
# 9| void ClassWithConstructor::ClassWithConstructor(ClassWithConstructor&&)
743808
# 9| Block 0

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,12 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
10+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
11+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
12+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
13+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
14+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
915
ambiguousSuccessors
1016
unexplainedLoop
1117
unnecessaryPhiInstruction

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,12 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
10+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
11+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
12+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
13+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
14+
| file://:0:0:0:0 | Uninitialized: declaration | Instruction 'Uninitialized: declaration' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
915
ambiguousSuccessors
1016
unexplainedLoop
1117
unnecessaryPhiInstruction

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

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -652,6 +652,23 @@
652652
| complex.c:144:8:144:10 | Load | m133_5 |
653653
| complex.c:144:8:144:10 | StoreValue | r144_3 |
654654
| complex.c:144:8:144:10 | Unary | r144_2 |
655+
| coroutines.cpp:87:20:87:33 | ChiPartial | partial:m87_3 |
656+
| coroutines.cpp:87:20:87:33 | ChiTotal | total:m87_2 |
657+
| coroutines.cpp:91:21:91:33 | ChiPartial | partial:m91_3 |
658+
| coroutines.cpp:91:21:91:33 | ChiTotal | total:m91_2 |
659+
| coroutines.cpp:91:39:91:39 | Address | &:r91_5 |
660+
| coroutines.cpp:95:20:95:38 | ChiPartial | partial:m95_3 |
661+
| coroutines.cpp:95:20:95:38 | ChiTotal | total:m95_2 |
662+
| coroutines.cpp:95:44:95:44 | Address | &:r95_5 |
663+
| coroutines.cpp:99:21:99:40 | ChiPartial | partial:m99_3 |
664+
| coroutines.cpp:99:21:99:40 | ChiTotal | total:m99_2 |
665+
| coroutines.cpp:99:46:99:46 | Address | &:r99_5 |
666+
| coroutines.cpp:103:20:103:43 | ChiPartial | partial:m103_3 |
667+
| coroutines.cpp:103:20:103:43 | ChiTotal | total:m103_2 |
668+
| coroutines.cpp:103:49:103:49 | Address | &:r103_5 |
669+
| coroutines.cpp:108:21:108:45 | ChiPartial | partial:m108_3 |
670+
| coroutines.cpp:108:21:108:45 | ChiTotal | total:m108_2 |
671+
| coroutines.cpp:108:51:108:51 | Address | &:r108_5 |
655672
| destructors_for_temps.cpp:9:7:9:7 | Address | &:r9_5 |
656673
| destructors_for_temps.cpp:9:7:9:7 | Address | &:r9_5 |
657674
| destructors_for_temps.cpp:9:7:9:7 | Address | &:r9_7 |
@@ -1146,6 +1163,12 @@
11461163
| file://:0:0:0:0 | Address | &:r0_1 |
11471164
| file://:0:0:0:0 | Address | &:r0_1 |
11481165
| file://:0:0:0:0 | Address | &:r0_1 |
1166+
| file://:0:0:0:0 | Address | &:r0_1 |
1167+
| file://:0:0:0:0 | Address | &:r0_1 |
1168+
| file://:0:0:0:0 | Address | &:r0_1 |
1169+
| file://:0:0:0:0 | Address | &:r0_1 |
1170+
| file://:0:0:0:0 | Address | &:r0_1 |
1171+
| file://:0:0:0:0 | Address | &:r0_1 |
11491172
| file://:0:0:0:0 | Address | &:r0_2 |
11501173
| file://:0:0:0:0 | Address | &:r0_2 |
11511174
| file://:0:0:0:0 | Address | &:r0_2 |

0 commit comments

Comments
 (0)