Class PointerIndirectionExpr
A pointer indirection operation, for example *pn
on line 7,
pa->M()
on line 13, and cp[1]
on line 18 in
struct A {
public void M() { }
unsafe int DirectDereference() {
int n = 10;
int *pn = &n;
return *pn;
}
unsafe void MemberDereference() {
A a = new A();
A *pa = &a;
pa->M();
}
unsafe void ArrayDereference() {
char* cp = stackalloc char[10];
cp[1] = 'a';
}
}
There are three syntactic forms of indirection through a pointer:
- Line 7: A direct dereference,
*pn
. - Line 13: A dereference and member access,
pa->M()
. - Line 18: An array-like dereference,
cp[1]
(this is actually computed as*(cp + 1)
).
Import path
import csharp
Direct supertypes
Indirect supertypes
Predicates
getAPrimaryQlClass |
Gets the name of a primary CodeQL class to which this element belongs. |
getOperator |
Gets the name of the operator in this operation. |
Inherited predicates
controlsBlock |
Holds if basic block |
from ControlFlowElement |
fromLibrary |
Holds if this element is from an assembly. |
from Element |
fromSource |
Holds if this element is from source code. |
from Element |
getAChild |
Gets a child of this element, if any. |
from Element |
getAChildExpr |
Gets a child expression of this element, if any. |
from ExprOrStmtParent |
getAChildStmt |
Gets a child statement of this element, if any. |
from ExprOrStmtParent |
getAControlFlowEntryNode |
Gets a first control flow node executed within this element. |
from ControlFlowElement |
getAControlFlowExitNode |
Gets a potential last control flow node executed within this element. |
from ControlFlowElement |
getAControlFlowNode |
Gets a control flow node for this element. That is, a node in the control flow graph that corresponds to this element. |
from ControlFlowElement |
getALocation |
Gets a location of this element, including sources and assemblies. |
from Expr |
getAReachableElement |
Gets an element that is reachable from this element. |
from ControlFlowElement |
getAnOperand |
Gets an operand of this operation. |
from Operation |
getAnnotatedType |
Gets the annotated type of this expression. |
from Expr |
getAssembly |
Gets the assembly that this element was compiled into. |
from ControlFlowElement |
getChild |
Gets the |
from ExprOrStmtParent |
getChildExpr |
Gets the |
from ExprOrStmtParent |
getChildStmt |
Gets the |
from ExprOrStmtParent |
getEnclosingCallable |
Gets the enclosing callable of this expression, if any. |
from Expr |
getEnclosingStmt |
Gets the enclosing statement of this expression, if any. |
from Expr |
getExplicitArgumentName |
Gets the explicit parameter name used to pass this expression as an argument for, if any. For example, if this expression is |
from Expr |
getFile |
Gets the file containing this element. |
from Element |
getIndex |
Gets the index of this element among its parent’s other children (zero-based). |
from Element |
getLanguage |
Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”. |
from Element |
getLocation |
Gets the location of this element. Where an element has locations in source and assemblies, choose the source location. If there are multiple assembly locations, choose only one. |
from Element |
getNumberOfChildren |
Gets the number of children of this element. |
from Element |
getOperand |
Gets the operand of this unary operation. |
from UnaryOperation |
getParent | from Expr | |
getPrimaryQlClasses |
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. |
from Element |
getType |
Gets the type of this expression. |
from Expr |
getValue |
Gets the value of this expression, if any |
from Expr |
hasMaybeNullFlowState |
Holds if the nullable flow state of this expression may be null. |
from Expr |
hasNotNullFlowState |
Holds if the nullable flow state of this expression is not null. |
from Expr |
hasValue |
Holds if this expression has a value. |
from Expr |
isImplicit |
Holds if this expression is generated by the compiler and does not appear explicitly in the source code. |
from Expr |
isLive |
Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable. |
from ControlFlowElement |
reachableFrom |
Holds if the current element is reachable from |
from ControlFlowElement |
stripCasts |
Gets an expression that is the result of stripping (recursively) all implicit and explicit casts from this expression, if any. For example, the result is |
from Expr |
stripImplicitCasts |
Gets an expression that is the result of stripping (recursively) all implicit casts from this expression, if any. |
from Expr |
toString |
Gets a textual representation of this element. |
from UnaryOperation |
toStringWithTypes |
Gets the full textual representation of this element, including type information. |
from Element |