pragma Pure (Storage_Elements);
|
Note that we take advantage of the implementation permission to make
this unit Pure instead of Preelaborable; see RM 13.7.1(15).
|
Type Summary
|
Other Items:
|
type Storage_Offset is range
-(2 ** (Standard."-" (Standard'Address_Size, 1))) ..
+(2 ** (Standard."-" (Standard'Address_Size, 1))) - 1;
|
Note: the reason for the qualification of "-" here by Standard is
that we have a current bug in GNAT that otherwise causes a bogus
ambiguity when this unit is analyzed in an Rtsfind context.
|
|
|
|
|
|
pragma Convention (Intrinsic, "+");
|
|
|
pragma Inline_Always ("+");
|
|
|
pragma Convention (Intrinsic, "+");
|
|
|
pragma Inline_Always ("+");
|
|
|
pragma Convention (Intrinsic, "-");
|
|
|
pragma Inline_Always ("-");
|
|
|
pragma Convention (Intrinsic, "-");
|
|
|
pragma Inline_Always ("-");
|
|
|
pragma Convention (Intrinsic, "mod");
|
|
|
pragma Inline_Always ("mod");
|
Conversion to/from integers
|
|
|
|
|
|
|