We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cde80cc commit ee2541cCopy full SHA for ee2541c
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/Ssa.qll
@@ -201,8 +201,7 @@ predicate addressFlowTC(Instruction iFrom, Instruction iTo) {
201
202
/**
203
* Gets the destination address of `instr` if it is a `StoreInstruction` or
204
- * a `WriteSideEffectInstruction`. The destination address of a `WriteSideEffectInstruction` is adjusted
205
- * in the case of calls to operator `new` to give the destination address of a subsequent store (if any).
+ * a `WriteSideEffectInstruction`.
206
*/
207
Instruction getDestinationAddress(Instruction instr) {
208
result =
0 commit comments