diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-04-29 15:24:56 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-04-29 15:24:56 +0000 |
| commit | f07ea0913bf116812c3507bef1be222267467b11 (patch) | |
| tree | 32aad4e68b4052f7ce71c58540a2b80a90d67674 /gcc/ada/gnat_rm.texi | |
| parent | 51acdf76deecf0112e6c9e373e035b6970a391de (diff) | |
| download | gcc-f07ea0913bf116812c3507bef1be222267467b11.tar.gz | |
2004-04-29 Ed Schonberg <schonberg@gnat.com>
* checks.adb (Enable_Range_Check): If the prefix of an index component
is an access to an unconstrained array, perform check unconditionally.
2004-04-29 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
* decl.c (gnat_to_gnu_field): Also call make_packable_type if
Component_Clause.
2004-04-29 Olivier Hainque <hainque@act-europe.fr>
* init.c (__gnat_install_handler, __gnat_error_handler): Remove
alternate stack setting. There was no support for the tasking cases
and the changes eventually caused a number of side-effect failures in
the non-tasking case too.
2004-04-29 Eric Botcazou <ebotcazou@act-europe.fr>
lang-specs.h: Redirect output to /dev/null if -gnatc or -gnatz or
-gnats is passed.
2004-04-29 Vincent Celier <celier@gnat.com>
* make.adb (Gnatmake): Increase max size of argument array for
gnatbind for the potential addition of -F.
If there are Stand-Alone Library projects, invoke gnatbind with -F to
be sure that elaboration flags will be checked.
* switch-c.adb: Correct call to Scan_Pos for -gnateI
2004-04-29 Thomas Quinot <quinot@act-europe.fr>
* sem_warn.adb (Check_References): Move '<access-variable> may be
null' warning out of under Warn_On_No_Value_Assigned.
2004-04-29 Ed Falis <falis@gnat.com>
* gnat_ugn.texi: Fixed texi error
2004-04-29 Robert Dewar <dewar@gnat.com>
* sem_ch4.adb (Remove_Abstract_Operations): Unconditionally remove
abstract operations if they come from predefined files.
* gnat_rm.texi: Fix bad doc for pragma Elaboration_Checks (should be
Dynamic, not RM).
* s-addope.adb: Correct obvious error in mod function
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@81289 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 8dbc0d36c1a..fad86e184bc 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -1308,16 +1308,17 @@ debug procedures in the middle of declarations. Syntax: @smallexample @c ada -pragma Elaboration_Checks (RM | Static); +pragma Elaboration_Checks (Dynamic | Static); @end smallexample @noindent This is a configuration pragma that provides control over the elaboration model used by the compilation affected by the -pragma. If the parameter is RM, then the dynamic elaboration +pragma. If the parameter is @code{Dynamic}, +then the dynamic elaboration model described in the Ada Reference Manual is used, as though the @code{-gnatE} switch had been specified on the command -line. If the parameter is Static, then the default GNAT static +line. If the parameter is @code{Static}, then the default GNAT static model is used. This configuration pragma overrides the setting of the command line. For full details on the elaboration models used by the GNAT compiler, see section ``Elaboration Order |