INTERNAL: do not use.
A node representing a parameter for a function with no body.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
Direct supertypes
Indirect supertypes
Known direct subtypes
Fields
Predicates
getEnclosingCallable | INTERNAL: Do not use. |
getFunction | Gets the function to which this node belongs, if any. |
getIndirectionIndex | Gets the indirection index of this node. |
getLocationImpl | INTERNAL: Do not use. |
getType | Gets the type of this node. |
toStringImpl | INTERNAL: Do not use. |
Inherited predicates
asConvertedExpr | Gets the expression corresponding to this node, if any. The returned expression may be a | from Node |
asConvertedExpr | Gets the expression corresponding to this node, if any. The returned expression may be a | from Node |
asDefiningArgument | Gets the argument that defines this | from Node |
asDefiningArgument | Gets the argument that defines this | from Node |
asDefinition | Gets the definition associated with this node, if any. | from Node |
asExpr | Gets the non-conversion expression corresponding to this node, if any. This predicate only has a result on nodes that represent the value of evaluating the expression. For data flowing out of an expression, like when an argument is passed by reference, use | from Node |
asExpr | INTERNAL: Do not use. | from Node |
asIndirectArgument | Gets the the argument going into a function for a node that represents the indirect value of the argument after any non-zero number of loads. | from Node |
asIndirectArgument | Gets the the argument going into a function for a node that represents the indirect value of the argument after | from Node |
asIndirectConvertedExpr | Gets the expression that’s indirectly tracked by this node behind a number of indirections. | from Node |
asIndirectConvertedExpr | Gets the expression that’s indirectly tracked by this node behind | from Node |
asIndirectConvertedExpr | INTERNAL: Do not use. | from Node |
asIndirectDefinition | Gets the indirect definition at some indirection corresponding to this node, if any. | from Node |
asIndirectDefinition | Gets the indirect definition at a given indirection corresponding to this node, if any. | from Node |
asIndirectExpr | Gets the non-conversion expression that’s indirectly tracked by this node behind a number of indirections. | from Node |
asIndirectExpr | Gets the non-conversion expression that’s indirectly tracked by this node under | from Node |
asIndirectExpr | INTERNAL: Do not use. | from Node |
asIndirectOperand | Gets the operand that is indirectly tracked by this node behind | from Node |
asIndirectVariable | Gets an indirection of this node’s underlying variable, if any. | from Node |
asIndirectVariable | Gets the | from Node |
asInstruction | Gets the instruction corresponding to this node, if any. | from Node |
asOperand | Gets the operands corresponding to this node, if any. | from Node |
asParameter | Gets the positional parameter corresponding to this node, if any. | from Node |
asParameter | Gets the positional parameter corresponding to the node that represents the value of the parameter after | from Node |
asPartialDefinition | Gets the expression that is partially defined by this node, if any. | from Node |
asUninitialized | Gets the uninitialized local variable corresponding to this node, if any. | from Node |
asVariable | Gets the variable corresponding to this node, if any. This can be used for modeling flow in and out of global variables. | from Node |
getBasicBlock | Gets the basic block of this node, if any. | from Node |
getLocation | Gets the location of this element. | from Node |
getTypeBound | Gets an upper bound on the type of this node. | from Node |
hasIndexInBlock | Holds if this node is at index | from Node |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
isGLValue | Holds if this node represents a glvalue. | from Node |
toString | Gets a textual representation of this element. | from Node |