diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-02-06 11:44:33 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-02-06 11:44:33 +0100 |
| commit | 9b7424a705ede81bcf45b214744872e54ffb9297 (patch) | |
| tree | d5faf65f688ce9d431c15195adea371db53dcf30 /gcc/ada/osint.ads | |
| parent | d7761b2d64f02ce7b9fd7c354c2f5b98805235c6 (diff) | |
| download | gcc-9b7424a705ede81bcf45b214744872e54ffb9297.tar.gz | |
[multiple changes]
2013-02-06 Robert Dewar <dewar@adacore.com>
* osint.ads: Minor fix of typo.
2013-02-06 Sergey Rybin <rybin@adacore.com frybin>
* gnat_ugn.texi: gnatmetric: update the documentation of
complexity metrics for Ada 2012.
2013-02-06 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Make_Secondary_DT): Code cleanup:
remove useless initialization.
2013-02-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Build_Discriminant_Constraints): Do not
generate overflow checks on a discriminant expression if the
discriminant constraint is applied to a private type that has
a full view, because the check will be applied when the full
view is elaborated. Removing the redundant check is not just
an optimization, but it prevents spurious assembler errors,
because of the way the backend generates names for expressions
that require overflow checking.
2013-02-06 Pascal Obry <obry@adacore.com>
* s-osprim-mingw.adb: Removes workaround for an old GNU/Linker
limitation on Windows.
(DA): Removed.
(LIA): Removed.
(LLIA): Removed.
(TFA): Removed.
(BTA): Removed.
(BMTA): Removed.
(BCA): Removed.
(BMCA): Removed.
(BTiA): Removed.
(Clock): Use variable corresponding to access.
(Get_Base_Time): Likewise.
(Monotonic_Clock): Likewise.
2013-02-06 Vincent Celier <celier@adacore.com>
* make.adb (Gnatmake): When gnatmake is called with a project
file, do not invoke gnatbind with -I-.
* makeutl.adb (Create_Binder_Mapping_File): Rewrite function. Get
the infos from all the sources.
2013-02-06 Ed Schonberg <schonberg@adacore.com>
* snames.ads-tmpl: Add Name_Overriding_Renamings and pragma
Overriding_Renamings.
* par-prag.adb: Recognize pragma Overriding_Renamings.
* opt.ads (Overriding_Renamings): flag to control compatibility
mode with Rational compiler, replaces Rational_Profile flag.
* sem_ch8.adb (Analyze_Subprogram_Renaming): When
Overriding_Renamings is enabled, accept renaming declarations
where the new subprogram renames and overrides a locally inherited
operation. Improve error message for some illegal renamings.
* sem_prag.adb (Analyze_Pragma): Add case for Overriding_Renamings.
(Set_Rational_Profile): The Rational_Profile enables
Overriding_Renamings, Implicit_Packing, and Use_Vads_Size.
2013-02-06 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb: Set parent of copied aggregate component, to
prevent infinite loop.
From-SVN: r195798
Diffstat (limited to 'gcc/ada/osint.ads')
| -rw-r--r-- | gcc/ada/osint.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/osint.ads b/gcc/ada/osint.ads index cbbcd92a193..dba06aad1c4 100644 --- a/gcc/ada/osint.ads +++ b/gcc/ada/osint.ads @@ -637,7 +637,7 @@ package Osint is -- Set_Exit_Status as the last action of the program. procedure OS_Exit_Through_Exception (Status : Integer); - pragma No_Return; + pragma No_Return (OS_Exit_Through_Exception); -- Set the Current_Exit_Status, then raise Types.Terminate_Program type Exit_Code_Type is ( |