Skip to content

Commit 945ecff

Browse files
committed
C++: Add charpred to ParameterNode
1 parent 7f5330d commit 945ecff

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -162,6 +162,12 @@ class ExprNode extends InstructionNode {
162162
* as `x` in `f(x)` and implicit parameters such as `this` in `x.f()`
163163
*/
164164
class ParameterNode extends InstructionNode {
165+
ParameterNode() {
166+
instr instanceof InitializeParameterInstruction
167+
or
168+
instr instanceof InitializeThisInstruction
169+
}
170+
165171
/**
166172
* Holds if this node is the parameter of `c` at the specified (zero-based)
167173
* position. The implicit `this` parameter is considered to have index `-1`.

0 commit comments

Comments
 (0)