Class GlobalDefImpl
A definition that models a synthetic “initial definition” of a global variable just after the function entry point.
See the QLDoc for GlobalUse
for how this is used.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
Direct supertypes
Indirect supertypes
Inherited fields
Predicates
getBaseSourceVariable | Gets the global variable associated with this definition. |
getIRFunction | Gets the |
getIndirection | Gets the index (i.e., the number of loads required) of this definition or use. |
getLocation | Gets the location of this element. |
getUnderlyingType | Gets the type of this definition, after typedefs have been resolved. |
getUnspecifiedType | Gets the type of this definition after specifiers have been deeply stripped and typedefs have been resolved. |
getValue | |
getVariable | Gets the global variable associated with this definition. |
hasIndexInBlock | Holds if this definition or use has index |
isCertain | |
toString | Gets a textual representation of this element. |
Inherited predicates
getAddressOperand | from DefImpl | |
getBlock | Gets the block of this definition or use. | from DefImpl |
getIndirectionIndex | Gets the indirection index of this definition. | from DefImpl |
getSourceVariable | Gets the variable that is defined or used. | from DefImpl |
hasIndexInBlock | Holds if this definition (or use) has index | from DefImpl |