Class GroupedVirtualVariable
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSADirect supertypes
Indirect supertypes
Inherited fields
Inherited predicates
| canDefineReadOnly | Holds if a definition of this location can be the definition of a read-only use location. | from MemoryLocation0 |
| canReuseSsa | from MemoryLocation0 | |
| getAnAllocation | Gets an allocation of this memory location. | from GroupedMemoryLocation |
| getGroup | Gets the set of allocations associated with this memory location. | from GroupedMemoryLocation |
| getIRFunction | from GroupedMemoryLocation | |
| getIRType | from MemoryLocation0 | |
| getLocation | from GroupedMemoryLocation | |
| getType | from GroupedMemoryLocation | |
| getUniqueId | from GroupedMemoryLocation | |
| getVirtualVariable | from GroupedMemoryLocation | |
| isAll | Holds if this memory location represents all the enclosing allocations. | from GroupedMemoryLocation |
| isAlwaysAllocatedOnStack | Holds if the location always represents memory allocated on the stack (for example, a variable with automatic storage duration). | from MemoryLocation0 |
| isMayAccess | from GroupedMemoryLocation | |
| isReadOnly | Holds if the location cannot be overwritten except by definition of a | from MemoryLocation0 |
| isSome | Holds if this memory location represents one or more of the enclosing allocations. | from GroupedMemoryLocation |
| toString | from MemoryLocation0 | |
| toStringInternal | from GroupedMemoryLocation |