Fix uncontroversial typos.
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix
typos.
* doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Fix typos
and refill as necessary; remove trailing whitespace.
* doc/gnat_ugn/gnat_and_program_execution.rst: Fix typos.
* gnat_ugn.texi: Regenerate.
Examples of ``gnatbind`` Usage
------------------------------
-Here are some examples of ``gnatbind`` invovations:
+Here are some examples of ``gnatbind`` invocations:
::
Checking the Elaboration Order
==============================
-To avoid placing the entire elaboration-order burden on the programmer, Ada
+To avoid placing the entire elaboration-order burden on the programmer, Ada
provides three lines of defense:
* *Static semantics*
===================================
The most desirable option from the point of view of long-term maintenance is to
-rearrange the program so that the elaboration problems are avoided. One useful
-technique is to place the elaboration code into separate child packages.
-Another is to move some of the initialization code to explicitly invoked
+rearrange the program so that the elaboration problems are avoided. One useful
+technique is to place the elaboration code into separate child packages.
+Another is to move some of the initialization code to explicitly invoked
subprograms, where the program controls the order of initialization explicitly.
Although this is the most desirable option, it may be impractical and involve
too much modification, especially in the case of complex legacy code.
change pragma Elaborate_All for unit "..." to Elaborate in unit "..."
This tactic is always suggested with the pragma ``Elaborate_All`` elimination
- tactic. It offers a different alernative of guaranteeing that the argument of
- the pragma will still be elaborated prior to the unit containing the pragma.
+ tactic. It offers a different alternative of guaranteeing that the argument
+ of the pragma will still be elaborated prior to the unit containing the
+ pragma.
The programmer should update the pragma as advised, and rebuild the program.
A programmer should first compile the program with the default options, using
none of the binder or compiler switches. If the binder succeeds in finding an
-elaboration order, then apart from possible cases involing dispatching calls
+elaboration order, then apart from possible cases involving dispatching calls
and access-to-subprogram types, the program is free of elaboration errors.
If it is important for the program to be portable to compilers other than GNAT,
However, in practice, this would cause some existing code that
seems to work with no optimization to start failing at high
-levels of optimzization.
+levels of optimization.
What the compiler does for such cases is to assume that marking
a variable as aliased indicates that some "funny business" may
mathematical versus run-time interpretation of the expressions in
assertions, GNAT provides comprehensive control over the handling
of intermediate overflow. GNAT can operate in three modes, and
-furthemore, permits separate selection of operating modes for
+furthermore, permits separate selection of operating modes for
the expressions within assertions (here the term 'assertions'
is used in the technical sense, which includes preconditions and so forth)
and for expressions appearing outside assertions.
@subsection Examples of @code{gnatbind} Usage
-Here are some examples of @code{gnatbind} invovations:
+Here are some examples of @code{gnatbind} invocations:
@quotation
However, in practice, this would cause some existing code that
seems to work with no optimization to start failing at high
-levels of optimzization.
+levels of optimization.
What the compiler does for such cases is to assume that marking
a variable as aliased indicates that some “funny business” may
mathematical versus run-time interpretation of the expressions in
assertions, GNAT provides comprehensive control over the handling
of intermediate overflow. GNAT can operate in three modes, and
-furthemore, permits separate selection of operating modes for
+furthermore, permits separate selection of operating modes for
the expressions within assertions (here the term ‘assertions’
is used in the technical sense, which includes preconditions and so forth)
and for expressions appearing outside assertions.
@end example
This tactic is always suggested with the pragma @code{Elaborate_All} elimination
-tactic. It offers a different alernative of guaranteeing that the argument of
-the pragma will still be elaborated prior to the unit containing the pragma.
+tactic. It offers a different alternative of guaranteeing that the argument
+of the pragma will still be elaborated prior to the unit containing the
+pragma.
The programmer should update the pragma as advised, and rebuild the program.
A programmer should first compile the program with the default options, using
none of the binder or compiler switches. If the binder succeeds in finding an
-elaboration order, then apart from possible cases involing dispatching calls
+elaboration order, then apart from possible cases involving dispatching calls
and access-to-subprogram types, the program is free of elaboration errors.
If it is important for the program to be portable to compilers other than GNAT,