Skip to content

Commit d0b0440

Browse files
MathiasVPMathiasVP
committed
C++: Add a testcase with failing IR generation.
1 parent c5dc883 commit d0b0440

10 files changed

+103
-16
lines changed

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

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16132,6 +16132,31 @@ ir.cpp:
1613216132
# 2112| getExpr(): [VariableAccess] end
1613316133
# 2112| Type = [CharPointerType] char *
1613416134
# 2112| ValueCategory = prvalue(load)
16135+
# 2115| [CopyAssignmentOperator] HasOperatorBool& HasOperatorBool::operator=(HasOperatorBool const&)
16136+
# 2115| <params>:
16137+
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
16138+
#-----| Type = [LValueReferenceType] const HasOperatorBool &
16139+
# 2115| [MoveAssignmentOperator] HasOperatorBool& HasOperatorBool::operator=(HasOperatorBool&&)
16140+
# 2115| <params>:
16141+
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
16142+
#-----| Type = [RValueReferenceType] HasOperatorBool &&
16143+
# 2116| [ConversionOperator] bool HasOperatorBool::operator bool()
16144+
# 2116| <params>:
16145+
# 2119| [TopLevelFunction] void call_as_child_of_ConditionDeclExpr()
16146+
# 2119| <params>:
16147+
# 2119| getEntryPoint(): [BlockStmt] { ... }
16148+
# 2120| getStmt(0): [IfStmt] if (...) ...
16149+
# 2120| getCondition(): [ConditionDeclExpr] (condition decl)
16150+
# 2120| Type = [BoolType] bool
16151+
# 2120| ValueCategory = prvalue
16152+
# 2120| getChild(0): [FunctionCall] call to operator bool
16153+
# 2120| Type = [BoolType] bool
16154+
# 2120| ValueCategory = prvalue
16155+
# 2120| getQualifier(): [VariableAccess] b
16156+
# 2120| Type = [Struct] HasOperatorBool
16157+
# 2120| ValueCategory = prvalue(load)
16158+
# 2120| getThen(): [BlockStmt] { ... }
16159+
# 2121| getStmt(1): [ReturnStmt] return ...
1613516160
perf-regression.cpp:
1613616161
# 4| [CopyAssignmentOperator] Big& Big::operator=(Big const&)
1613716162
# 4| <params>:

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

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12441,6 +12441,16 @@ ir.cpp:
1244112441
# 2109| v2109_12(void) = AliasedUse : m2109_3
1244212442
# 2109| v2109_13(void) = ExitFunction :
1244312443

12444+
# 2119| void call_as_child_of_ConditionDeclExpr()
12445+
# 2119| Block 0
12446+
# 2119| v2119_1(void) = EnterFunction :
12447+
# 2119| m2119_2(unknown) = AliasedDefinition :
12448+
# 2119| m2119_3(unknown) = InitializeNonLocal :
12449+
# 2119| m2119_4(unknown) = Chi : total:m2119_2, partial:m2119_3
12450+
# 2120| r2120_1(glval<HasOperatorBool>) = VariableAddress[b] :
12451+
# 2120| r2120_2(HasOperatorBool) = Constant[0] :
12452+
# 2120| m2120_3(HasOperatorBool) = Store[b] : &:r2120_1, r2120_2
12453+
1244412454
perf-regression.cpp:
1244512455
# 6| void Big::Big()
1244612456
# 6| Block 0

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

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,18 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9+
| ir.cpp:2120:25:2120:42 | Store: 0 | Instruction 'Store: 0' has no successors in function '$@'. | ir.cpp:2119:6:2119:39 | void call_as_child_of_ConditionDeclExpr() | void call_as_child_of_ConditionDeclExpr() |
910
ambiguousSuccessors
1011
unexplainedLoop
1112
unnecessaryPhiInstruction
1213
memoryOperandDefinitionIsUnmodeled
1314
operandAcrossFunctions
1415
instructionWithoutUniqueBlock
16+
missingCanonicalLanguageType
17+
multipleCanonicalLanguageTypes
1518
containsLoopOfForwardEdges
19+
missingIRType
20+
multipleIRTypes
1621
lostReachability
1722
backEdgeCountMismatch
1823
useNotDominatedByDefinition
@@ -24,8 +29,4 @@ nonUniqueEnclosingIRFunction
2429
fieldAddressOnNonPointer
2530
thisArgumentIsNonPointer
2631
nonUniqueIRVariable
27-
missingCanonicalLanguageType
28-
multipleCanonicalLanguageTypes
29-
missingIRType
30-
multipleIRTypes
3132
missingCppType

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

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,18 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9+
| ir.cpp:2120:25:2120:42 | Store: 0 | Instruction 'Store: 0' has no successors in function '$@'. | ir.cpp:2119:6:2119:39 | void call_as_child_of_ConditionDeclExpr() | void call_as_child_of_ConditionDeclExpr() |
910
ambiguousSuccessors
1011
unexplainedLoop
1112
unnecessaryPhiInstruction
1213
memoryOperandDefinitionIsUnmodeled
1314
operandAcrossFunctions
1415
instructionWithoutUniqueBlock
16+
missingCanonicalLanguageType
17+
multipleCanonicalLanguageTypes
1518
containsLoopOfForwardEdges
19+
missingIRType
20+
multipleIRTypes
1621
lostReachability
1722
backEdgeCountMismatch
1823
useNotDominatedByDefinition
@@ -24,8 +29,4 @@ nonUniqueEnclosingIRFunction
2429
fieldAddressOnNonPointer
2530
thisArgumentIsNonPointer
2631
nonUniqueIRVariable
27-
missingCanonicalLanguageType
28-
multipleCanonicalLanguageTypes
29-
missingIRType
30-
multipleIRTypes
3132
missingCppType

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

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2112,4 +2112,12 @@ char* test_strtod(char *s) {
21122112
return end;
21132113
}
21142114

2115+
struct HasOperatorBool {
2116+
operator bool();
2117+
};
2118+
2119+
void call_as_child_of_ConditionDeclExpr() {
2120+
if(HasOperatorBool b = HasOperatorBool()) {}
2121+
}
2122+
21152123
// semmle-extractor-options: -std=c++17 --clang

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10070,6 +10070,10 @@
1007010070
| ir.cpp:2112:10:2112:12 | Address | &:r2112_2 |
1007110071
| ir.cpp:2112:10:2112:12 | Load | m2111_11 |
1007210072
| ir.cpp:2112:10:2112:12 | StoreValue | r2112_3 |
10073+
| ir.cpp:2119:6:2119:39 | ChiPartial | partial:m2119_3 |
10074+
| ir.cpp:2119:6:2119:39 | ChiTotal | total:m2119_2 |
10075+
| ir.cpp:2120:6:2120:42 | Address | &:r2120_1 |
10076+
| ir.cpp:2120:25:2120:42 | StoreValue | r2120_2 |
1007310077
| perf-regression.cpp:6:3:6:5 | Address | &:r6_5 |
1007410078
| perf-regression.cpp:6:3:6:5 | Address | &:r6_5 |
1007510079
| perf-regression.cpp:6:3:6:5 | Address | &:r6_7 |

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,14 @@
11
missingOperand
2+
| ir.cpp:2120:6:2120:42 | CopyValue: (condition decl) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | ir.cpp:2119:6:2119:39 | void call_as_child_of_ConditionDeclExpr() | void call_as_child_of_ConditionDeclExpr() |
23
unexpectedOperand
34
duplicateOperand
45
missingPhiOperand
56
missingOperandType
67
duplicateChiOperand
78
sideEffectWithoutPrimary
89
instructionWithoutSuccessor
10+
| ir.cpp:2120:22:2120:22 | IndirectMayWriteSideEffect: b | Instruction 'IndirectMayWriteSideEffect: b' has no successors in function '$@'. | ir.cpp:2119:6:2119:39 | void call_as_child_of_ConditionDeclExpr() | void call_as_child_of_ConditionDeclExpr() |
11+
| ir.cpp:2120:25:2120:42 | Store: 0 | Instruction 'Store: 0' has no successors in function '$@'. | ir.cpp:2119:6:2119:39 | void call_as_child_of_ConditionDeclExpr() | void call_as_child_of_ConditionDeclExpr() |
912
ambiguousSuccessors
1013
unexplainedLoop
1114
unnecessaryPhiInstruction

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

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11647,6 +11647,39 @@ ir.cpp:
1164711647
# 2109| v2109_11(void) = AliasedUse : ~m?
1164811648
# 2109| v2109_12(void) = ExitFunction :
1164911649

11650+
# 2119| void call_as_child_of_ConditionDeclExpr()
11651+
# 2119| Block 0
11652+
# 2119| v2119_1(void) = EnterFunction :
11653+
# 2119| mu2119_2(unknown) = AliasedDefinition :
11654+
# 2119| mu2119_3(unknown) = InitializeNonLocal :
11655+
# 2120| r2120_1(glval<HasOperatorBool>) = VariableAddress[b] :
11656+
# 2120| r2120_2(HasOperatorBool) = Constant[0] :
11657+
# 2120| mu2120_3(HasOperatorBool) = Store[b] : &:r2120_1, r2120_2
11658+
11659+
# 2120| (no string representation)
11660+
# 2120| CopyValue: (condition decl)
11661+
# 2120| ConditionalBranch: (condition decl)
11662+
#-----| False -> Block 3
11663+
#-----| True -> Block 2
11664+
11665+
# 2120| Block 1
11666+
# 2120| r2120_4(glval<HasOperatorBool>) = VariableAddress[b] :
11667+
# 2120| r2120_5(glval<unknown>) = FunctionAddress[operator bool] :
11668+
# 2120| r2120_6(bool) = Call[operator bool] : func:r2120_5, this:r2120_4
11669+
# 2120| mu2120_7(unknown) = ^CallSideEffect : ~m?
11670+
# 2120| v2120_8(void) = ^IndirectReadSideEffect[-1] : &:r2120_4, ~m?
11671+
# 2120| mu2120_9(HasOperatorBool) = ^IndirectMayWriteSideEffect[-1] : &:r2120_4
11672+
11673+
# 2120| Block 2
11674+
# 2120| v2120_10(void) = NoOp :
11675+
#-----| Goto -> Block 3
11676+
11677+
# 2121| Block 3
11678+
# 2121| v2121_1(void) = NoOp :
11679+
# 2119| v2119_4(void) = ReturnVoid :
11680+
# 2119| v2119_5(void) = AliasedUse : ~m?
11681+
# 2119| v2119_6(void) = ExitFunction :
11682+
1165011683
perf-regression.cpp:
1165111684
# 6| void Big::Big()
1165211685
# 6| Block 0

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

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,18 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9+
| ir.cpp:2120:25:2120:42 | Store: 0 | Instruction 'Store: 0' has no successors in function '$@'. | ir.cpp:2119:6:2119:39 | void call_as_child_of_ConditionDeclExpr() | void call_as_child_of_ConditionDeclExpr() |
910
ambiguousSuccessors
1011
unexplainedLoop
1112
unnecessaryPhiInstruction
1213
memoryOperandDefinitionIsUnmodeled
1314
operandAcrossFunctions
1415
instructionWithoutUniqueBlock
16+
missingCanonicalLanguageType
17+
multipleCanonicalLanguageTypes
1518
containsLoopOfForwardEdges
19+
missingIRType
20+
multipleIRTypes
1621
lostReachability
1722
backEdgeCountMismatch
1823
useNotDominatedByDefinition
@@ -24,8 +29,4 @@ nonUniqueEnclosingIRFunction
2429
fieldAddressOnNonPointer
2530
thisArgumentIsNonPointer
2631
nonUniqueIRVariable
27-
missingCanonicalLanguageType
28-
multipleCanonicalLanguageTypes
29-
missingIRType
30-
multipleIRTypes
3132
missingCppType

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

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,18 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9+
| ir.cpp:2120:25:2120:42 | Store: 0 | Instruction 'Store: 0' has no successors in function '$@'. | ir.cpp:2119:6:2119:39 | void call_as_child_of_ConditionDeclExpr() | void call_as_child_of_ConditionDeclExpr() |
910
ambiguousSuccessors
1011
unexplainedLoop
1112
unnecessaryPhiInstruction
1213
memoryOperandDefinitionIsUnmodeled
1314
operandAcrossFunctions
1415
instructionWithoutUniqueBlock
16+
missingCanonicalLanguageType
17+
multipleCanonicalLanguageTypes
1518
containsLoopOfForwardEdges
19+
missingIRType
20+
multipleIRTypes
1621
lostReachability
1722
backEdgeCountMismatch
1823
useNotDominatedByDefinition
@@ -24,8 +29,4 @@ nonUniqueEnclosingIRFunction
2429
fieldAddressOnNonPointer
2530
thisArgumentIsNonPointer
2631
nonUniqueIRVariable
27-
missingCanonicalLanguageType
28-
multipleCanonicalLanguageTypes
29-
missingIRType
30-
multipleIRTypes
3132
missingCppType

0 commit comments

Comments
 (0)