Next: Attribute Descriptor_Size, Previous: Attribute Default_Scalar_Storage_Order, Up: Implementation Defined Attributes
The attribute typ'Deref(expr) where expr is of type System.Address yields the variable of type typ that is located at the given address. It is similar to (totyp (expr).all), where totyp is an unchecked conversion from address to a named access-to-typ type, except that it yields a variable, so it can be used on the left side of an assignment.