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.SsaImplDirect supertypes
Indirect supertypes
Inherited fields
Predicates
| 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. |
| getSourceVariable | Gets the variable that is defined or used. |
| 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. |
| getVariable | Gets the global variable associated with this definition. |
| hasIndexInBlock | Holds if this definition or use has index |
| isCertain | Holds if this definition is guaranteed to totally overwrite the destination buffer. |
| toString | Gets a textual representation of this element. |
Inherited predicates
| getAddressOperand | Gets the operand that represents the address of this definition, if any. | from DefImpl |
| getBlock | Gets the block of this definition or use. | from DefImpl |
| getIndirectionIndex | Gets the indirection index of this definition. | from DefImpl |
| getValue | Gets the value written to the destination variable by this definition, if any. | from DefImpl |
| hasIndexInBlock | Holds if this definition (or use) has index | from DefImpl |