Skip to content

Commit 554d639

Browse files
committed
C++: clean up after rebase
1 parent 49088e7 commit 554d639

File tree

3 files changed

+2
-6
lines changed

3 files changed

+2
-6
lines changed

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -226,7 +226,7 @@ private predicate isArgumentForParameter(CallInstruction ci, Operand operand, In
226226
ci = operand.getUse() and
227227
f = ci.getStaticCallTarget() and
228228
(
229-
init.(InitializeParameterInstruction).getVariable().getAST() = f
229+
init.(InitializeParameterInstruction).getParameter() = f
230230
.getParameter(operand.(PositionalArgumentOperand).getIndex())
231231
or
232232
init instanceof InitializeThisInstruction and

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -94,10 +94,6 @@ abstract class TranslatedCall extends TranslatedExpr {
9494
then result = getSideEffects().getFirstInstruction()
9595
else result = getParent().getChildSuccessor(this)
9696
)
97-
or
98-
hasSideEffect() and
99-
tag = CallSideEffectTag() and
100-
result = getParent().getChildSuccessor(this)
10197
)
10298
}
10399

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -226,7 +226,7 @@ private predicate isArgumentForParameter(CallInstruction ci, Operand operand, In
226226
ci = operand.getUse() and
227227
f = ci.getStaticCallTarget() and
228228
(
229-
init.(InitializeParameterInstruction).getVariable().getAST() = f
229+
init.(InitializeParameterInstruction).getParameter() = f
230230
.getParameter(operand.(PositionalArgumentOperand).getIndex())
231231
or
232232
init instanceof InitializeThisInstruction and

0 commit comments

Comments
 (0)