Class VariableVirtualVariable

Represents the MemoryLocation for an IRVariable that acts as its own VirtualVariable. Includes any VariableMemoryLocation that exactly overlaps its entire IRVariable, and only if that IRVariable does not escape.

Import path

import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA

Direct supertypes

Indirect supertypes

Inherited fields

endBitOffset		from VariableMemoryLocation
isMayAccess		from AllocationMemoryLocation
languageType		from VariableMemoryLocation
startBitOffset		from VariableMemoryLocation
type		from VariableMemoryLocation
var		from AllocationMemoryLocation

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
coversEntireVariable	Holds if this memory location covers the entire variable.	from VariableMemoryLocation
getAnAllocation	Gets an allocation associated with this `MemoryLocation`.	from AllocationMemoryLocation
getEndBitOffset		from VariableMemoryLocation
getIRFunction		from AllocationMemoryLocation
getIRType		from MemoryLocation0
getLocation		from AllocationMemoryLocation
getStartBitOffset		from VariableMemoryLocation
getType		from VariableMemoryLocation
getUniqueId		from VariableMemoryLocation
getVirtualVariable		from AllocationMemoryLocation
isAlwaysAllocatedOnStack	Holds if the location always represents memory allocated on the stack (for example, a variable with automatic storage duration).	from VariableMemoryLocation
isMayAccess		from AllocationMemoryLocation
isReadOnly	Holds if the location cannot be overwritten except by definition of a `MemoryLocation` for which `def.canDefineReadOnly()` holds.	from AllocationMemoryLocation
toString		from MemoryLocation0
toStringInternal		from VariableMemoryLocation

Charpred

VariableVirtualVariable