hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-11 12:27:33 +01:00
parent 3a18da730e
commit aa94ee5b96
8 changed files with 693 additions and 621 deletions
Download Patch File Download Diff File Expand all files Collapse all files

62
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -1923,6 +1923,8 @@ coroutines.cpp:
# 87| <params>:
# 87| getEntryPoint(): [BlockStmt] { ... }
#-----| getStmt(0): [DeclStmt] declaration
# 87| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (unnamed local variable)
# 87| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
#-----| getStmt(1): [TryStmt] try { ... }
#-----| getStmt(): [BlockStmt] { ... }
#-----| getStmt(0): [ExprStmt] ExprStmt
@@ -2115,7 +2117,15 @@ coroutines.cpp:
# 91| Type = [IntType] int
# 91| getEntryPoint(): [BlockStmt] { ... }
#-----| getStmt(0): [DeclStmt] declaration
#-----| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of i
#-----| Type = [IntType] int
#-----| getVariable().getInitializer(): [Initializer] initializer for i
#-----| getExpr(): [VariableAccess] i
#-----| Type = [IntType] int
#-----| ValueCategory = prvalue(load)
#-----| getStmt(1): [DeclStmt] declaration
# 91| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (unnamed local variable)
# 91| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
#-----| getStmt(2): [TryStmt] try { ... }
#-----| getStmt(): [BlockStmt] { ... }
#-----| getStmt(0): [ExprStmt] ExprStmt
@@ -2209,7 +2219,7 @@ coroutines.cpp:
#-----| getQualifier(): [VariableAccess] (unnamed local variable)
#-----| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
#-----| ValueCategory = lvalue
# 92| getArgument(0): [VariableAccess] variable access
# 92| getArgument(0): [VariableAccess] i
# 92| Type = [IntType] int
# 92| ValueCategory = prvalue(load)
#-----| getStmt(2): [GotoStmt] goto ...
@@ -2311,7 +2321,15 @@ coroutines.cpp:
# 95| Type = [IntType] int
# 95| getEntryPoint(): [BlockStmt] { ... }
#-----| getStmt(0): [DeclStmt] declaration
#-----| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of i
#-----| Type = [IntType] int
#-----| getVariable().getInitializer(): [Initializer] initializer for i
#-----| getExpr(): [VariableAccess] i
#-----| Type = [IntType] int
#-----| ValueCategory = prvalue(load)
#-----| getStmt(1): [DeclStmt] declaration
# 95| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (unnamed local variable)
# 95| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
#-----| getStmt(2): [TryStmt] try { ... }
#-----| getStmt(): [BlockStmt] { ... }
#-----| getStmt(0): [ExprStmt] ExprStmt
@@ -2408,7 +2426,7 @@ coroutines.cpp:
# 96| getQualifier(): [VariableAccess] (unnamed local variable)
# 96| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
# 96| ValueCategory = lvalue
# 96| getArgument(0): [VariableAccess] variable access
# 96| getArgument(0): [VariableAccess] i
# 96| Type = [IntType] int
# 96| ValueCategory = prvalue(load)
# 96| getChild(1): [FunctionCall] call to await_ready
@@ -2426,7 +2444,7 @@ coroutines.cpp:
# 96| getQualifier(): [VariableAccess] (unnamed local variable)
# 96| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
# 96| ValueCategory = lvalue
# 96| getArgument(0): [VariableAccess] variable access
# 96| getArgument(0): [VariableAccess] i
# 96| Type = [IntType] int
# 96| ValueCategory = prvalue(load)
# 96| getOperand().getFullyConverted(): [TemporaryObjectExpr] temporary object
@@ -2581,7 +2599,15 @@ coroutines.cpp:
# 99| Type = [IntType] int
# 99| getEntryPoint(): [BlockStmt] { ... }
#-----| getStmt(0): [DeclStmt] declaration
#-----| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of i
#-----| Type = [IntType] int
#-----| getVariable().getInitializer(): [Initializer] initializer for i
#-----| getExpr(): [VariableAccess] i
#-----| Type = [IntType] int
#-----| ValueCategory = prvalue(load)
#-----| getStmt(1): [DeclStmt] declaration
# 99| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (unnamed local variable)
# 99| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
#-----| getStmt(2): [TryStmt] try { ... }
#-----| getStmt(): [BlockStmt] { ... }
#-----| getStmt(0): [ExprStmt] ExprStmt
@@ -2678,7 +2704,7 @@ coroutines.cpp:
# 100| getQualifier(): [VariableAccess] (unnamed local variable)
# 100| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
# 100| ValueCategory = lvalue
# 100| getArgument(0): [VariableAccess] variable access
# 100| getArgument(0): [VariableAccess] i
# 100| Type = [IntType] int
# 100| ValueCategory = prvalue(load)
# 100| getChild(1): [FunctionCall] call to await_ready
@@ -2696,7 +2722,7 @@ coroutines.cpp:
# 100| getQualifier(): [VariableAccess] (unnamed local variable)
# 100| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
# 100| ValueCategory = lvalue
# 100| getArgument(0): [VariableAccess] variable access
# 100| getArgument(0): [VariableAccess] i
# 100| Type = [IntType] int
# 100| ValueCategory = prvalue(load)
# 100| getOperand().getFullyConverted(): [TemporaryObjectExpr] temporary object
@@ -2843,7 +2869,15 @@ coroutines.cpp:
# 103| Type = [IntType] int
# 103| getEntryPoint(): [BlockStmt] { ... }
#-----| getStmt(0): [DeclStmt] declaration
#-----| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of i
#-----| Type = [IntType] int
#-----| getVariable().getInitializer(): [Initializer] initializer for i
#-----| getExpr(): [VariableAccess] i
#-----| Type = [IntType] int
#-----| ValueCategory = prvalue(load)
#-----| getStmt(1): [DeclStmt] declaration
# 103| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (unnamed local variable)
# 103| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
#-----| getStmt(2): [TryStmt] try { ... }
#-----| getStmt(): [BlockStmt] { ... }
#-----| getStmt(0): [ExprStmt] ExprStmt
@@ -2940,7 +2974,7 @@ coroutines.cpp:
# 104| getQualifier(): [VariableAccess] (unnamed local variable)
# 104| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
# 104| ValueCategory = lvalue
# 104| getArgument(0): [VariableAccess] variable access
# 104| getArgument(0): [VariableAccess] i
# 104| Type = [IntType] int
# 104| ValueCategory = prvalue(load)
# 104| getChild(1): [FunctionCall] call to await_ready
@@ -2958,7 +2992,7 @@ coroutines.cpp:
# 104| getQualifier(): [VariableAccess] (unnamed local variable)
# 104| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
# 104| ValueCategory = lvalue
# 104| getArgument(0): [VariableAccess] variable access
# 104| getArgument(0): [VariableAccess] i
# 104| Type = [IntType] int
# 104| ValueCategory = prvalue(load)
# 104| getOperand().getFullyConverted(): [TemporaryObjectExpr] temporary object
@@ -3113,7 +3147,15 @@ coroutines.cpp:
# 108| Type = [IntType] int
# 108| getEntryPoint(): [BlockStmt] { ... }
#-----| getStmt(0): [DeclStmt] declaration
#-----| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of i
#-----| Type = [IntType] int
#-----| getVariable().getInitializer(): [Initializer] initializer for i
#-----| getExpr(): [VariableAccess] i
#-----| Type = [IntType] int
#-----| ValueCategory = prvalue(load)
#-----| getStmt(1): [DeclStmt] declaration
# 108| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (unnamed local variable)
# 108| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
#-----| getStmt(2): [TryStmt] try { ... }
#-----| getStmt(): [BlockStmt] { ... }
#-----| getStmt(0): [ExprStmt] ExprStmt
@@ -3210,7 +3252,7 @@ coroutines.cpp:
# 109| getQualifier(): [VariableAccess] (unnamed local variable)
# 109| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
# 109| ValueCategory = lvalue
# 109| getArgument(0): [VariableAccess] variable access
# 109| getArgument(0): [VariableAccess] i
# 109| Type = [IntType] int
# 109| ValueCategory = prvalue(load)
# 109| getChild(1): [FunctionCall] call to await_ready
@@ -3228,7 +3270,7 @@ coroutines.cpp:
# 109| getQualifier(): [VariableAccess] (unnamed local variable)
# 109| Type = [NestedTypedefType,UsingAliasTypedefType] promise_type
# 109| ValueCategory = lvalue
# 109| getArgument(0): [VariableAccess] variable access
# 109| getArgument(0): [VariableAccess] i
# 109| Type = [IntType] int
# 109| ValueCategory = prvalue(load)
# 109| getOperand().getFullyConverted(): [TemporaryObjectExpr] temporary object
@@ -3287,7 +3329,7 @@ coroutines.cpp:
# 110| getArgument(0): [AddExpr] ... + ...
# 110| Type = [IntType] int
# 110| ValueCategory = prvalue
# 110| getLeftOperand(): [VariableAccess] variable access
# 110| getLeftOperand(): [VariableAccess] i
# 110| Type = [IntType] int
# 110| ValueCategory = prvalue(load)
# 110| getRightOperand(): [Literal] 1

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

@@ -741,67 +741,87 @@ complex.c:
coroutines.cpp:
# 87| co_returnable_void co_return_void()
# 87| Block 0
# 87| v87_1(void) = EnterFunction :
# 87| m87_2(unknown) = AliasedDefinition :
# 87| m87_3(unknown) = InitializeNonLocal :
# 87| m87_4(unknown) = Chi : total:m87_2, partial:m87_3
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
# 87| v87_1(void) = EnterFunction :
# 87| m87_2(unknown) = AliasedDefinition :
# 87| m87_3(unknown) = InitializeNonLocal :
# 87| m87_4(unknown) = Chi : total:m87_2, partial:m87_3
# 87| r87_5(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
# 87| m87_6(promise_type) = Uninitialized[(unnamed local variable)] : &:r87_5
# 91| co_returnable_value co_return_int(int)
# 91| Block 0
# 91| v91_1(void) = EnterFunction :
# 91| m91_2(unknown) = AliasedDefinition :
# 91| m91_3(unknown) = InitializeNonLocal :
# 91| m91_4(unknown) = Chi : total:m91_2, partial:m91_3
# 91| r91_5(glval<int>) = VariableAddress[i] :
# 91| m91_6(int) = InitializeParameter[i] : &:r91_5
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
# 91| v91_1(void) = EnterFunction :
# 91| m91_2(unknown) = AliasedDefinition :
# 91| m91_3(unknown) = InitializeNonLocal :
# 91| m91_4(unknown) = Chi : total:m91_2, partial:m91_3
# 91| r91_5(glval<int>) = VariableAddress[i] :
# 91| m91_6(int) = InitializeParameter[i] : &:r91_5
#-----| r0_1(glval<int>) = VariableAddress[i] :
#-----| r0_2(glval<int>) = VariableAddress[i] :
#-----| r0_3(int) = Load[i] : &:r0_2, m91_6
#-----| m0_4(int) = Store[i] : &:r0_1, r0_3
# 91| r91_7(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
# 91| m91_8(promise_type) = Uninitialized[(unnamed local variable)] : &:r91_7
# 95| co_returnable_void co_yield_value_void(int)
# 95| Block 0
# 95| v95_1(void) = EnterFunction :
# 95| m95_2(unknown) = AliasedDefinition :
# 95| m95_3(unknown) = InitializeNonLocal :
# 95| m95_4(unknown) = Chi : total:m95_2, partial:m95_3
# 95| r95_5(glval<int>) = VariableAddress[i] :
# 95| m95_6(int) = InitializeParameter[i] : &:r95_5
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
# 95| v95_1(void) = EnterFunction :
# 95| m95_2(unknown) = AliasedDefinition :
# 95| m95_3(unknown) = InitializeNonLocal :
# 95| m95_4(unknown) = Chi : total:m95_2, partial:m95_3
# 95| r95_5(glval<int>) = VariableAddress[i] :
# 95| m95_6(int) = InitializeParameter[i] : &:r95_5
#-----| r0_1(glval<int>) = VariableAddress[i] :
#-----| r0_2(glval<int>) = VariableAddress[i] :
#-----| r0_3(int) = Load[i] : &:r0_2, m95_6
#-----| m0_4(int) = Store[i] : &:r0_1, r0_3
# 95| r95_7(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
# 95| m95_8(promise_type) = Uninitialized[(unnamed local variable)] : &:r95_7
# 99| co_returnable_value co_yield_value_value(int)
# 99| Block 0
# 99| v99_1(void) = EnterFunction :
# 99| m99_2(unknown) = AliasedDefinition :
# 99| m99_3(unknown) = InitializeNonLocal :
# 99| m99_4(unknown) = Chi : total:m99_2, partial:m99_3
# 99| r99_5(glval<int>) = VariableAddress[i] :
# 99| m99_6(int) = InitializeParameter[i] : &:r99_5
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
# 99| v99_1(void) = EnterFunction :
# 99| m99_2(unknown) = AliasedDefinition :
# 99| m99_3(unknown) = InitializeNonLocal :
# 99| m99_4(unknown) = Chi : total:m99_2, partial:m99_3
# 99| r99_5(glval<int>) = VariableAddress[i] :
# 99| m99_6(int) = InitializeParameter[i] : &:r99_5
#-----| r0_1(glval<int>) = VariableAddress[i] :
#-----| r0_2(glval<int>) = VariableAddress[i] :
#-----| r0_3(int) = Load[i] : &:r0_2, m99_6
#-----| m0_4(int) = Store[i] : &:r0_1, r0_3
# 99| r99_7(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
# 99| m99_8(promise_type) = Uninitialized[(unnamed local variable)] : &:r99_7
# 103| co_returnable_void co_yield_and_return_void(int)
# 103| Block 0
# 103| v103_1(void) = EnterFunction :
# 103| m103_2(unknown) = AliasedDefinition :
# 103| m103_3(unknown) = InitializeNonLocal :
# 103| m103_4(unknown) = Chi : total:m103_2, partial:m103_3
# 103| r103_5(glval<int>) = VariableAddress[i] :
# 103| m103_6(int) = InitializeParameter[i] : &:r103_5
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
# 103| v103_1(void) = EnterFunction :
# 103| m103_2(unknown) = AliasedDefinition :
# 103| m103_3(unknown) = InitializeNonLocal :
# 103| m103_4(unknown) = Chi : total:m103_2, partial:m103_3
# 103| r103_5(glval<int>) = VariableAddress[i] :
# 103| m103_6(int) = InitializeParameter[i] : &:r103_5
#-----| r0_1(glval<int>) = VariableAddress[i] :
#-----| r0_2(glval<int>) = VariableAddress[i] :
#-----| r0_3(int) = Load[i] : &:r0_2, m103_6
#-----| m0_4(int) = Store[i] : &:r0_1, r0_3
# 103| r103_7(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
# 103| m103_8(promise_type) = Uninitialized[(unnamed local variable)] : &:r103_7
# 108| co_returnable_value co_yield_and_return_value(int)
# 108| Block 0
# 108| v108_1(void) = EnterFunction :
# 108| m108_2(unknown) = AliasedDefinition :
# 108| m108_3(unknown) = InitializeNonLocal :
# 108| m108_4(unknown) = Chi : total:m108_2, partial:m108_3
# 108| r108_5(glval<int>) = VariableAddress[i] :
# 108| m108_6(int) = InitializeParameter[i] : &:r108_5
#-----| r0_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
#-----| m0_2(promise_type) = Uninitialized[(unnamed local variable)] : &:r0_1
# 108| v108_1(void) = EnterFunction :
# 108| m108_2(unknown) = AliasedDefinition :
# 108| m108_3(unknown) = InitializeNonLocal :
# 108| m108_4(unknown) = Chi : total:m108_2, partial:m108_3
# 108| r108_5(glval<int>) = VariableAddress[i] :
# 108| m108_6(int) = InitializeParameter[i] : &:r108_5
#-----| r0_1(glval<int>) = VariableAddress[i] :
#-----| r0_2(glval<int>) = VariableAddress[i] :
#-----| r0_3(int) = Load[i] : &:r0_2, m108_6
#-----| m0_4(int) = Store[i] : &:r0_1, r0_3
# 108| r108_7(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
# 108| m108_8(promise_type) = Uninitialized[(unnamed local variable)] : &:r108_7
destructors_for_temps.cpp:
# 9| void ClassWithConstructor::ClassWithConstructor(ClassWithConstructor&&)

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

@@ -6,12 +6,12 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| 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() |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
| coroutines.cpp:87:20:87:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:91:21:91:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:95:20:95:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:99:21:99:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:103:20:103:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:108:21:108:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

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

@@ -6,12 +6,12 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| 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() |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
| coroutines.cpp:87:20:87:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:91:21:91:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:95:20:95:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:99:21:99:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:103:20:103:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:108:21:108:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

22
cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
View File

@@ -40,32 +40,38 @@ sideEffectWithoutPrimary
instructionWithoutSuccessor
| coroutines.cpp:87:20:87:20 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:87:20 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:87:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:88:11 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:87:20:88:11 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:91:21:91:21 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:91:21:91:21 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:91:21:91:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:91:21:92:11 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:91:21:92:11 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:95:20:95:20 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:95:20:95:20 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:95:20:95:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:95:20:96:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:95:20:96:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:96:12:96:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:96:13:96:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:99:21:99:21 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:99:21:99:21 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:99:21:99:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:99:21:100:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:99:21:100:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:100:12:100:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:100:13:100:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:103:20:103:20 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:103:20:103:20 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:103:20:103:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:103:20:104:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:103:20:104:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:104:12:104:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:104:13:104:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:108:21:108:21 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:108:21:108:21 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
| coroutines.cpp:108:21:108:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:108:21:109:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:108:21:109:13 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' 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) |
| coroutines.cpp:109:12:109:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' 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) |
@@ -119,12 +125,6 @@ instructionWithoutSuccessor
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' 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) |
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' 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) |
| file://:0:0:0:0 | Store: ... = ... | Instruction 'Store: ... = ...' 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) |
| 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() |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction
@@ -160,28 +160,18 @@ nonUniqueIRVariable
| coroutines.cpp:87:20:87:20 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:91:21:91:21 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:91:21:91:21 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:92:13:92:13 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |
| coroutines.cpp:95:20:95:20 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:95:20:95:20 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:96:3:96:3 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:96:12:96:12 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:96:12:96:12 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
| coroutines.cpp:99:21:99:21 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:99:21:99:21 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:100:3:100:3 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:100:12:100:12 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:100:12:100:12 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
| coroutines.cpp:103:20:103:20 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, 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) |
| coroutines.cpp:103:20:103:20 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, 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) |
| coroutines.cpp:104:3:104:3 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, 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) |
| coroutines.cpp:104:12:104:12 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, 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) |
| coroutines.cpp:104:12:104:12 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, 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) |
| coroutines.cpp:108:21:108:21 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, 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) |
| coroutines.cpp:108:21:108:21 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, 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) |
| coroutines.cpp:109:3:109:3 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, 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) |
| coroutines.cpp:109:12:109:12 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, 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) |
| coroutines.cpp:109:12:109:12 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, 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) |
| coroutines.cpp:110:14:110:14 | VariableAddress: variable access | Variable address instruction 'VariableAddress: variable access' has no associated variable, 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) |
| file://:0:0:0:0 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| file://:0:0:0:0 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| file://:0:0:0:0 | VariableAddress: (unnamed local variable) | Variable address instruction 'VariableAddress: (unnamed local variable)' has no associated variable, in function '$@'. | coroutines.cpp:91:21:91:33 | co_returnable_value co_return_int(int) | co_returnable_value co_return_int(int) |

1070
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

File diff suppressed because it is too large Load Diff

12
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
View File

@@ -6,12 +6,12 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| 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() |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
| coroutines.cpp:87:20:87:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:91:21:91:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:95:20:95:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:99:21:99:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:103:20:103:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:108:21:108:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

12
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
View File

@@ -6,12 +6,12 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| 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() |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
| coroutines.cpp:87:20:87:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
| coroutines.cpp:91:21:91:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:95:20:95:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:99:21:99:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:103:20:103:20 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
| coroutines.cpp:108:21:108:21 | Uninitialized: declaration of (unnamed local variable) | Instruction 'Uninitialized: declaration of (unnamed local variable)' 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) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction