diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-08-06 08:35:47 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-08-06 08:35:47 +0000 |
| commit | b76829e9b0a0ee4dfa02a95af8d45612fbda21b7 (patch) | |
| tree | 63a411a3cf6a846e49f7e994420974199304592a /gcc/ada/exp_attr.adb | |
| parent | 32ec9a977785bafa492185ac4e5e0880f93d7d17 (diff) | |
| download | gcc-b76829e9b0a0ee4dfa02a95af8d45612fbda21b7.tar.gz | |
2012-08-06 Thomas Quinot <quinot@adacore.com>
* sem_ch4.adb: Minor reformatting.
2012-08-06 Thomas Quinot <quinot@adacore.com>
* s-oscons-tmplt.c, xoscons.adb: Per the Single UNIX Specification,
types cc_t, speed_t, and tcflag_t defined in <termios.h> all are
unsigned types. Add required special handling to have their correct
unsigned values in s-oscons.ads.
2012-08-06 Thomas Quinot <quinot@adacore.com>
* par-ch13.adb: Minor reformatting.
2012-08-06 Thomas Quinot <quinot@adacore.com>
* g-sercom.adb, g-sercom.ads, g-sercom-mingw.adb, g-sercom-linux.adb
(Set): Add Local and Flow_Control settings.
2012-08-06 Ed Schonberg <schonberg@adacore.com>
* exp_attr.adb: Suppress saving of 'Old if assertions are not
enabled.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@190170 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_attr.adb')
| -rw-r--r-- | gcc/ada/exp_attr.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 6516d3bc199..b0f409d071c 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -3379,6 +3379,13 @@ package body Exp_Attr is Asn_Stm : Node_Id; begin + -- If assertions are disabled, no need to create the declaration + -- that preserves the value. + + if not Assertions_Enabled then + return; + end if; + -- Find the nearest subprogram body, ignoring _Preconditions Subp := N; |