Skip to content

Commit 56d0762

Browse files
rdmarsh2rdmarsh2
committed
C++: add test for placement new with cast
1 parent 732da9c commit 56d0762

8 files changed

+81
-0
lines changed

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

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10483,6 +10483,35 @@ ir.cpp:
1048310483
# 1315| 2: [VariableAccess] y
1048410484
# 1315| Type = [IntType] int
1048510485
# 1315| ValueCategory = prvalue(load)
10486+
# 1318| [Operator,TopLevelFunction] void* operator new(size_t, void*)
10487+
# 1318| params:
10488+
# 1318| 0: [Parameter] p#0
10489+
# 1318| Type = [CTypedefType,Size_t] size_t
10490+
# 1318| 1: [Parameter] p#1
10491+
# 1318| Type = [VoidPointerType] void *
10492+
# 1320| [TopLevelFunction] void f(int*)
10493+
# 1320| params:
10494+
# 1320| 0: [Parameter] p
10495+
# 1320| Type = [IntPointerType] int *
10496+
# 1321| body: [Block] { ... }
10497+
# 1322| 0: [ExprStmt] ExprStmt
10498+
# 1322| 0: [NewExpr] new
10499+
# 1322| Type = [IntPointerType] int *
10500+
# 1322| ValueCategory = prvalue
10501+
# 1322| 0: [FunctionCall] call to operator new
10502+
# 1322| Type = [VoidPointerType] void *
10503+
# 1322| ValueCategory = prvalue
10504+
# 1322| 0: [ErrorExpr] <error expr>
10505+
# 1322| Type = [LongType] unsigned long
10506+
# 1322| ValueCategory = prvalue
10507+
# 1322| 1: [CStyleCast] (void *)...
10508+
# 1322| Conversion = [PointerConversion] pointer conversion
10509+
# 1322| Type = [VoidPointerType] void *
10510+
# 1322| ValueCategory = prvalue
10511+
# 1322| expr: [VariableAccess] p
10512+
# 1322| Type = [IntPointerType] int *
10513+
# 1322| ValueCategory = prvalue(load)
10514+
# 1323| 1: [ReturnStmt] return ...
1048610515
perf-regression.cpp:
1048710516
# 4| [CopyAssignmentOperator] Big& Big::operator=(Big const&)
1048810517
# 4| params:

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,10 @@ missingOperandType
1010
duplicateChiOperand
1111
sideEffectWithoutPrimary
1212
instructionWithoutSuccessor
13+
| ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1314
ambiguousSuccessors
15+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:3:1322:13 | Call: new |
16+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1417
unexplainedLoop
1518
unnecessaryPhiInstruction
1619
memoryOperandDefinitionIsUnmodeled

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,10 @@ missingOperandType
1010
duplicateChiOperand
1111
sideEffectWithoutPrimary
1212
instructionWithoutSuccessor
13+
| ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1314
ambiguousSuccessors
15+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:3:1322:13 | Call: new |
16+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1417
unexplainedLoop
1518
unnecessaryPhiInstruction
1619
memoryOperandDefinitionIsUnmodeled

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

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1315,4 +1315,11 @@ int shortCircuitConditional(int x, int y) {
13151315
return predicateA() && predicateB() ? x : y;
13161316
}
13171317

1318+
void *operator new(size_t, void *) noexcept;
1319+
1320+
void f(int* p)
1321+
{
1322+
new (p) int;
1323+
}
1324+
13181325
// semmle-extractor-options: -std=c++17 --clang

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,10 @@ missingOperandType
1010
duplicateChiOperand
1111
sideEffectWithoutPrimary
1212
instructionWithoutSuccessor
13+
| ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1314
ambiguousSuccessors
15+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:3:1322:13 | Call: new |
16+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1417
unexplainedLoop
1518
unnecessaryPhiInstruction
1619
memoryOperandDefinitionIsUnmodeled

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

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7369,6 +7369,36 @@ ir.cpp:
73697369
# 1314| v1314_10(void) = AliasedUse : ~m?
73707370
# 1314| v1314_11(void) = ExitFunction :
73717371

7372+
# 1320| void f(int*)
7373+
# 1320| Block 0
7374+
# 1320| v1320_1(void) = EnterFunction :
7375+
# 1320| mu1320_2(unknown) = AliasedDefinition :
7376+
# 1320| mu1320_3(unknown) = InitializeNonLocal :
7377+
# 1320| r1320_4(glval<int *>) = VariableAddress[p] :
7378+
# 1320| mu1320_5(int *) = InitializeParameter[p] : &:r1320_4
7379+
# 1320| r1320_6(int *) = Load : &:r1320_4, ~m?
7380+
# 1320| mu1320_7(unknown) = InitializeIndirection[p] : &:r1320_6
7381+
# 1322| r1322_1(glval<unknown>) = FunctionAddress[operator new] :
7382+
# 1322| r1322_2(unsigned long) = Constant[4] :
7383+
# 1322| r1322_3(glval<int *>) = VariableAddress[p] :
7384+
# 1322| r1322_4(int *) = Load : &:r1322_3, ~m?
7385+
#-----| Goto -> Block 1
7386+
#-----| Goto -> Block 2
7387+
7388+
# 1322| Block 1
7389+
# 1322| r1322_5(void *) = Convert : r1322_4
7390+
7391+
# 1322| Block 2
7392+
# 1322| r1322_6(void *) = Call : func:r1322_1, 0:r1322_2, 1:r1322_4
7393+
# 1322| mu1322_7(unknown) = ^CallSideEffect : ~m?
7394+
# 1322| mu1322_8(unknown) = ^InitializeDynamicAllocation : &:r1322_6
7395+
# 1322| r1322_9(int *) = Convert : r1322_6
7396+
# 1323| v1323_1(void) = NoOp :
7397+
# 1320| v1320_8(void) = ReturnIndirection[p] : &:r1320_6, ~m?
7398+
# 1320| v1320_9(void) = ReturnVoid :
7399+
# 1320| v1320_10(void) = AliasedUse : ~m?
7400+
# 1320| v1320_11(void) = ExitFunction :
7401+
73727402
perf-regression.cpp:
73737403
# 6| void Big::Big()
73747404
# 6| Block 0

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,10 @@ missingOperandType
1010
duplicateChiOperand
1111
sideEffectWithoutPrimary
1212
instructionWithoutSuccessor
13+
| ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1314
ambiguousSuccessors
15+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:3:1322:13 | Call: new |
16+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1417
unexplainedLoop
1518
unnecessaryPhiInstruction
1619
memoryOperandDefinitionIsUnmodeled

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,10 @@ missingOperandType
1010
duplicateChiOperand
1111
sideEffectWithoutPrimary
1212
instructionWithoutSuccessor
13+
| ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1314
ambiguousSuccessors
15+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:3:1322:13 | Call: new |
16+
| ir.cpp:1322:8:1322:8 | Load: p | Goto | 2 | ir.cpp:1322:8:1322:8 | Convert: (void *)... |
1417
unexplainedLoop
1518
unnecessaryPhiInstruction
1619
memoryOperandDefinitionIsUnmodeled

0 commit comments

Comments
 (0)