@itemize @bullet
@sp 1
+@item
@cartouche
@noindent
-@item
Whether or not each recommendation given in Implementation
Advice is followed. See 1.1.2(37).
@end cartouche
@sp 1
+@item
@cartouche
@noindent
-@item
Capacity limitations of the implementation. See 1.1.3(3).
@end cartouche
@noindent
@sp 1
+@item
@cartouche
@noindent
-@item
Variations from the standard that are impractical to avoid
given the implementation's execution environment. See 1.1.3(6).
@end cartouche
@sp 1
+@item
@cartouche
@noindent
-@item
Which @code{code_statement}s cause external
interactions. See 1.1.3(10).
@end cartouche
Any @code{code_statement} can potentially cause external interactions.
@sp 1
+@item
@cartouche
@noindent
-@item
The coded representation for the text of an Ada
program. See 2.1(4).
@end cartouche
@sp 1
+@item
@cartouche
@noindent
-@item
The control functions allowed in comments. See 2.1(14).
@end cartouche
@noindent
See separate section on source representation.
@sp 1
+@item
@cartouche
@noindent
-@item
The representation for an end of line. See 2.2(2).
@end cartouche
@noindent
See separate section on source representation.
@sp 1
+@item
@cartouche
@noindent
-@item
Maximum supported line length and lexical element
length. See 2.2(15).
@end cartouche
length of a lexical element is the same as the maximum line length.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation defined pragmas. See 2.8(14).
@end cartouche
@noindent
@xref{Implementation Defined Pragmas}.
@sp 1
+@item
@cartouche
@noindent
-@item
Effect of pragma @code{Optimize}. See 2.8(27).
@end cartouche
@noindent
not.
@sp 1
+@item
@cartouche
@noindent
-@item
The sequence of characters of the value returned by
@code{@var{S}'Image} when some of the graphic characters of
@code{@var{S}'Wide_Image} are not defined in @code{Character}. See
further details.
@sp 1
+@item
@cartouche
@noindent
-@item
The predefined integer types declared in
@code{Standard}. See 3.5.4(25).
@end cartouche
@end table
@sp 1
+@item
@cartouche
@noindent
-@item
Any nonstandard integer types and the operators defined
for them. See 3.5.4(26).
@end cartouche
There are no nonstandard integer types.
@sp 1
+@item
@cartouche
@noindent
-@item
Any nonstandard real types and the operators defined for
them. See 3.5.6(8).
@end cartouche
There are no nonstandard real types.
@sp 1
+@item
@cartouche
@noindent
-@item
What combinations of requested decimal precision and range
are supported for floating point types. See 3.5.7(7).
@end cartouche
The precision and range is as defined by the IEEE standard.
@sp 1
+@item
@cartouche
@noindent
-@item
The predefined floating point types declared in
@code{Standard}. See 3.5.7(16).
@end cartouche
@end table
@sp 1
+@item
@cartouche
@noindent
-@item
The small of an ordinary fixed point type. See 3.5.9(8).
@end cartouche
@noindent
@code{Fine_Delta} is 2**(@minus{}63)
@sp 1
+@item
@cartouche
@noindent
-@item
What combinations of small, range, and digits are
supported for fixed point types. See 3.5.9(10).
@end cartouche
is because floating-point conversions are used to convert fixed point.
@sp 1
+@item
@cartouche
@noindent
-@item
The result of @code{Tags.Expanded_Name} for types declared
within an unnamed @code{block_statement}. See 3.9(10).
@end cartouche
decimal integer are allocated.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined attributes. See 4.1.4(12).
@end cartouche
@noindent
@xref{Implementation Defined Attributes}.
@sp 1
+@item
@cartouche
@noindent
-@item
Any implementation-defined time types. See 9.6(6).
@end cartouche
@noindent
There are no implementation-defined time types.
@sp 1
+@item
@cartouche
@noindent
-@item
The time base associated with relative delays.
@end cartouche
@noindent
function @code{gettimeofday}.
@sp 1
+@item
@cartouche
@noindent
-@item
The time base of the type @code{Calendar.Time}. See
9.6(23).
@end cartouche
@code{gettimeofday}.
@sp 1
+@item
@cartouche
@noindent
-@item
The time zone used for package @code{Calendar}
operations. See 9.6(24).
@end cartouche
@code{localtime}.
@sp 1
+@item
@cartouche
@noindent
-@item
Any limit on @code{delay_until_statements} of
@code{select_statements}. See 9.6(29).
@end cartouche
There are no such limits.
@sp 1
+@item
@cartouche
@noindent
-@item
Whether or not two non-overlapping parts of a composite
object are independently addressable, in the case where packing, record
layout, or @code{Component_Size} is specified for the object. See
overlapping storage units.
@sp 1
+@item
@cartouche
@noindent
-@item
The representation for a compilation. See 10.1(2).
@end cartouche
@noindent
compiler in a single invocation of the @command{gcc} command.
@sp 1
+@item
@cartouche
@noindent
-@item
Any restrictions on compilations that contain multiple
compilation_units. See 10.1(4).
@end cartouche
compilation.
@sp 1
+@item
@cartouche
@noindent
-@item
The mechanisms for creating an environment and for adding
and replacing compilation units. See 10.1.4(3).
@end cartouche
See separate section on compilation model.
@sp 1
+@item
@cartouche
@noindent
-@item
The manner of explicitly assigning library units to a
partition. See 10.2(2).
@end cartouche
@value{EDITION} User's Guide}.
@sp 1
+@item
@cartouche
@noindent
-@item
The implementation-defined means, if any, of specifying
which compilation units are needed by a given compilation unit. See
10.2(2).
means for specifying needed units.
@sp 1
+@item
@cartouche
@noindent
-@item
The manner of designating the main subprogram of a
partition. See 10.2(7).
@end cartouche
corresponding @file{ALI} file as the input parameter to the binder.
@sp 1
+@item
@cartouche
@noindent
-@item
The order of elaboration of @code{library_items}. See
10.2(18).
@end cartouche
where a choice still remains.
@sp 1
+@item
@cartouche
@noindent
-@item
Parameter passing and function return for the main
subprogram. See 10.2(21).
@end cartouche
may have been set by a call to @code{Ada.Command_Line.Set_Exit_Status}).
@sp 1
+@item
@cartouche
@noindent
-@item
The mechanisms for building and running partitions. See
10.2(24).
@end cartouche
for details.
@sp 1
+@item
@cartouche
@noindent
-@item
The details of program execution, including program
termination. See 10.2(25).
@end cartouche
See separate section on compilation model.
@sp 1
+@item
@cartouche
@noindent
-@item
The semantics of any non-active partitions supported by the
implementation. See 10.2(28).
@end cartouche
further details.
@sp 1
+@item
@cartouche
@noindent
-@item
The information returned by @code{Exception_Message}. See
11.4.1(10).
@end cartouche
been passed by the program.
@sp 1
+@item
@cartouche
@noindent
-@item
The result of @code{Exceptions.Exception_Name} for types
declared within an unnamed @code{block_statement}. See 11.4.1(12).
@end cartouche
where @var{nnn} is an integer.
@sp 1
+@item
@cartouche
@noindent
-@item
The information returned by
@code{Exception_Information}. See 11.4.1(13).
@end cartouche
the last line is a single @code{LF} character (@code{16#0A#}).
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined check names. See 11.5(27).
@end cartouche
@noindent
by means of the pragma Check_Name.
@sp 1
+@item
@cartouche
@noindent
-@item
The interpretation of each aspect of representation. See
13.1(20).
@end cartouche
See separate section on data representations.
@sp 1
+@item
@cartouche
@noindent
-@item
Any restrictions placed upon representation items. See
13.1(20).
@end cartouche
See separate section on data representations.
@sp 1
+@item
@cartouche
@noindent
-@item
The meaning of @code{Size} for indefinite subtypes. See
13.3(48).
@end cartouche
is the actual size.
@sp 1
+@item
@cartouche
@noindent
-@item
The default external representation for a type tag. See
13.3(75).
@end cartouche
name of the type in upper case letters.
@sp 1
+@item
@cartouche
@noindent
-@item
What determines whether a compilation unit is the same in
two different partitions. See 13.3(76).
@end cartouche
if it derives from the same source file.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined components. See 13.5.1(15).
@end cartouche
@noindent
which contains a pointer to the dispatching table.
@sp 1
+@item
@cartouche
@noindent
-@item
If @code{Word_Size} = @code{Storage_Unit}, the default bit
ordering. See 13.5.3(5).
@end cartouche
bit ordering corresponds to the natural endianness of the target architecture.
@sp 1
+@item
@cartouche
@noindent
-@item
The contents of the visible part of package @code{System}
and its language-defined children. See 13.7(2).
@end cartouche
@file{s-stoele.ads}.
@sp 1
+@item
@cartouche
@noindent
-@item
The contents of the visible part of package
@code{System.Machine_Code}, and the meaning of
@code{code_statements}. See 13.8(7).
See the definition and documentation in file @file{s-maccod.ads}.
@sp 1
+@item
@cartouche
@noindent
-@item
The effect of unchecked conversion. See 13.9(11).
@end cartouche
@noindent
made with appropriate alignment
@sp 1
+@item
@cartouche
@noindent
-@strong{53}. The semantics of operations on invalid representations.
+The semantics of operations on invalid representations.
See 13.9.2(10-11).
@end cartouche
@noindent
on the simple assignment of the invalid negative value from Y to Z.
@sp 1
+@item
@cartouche
@noindent
-@item
The manner of choosing a storage pool for an access type
when @code{Storage_Pool} is not specified for the type. See 13.11(17).
@end cartouche
default pools used.
@sp 1
+@item
@cartouche
@noindent
-@item
Whether or not the implementation provides user-accessible
names for the standard pool type(s). See 13.11(17).
@end cartouche
@noindent
-See documentation in the sources of the run time mentioned in paragraph
-@strong{53} . All these pools are accessible by means of @code{with}'ing
+See documentation in the sources of the run time mentioned in the previous
+paragraph. All these pools are accessible by means of @code{with}'ing
these units.
@sp 1
+@item
@cartouche
@noindent
-@item
The meaning of @code{Storage_Size}. See 13.11(18).
@end cartouche
@noindent
stack space for a task.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of storage pools. See
13.11(22).
@end cartouche
@noindent
-See documentation in the sources of the run time mentioned in paragraph
-@strong{53} for details on GNAT-defined aspects of storage pools.
+See documentation in the sources of the run time mentioned in the
+paragraph about standard storage pools above
+for details on GNAT-defined aspects of storage pools.
@sp 1
+@item
@cartouche
@noindent
-@item
The set of restrictions allowed in a pragma
@code{Restrictions}. See 13.12(7).
@end cartouche
@xref{Standard and Implementation Defined Restrictions}.
@sp 1
+@item
@cartouche
@noindent
-@item
The consequences of violating limitations on
@code{Restrictions} pragmas. See 13.12(9).
@end cartouche
restrictions.
@sp 1
+@item
@cartouche
@noindent
-@item
The representation used by the @code{Read} and
@code{Write} attributes of elementary types in terms of stream
elements. See 13.13.2(9).
@code{@var{type}'Size} value, and the natural ordering of the machine.
@sp 1
+@item
@cartouche
@noindent
-@item
The names and characteristics of the numeric subtypes
declared in the visible part of package @code{Standard}. See A.1(3).
@end cartouche
See items describing the integer and floating-point types supported.
@sp 1
+@item
@cartouche
@noindent
-@strong{61}. The string returned by @code{Character_Set_Version}.
+The string returned by @code{Character_Set_Version}.
See A.3.5(3).
@end cartouche
@noindent
Unicode specification.
@sp 1
+@item
@cartouche
@noindent
-@item
The accuracy actually achieved by the elementary
functions. See A.5.1(1).
@end cartouche
library. Only fast math mode is implemented.
@sp 1
+@item
@cartouche
@noindent
-@item
The sign of a zero result from some of the operators or
functions in @code{Numerics.Generic_Elementary_Functions}, when
@code{Float_Type'Signed_Zeros} is @code{True}. See A.5.1(46).
floating-point.
@sp 1
+@item
@cartouche
@noindent
-@item
The value of
@code{Numerics.Float_Random.Max_Image_Width}. See A.5.2(27).
@end cartouche
Maximum image width is 6864, see library file @file{s-rannum.ads}.
@sp 1
+@item
@cartouche
@noindent
-@item
The value of
@code{Numerics.Discrete_Random.Max_Image_Width}. See A.5.2(27).
@end cartouche
Maximum image width is 6864, see library file @file{s-rannum.ads}.
@sp 1
+@item
@cartouche
@noindent
-@item
The algorithms for random number generation. See
A.5.2(32).
@end cartouche
2**19937-1.
@sp 1
+@item
@cartouche
@noindent
-@item
The string representation of a random number generator's
state. See A.5.2(38).
@end cartouche
of the state vector.
@sp 1
+@item
@cartouche
@noindent
-@item
The minimum time interval between calls to the
time-dependent Reset procedure that are guaranteed to initiate different
random number sequences. See A.5.2(45).
random numbers is one microsecond.
@sp 1
+@item
@cartouche
@noindent
-@item
The values of the @code{Model_Mantissa},
@code{Model_Emin}, @code{Model_Epsilon}, @code{Model},
@code{Safe_First}, and @code{Safe_Last} attributes, if the Numerics
@code{Standard}, has the values of all numeric attributes.
@sp 1
+@item
@cartouche
@noindent
-@item
Any implementation-defined characteristics of the
input-output packages. See A.7(14).
@end cartouche
packages.
@sp 1
+@item
@cartouche
@noindent
-@item
The value of @code{Buffer_Size} in @code{Storage_IO}. See
A.9(10).
@end cartouche
boundary.
@sp 1
+@item
@cartouche
@noindent
-@item
External files for standard input, standard output, and
standard error See A.10(5).
@end cartouche
libraries. See source file @file{i-cstrea.ads} for further details.
@sp 1
+@item
@cartouche
@noindent
-@item
The accuracy of the value produced by @code{Put}. See
A.10.9(36).
@end cartouche
significant digit positions.
@sp 1
+@item
@cartouche
@noindent
-@item
The meaning of @code{Argument_Count}, @code{Argument}, and
@code{Command_Name}. See A.15(1).
@end cartouche
main program in the natural manner.
@sp 1
+@item
@cartouche
@noindent
-@item
The interpretation of the @code{Form} parameter in procedure
@code{Create_Directory}. See A.16(56).
@end cartouche
The @code{Form} parameter is not used.
@sp 1
+@item
@cartouche
@noindent
-@item
The interpretation of the @code{Form} parameter in procedure
@code{Create_Path}. See A.16(60).
@end cartouche
The @code{Form} parameter is not used.
@sp 1
+@item
@cartouche
@noindent
-@item
The interpretation of the @code{Form} parameter in procedure
@code{Copy_File}. See A.16(68).
@end cartouche
@end smallexample
@sp 1
+@item
@cartouche
@noindent
-@item
The interpretation of the @code{Pattern} parameter, when not the null string,
in the @code{Start_Search} and @code{Search} procedures.
See A.16(104) and A.16(112).
@xref{GNAT.Regexp (g-regexp.ads)}.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined convention names. See B.1(11).
@end cartouche
@noindent
implementations, these names are accepted silently.
@sp 1
+@item
@cartouche
@noindent
-@item
The meaning of link names. See B.1(36).
@end cartouche
@noindent
Link names are the actual names used by the linker.
@sp 1
+@item
@cartouche
@noindent
-@item
The manner of choosing link names when neither the link
name nor the address of an imported or exported entity is specified. See
B.1(36).
letters.
@sp 1
+@item
@cartouche
@noindent
-@item
The effect of pragma @code{Linker_Options}. See B.1(37).
@end cartouche
@noindent
from the corresponding package spec.
@sp 1
+@item
@cartouche
@noindent
-@item
The contents of the visible part of package
@code{Interfaces} and its language-defined descendants. See B.2(1).
@end cartouche
See files with prefix @file{i-} in the distributed library.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined children of package
@code{Interfaces}. The contents of the visible part of package
@code{Interfaces}. See B.2(11).
See files with prefix @file{i-} in the distributed library.
@sp 1
+@item
@cartouche
@noindent
-@item
The types @code{Floating}, @code{Long_Floating},
@code{Binary}, @code{Long_Binary}, @code{Decimal_ Element}, and
@code{COBOL_Character}; and the initialization of the variables
For initialization, see the file @file{i-cobol.ads} in the distributed library.
@sp 1
+@item
@cartouche
@noindent
-@item
Support for access to machine instructions. See C.1(1).
@end cartouche
@noindent
See documentation in file @file{s-maccod.ads} in the distributed library.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of access to machine
operations. See C.1(9).
@end cartouche
See documentation in file @file{s-maccod.ads} in the distributed library.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of interrupts. See C.3(2).
@end cartouche
@noindent
on the interrupts supported on a particular target.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of pre-elaboration. See
C.4(13).
@end cartouche
except under control of the debugger.
@sp 1
+@item
@cartouche
@noindent
-@item
The semantics of pragma @code{Discard_Names}. See C.5(7).
@end cartouche
@noindent
Pos values.
@sp 1
+@item
@cartouche
@noindent
-@item
The result of the @code{Task_Identification.Image}
attribute. See C.7.1(7).
@end cartouche
the numeric suffix, that is to say the hexadecimal representation of the
virtual address of the control block of the task.
@sp 1
+@item
@cartouche
@noindent
-@item
The value of @code{Current_Task} when in a protected entry
or interrupt handler. See C.7.1(17).
@end cartouche
convenient thread, so the value of @code{Current_Task} is undefined.
@sp 1
+@item
@cartouche
@noindent
-@item
The effect of calling @code{Current_Task} from an entry
body or interrupt handler. See C.7.1(19).
@end cartouche
executing the code.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of
@code{Task_Attributes}. See C.7.2(19).
@end cartouche
There are no implementation-defined aspects of @code{Task_Attributes}.
@sp 1
+@item
@cartouche
@noindent
-@item
Values of all @code{Metrics}. See D(2).
@end cartouche
@noindent
the required metrics.
@sp 1
+@item
@cartouche
@noindent
-@item
The declarations of @code{Any_Priority} and
@code{Priority}. See D.1(11).
@end cartouche
See declarations in file @file{system.ads}.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined execution resources. See D.1(15).
@end cartouche
@noindent
There are no implementation-defined execution resources.
@sp 1
+@item
@cartouche
@noindent
-@item
Whether, on a multiprocessor, a task that is waiting for
access to a protected object keeps its processor busy. See D.2.1(3).
@end cartouche
object does not keep its processor busy.
@sp 1
+@item
@cartouche
@noindent
-@item
The affect of implementation defined execution resources
on task dispatching. See D.2.1(9).
@end cartouche
underlying operating system.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined @code{policy_identifiers} allowed
in a pragma @code{Task_Dispatching_Policy}. See D.2.2(3).
@end cartouche
pragma.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of priority inversion. See
D.2.2(16).
@end cartouche
of delay expirations for lower priority tasks.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined task dispatching. See D.2.2(18).
@end cartouche
@noindent
The policy is the same as that of the underlying threads implementation.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined @code{policy_identifiers} allowed
in a pragma @code{Locking_Policy}. See D.3(4).
@end cartouche
concurrently.
@sp 1
+@item
@cartouche
@noindent
-@item
Default ceiling priorities. See D.3(10).
@end cartouche
@noindent
Reference Manual D.3(10),
@sp 1
+@item
@cartouche
@noindent
-@item
The ceiling of any protected object used internally by
the implementation. See D.3(16).
@end cartouche
@code{System.Priority'Last}.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined queuing policies. See D.4(1).
@end cartouche
@noindent
There are no implementation-defined queuing policies.
@sp 1
+@item
@cartouche
@noindent
-@item
On a multiprocessor, any conditions that cause the
completion of an aborted construct to be delayed later than what is
specified for a single processor. See D.6(3).
processor, there are no further delays.
@sp 1
+@item
@cartouche
@noindent
-@item
Any operations that implicitly require heap storage
allocation. See D.7(8).
@end cartouche
task creation.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of pragma
@code{Restrictions}. See D.7(20).
@end cartouche
There are no such implementation-defined aspects.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of package
@code{Real_Time}. See D.8(17).
@end cartouche
There are no implementation defined aspects of package @code{Real_Time}.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of
@code{delay_statements}. See D.9(8).
@end cartouche
delayed (see D.9(7)).
@sp 1
+@item
@cartouche
@noindent
-@item
The upper bound on the duration of interrupt blocking
caused by the implementation. See D.12(5).
@end cartouche
no cases is it more than 10 milliseconds.
@sp 1
+@item
@cartouche
@noindent
-@item
The means for creating and executing distributed
programs. See E(5).
@end cartouche
distributed programs. See the GLADE reference manual for further details.
@sp 1
+@item
@cartouche
@noindent
-@item
Any events that can result in a partition becoming
inaccessible. See E.1(7).
@end cartouche
See the GLADE reference manual for full details on such events.
@sp 1
+@item
@cartouche
@noindent
-@item
The scheduling policies, treatment of priorities, and
management of shared resources between partitions in certain cases. See
E.1(11).
multi-partition execution.
@sp 1
+@item
@cartouche
@noindent
-@item
Events that cause the version of a compilation unit to
change. See E.3(5).
@end cartouche
comments.
@sp 1
+@item
@cartouche
@noindent
-@item
Whether the execution of the remote subprogram is
immediately aborted as a result of cancellation. See E.4(13).
@end cartouche
a distributed application.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of the PCS@. See E.5(25).
@end cartouche
@noindent
defined aspects of the PCS@.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined interfaces in the PCS@. See
E.5(26).
@end cartouche
implementation defined interfaces.
@sp 1
+@item
@cartouche
@noindent
-@item
The values of named numbers in the package
@code{Decimal}. See F.2(7).
@end cartouche
@end table
@sp 1
+@item
@cartouche
@noindent
-@item
The value of @code{Max_Picture_Length} in the package
@code{Text_IO.Editing}. See F.3.3(16).
@end cartouche
64
@sp 1
+@item
@cartouche
@noindent
-@item
The value of @code{Max_Picture_Length} in the package
@code{Wide_Text_IO.Editing}. See F.3.4(5).
@end cartouche
64
@sp 1
+@item
@cartouche
@noindent
-@item
The accuracy actually achieved by the complex elementary
functions and by other complex arithmetic operations. See G.1(1).
@end cartouche
operations. Only fast math mode is currently supported.
@sp 1
+@item
@cartouche
@noindent
-@item
The sign of a zero result (or a component thereof) from
any operator or function in @code{Numerics.Generic_Complex_Types}, when
@code{Real'Signed_Zeros} is True. See G.1.1(53).
implementation advice.
@sp 1
+@item
@cartouche
@noindent
-@item
The sign of a zero result (or a component thereof) from
any operator or function in
@code{Numerics.Generic_Complex_Elementary_Functions}, when
implementation advice.
@sp 1
+@item
@cartouche
@noindent
-@item
Whether the strict mode or the relaxed mode is the
default. See G.2(2).
@end cartouche
provides a highly efficient implementation of strict mode.
@sp 1
+@item
@cartouche
@noindent
-@item
The result interval in certain cases of fixed-to-float
conversion. See G.2.1(10).
@end cartouche
floating-point format.
@sp 1
+@item
@cartouche
@noindent
-@item
The result of a floating point arithmetic operation in
overflow situations, when the @code{Machine_Overflows} attribute of the
result type is @code{False}. See G.2.1(13).
properly generated.
@sp 1
+@item
@cartouche
@noindent
-@item
The result interval for division (or exponentiation by a
negative exponent), when the floating point hardware implements division
as multiplication by a reciprocal. See G.2.1(16).
Not relevant, division is IEEE exact.
@sp 1
+@item
@cartouche
@noindent
-@item
The definition of close result set, which determines the
accuracy of certain fixed point multiplications and divisions. See
G.2.3(5).
is converted to the target type.
@sp 1
+@item
@cartouche
@noindent
-@item
Conditions on a @code{universal_real} operand of a fixed
point multiplication or division for which the result shall be in the
perfect result set. See G.2.3(22).
representable in 64-bits.
@sp 1
+@item
@cartouche
@noindent
-@item
The result of a fixed point arithmetic operation in
overflow situations, when the @code{Machine_Overflows} attribute of the
result type is @code{False}. See G.2.3(27).
types.
@sp 1
+@item
@cartouche
@noindent
-@item
The result of an elementary function reference in
overflow situations, when the @code{Machine_Overflows} attribute of the
result type is @code{False}. See G.2.4(4).
IEEE infinite and Nan values are produced as appropriate.
@sp 1
+@item
@cartouche
@noindent
-@item
The value of the angle threshold, within which certain
elementary functions, complex arithmetic operations, and complex
elementary functions yield results conforming to a maximum relative
Information on this subject is not yet available.
@sp 1
+@item
@cartouche
@noindent
-@item
The accuracy of certain elementary functions for
parameters beyond the angle threshold. See G.2.4(10).
@end cartouche
Information on this subject is not yet available.
@sp 1
+@item
@cartouche
@noindent
-@item
The result of a complex arithmetic operation or complex
elementary function reference in overflow situations, when the
@code{Machine_Overflows} attribute of the corresponding real type is
IEEE infinite and Nan values are produced as appropriate.
@sp 1
+@item
@cartouche
@noindent
-@item
The accuracy of certain complex arithmetic operations and
certain complex elementary functions for parameters (or components
thereof) beyond the angle threshold. See G.2.6(8).
Information on those subjects is not yet available.
@sp 1
+@item
@cartouche
@noindent
-@item
Information regarding bounded errors and erroneous
execution. See H.2(1).
@end cartouche
Information on this subject is not yet available.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of pragma
@code{Inspection_Point}. See H.3.2(8).
@end cartouche
be examined by the debugger at the inspection point.
@sp 1
+@item
@cartouche
@noindent
-@item
Implementation-defined aspects of pragma
@code{Restrictions}. See H.4(25).
@end cartouche
generated code. Checks must suppressed by use of pragma @code{Suppress}.
@sp 1
+@item
@cartouche
@noindent
-@item
Any restrictions on pragma @code{Restrictions}. See
H.4(27).
@end cartouche
* System.Restrictions (s-restri.ads)::
* System.Rident (s-rident.ads)::
* System.Strings.Stream_Ops (s-ststop.ads)::
-* System.Task_Info (s-tasinf.ads)::
* System.Unsigned_Types (s-unstyp.ads)::
* System.Wch_Cnv (s-wchcnv.ads)::
* System.Wch_Con (s-wchcon.ads)::
* pragma Ravenscar::
* pragma Restricted_Run_Time::
* pragma Task_Info::
+* System.Task_Info (s-tasinf.ads)::
@end menu
@node pragma No_Run_Time
projects / thirdparty / gcc.git / commitdiff
