diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 14:13:14 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 14:13:14 +0200 |
| commit | 1dcdbfab317af110a083a43e932d00f3dcdc742d (patch) | |
| tree | cdb8b5b456fe8e12f7e903b0952abeeeea6633c0 /gcc | |
| parent | 597d7158c66a05d0324c54c6dbaafb999f049301 (diff) | |
| download | gcc-1dcdbfab317af110a083a43e932d00f3dcdc742d.zip gcc-1dcdbfab317af110a083a43e932d00f3dcdc742d.tar.gz gcc-1dcdbfab317af110a083a43e932d00f3dcdc742d.tar.bz2 | |
2008-08-22 Robert Dewar <dewar@adacore.com>
* exp_attr.adb:
(Expand_N_Attribute_Reference): No validity checking on OUT parameter of
Read or Input attribute.
From-SVN: r139443
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 38 | ||||
| -rw-r--r-- | gcc/ada/exp_attr.adb | 6 |
2 files changed, 43 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index a7b793b..d3a2d4c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,41 @@ +2008-08-22 Thomas Quinot <quinot@adacore.com> + + * sem_ch8.adb: Minor reformatting + Minor code reorganization (introduce subprogram to factor duplicated + code). + +2008-08-22 Sergey Rybin <rybin@adacore.com> + + * gnat_ugn.texi: Change the description of gnatcheck default rule + settings. + +2008-08-22 Eric Botcazou <ebotcazou@adacore.com> + + * init.c (__gnat_adjust_context_for_raise): Delete for AIX, HP-UX, + Solaris, FreeBSD, VxWorks and PowerPC/Linux. For x86{-64}/Linux, + do not adjust the PC anymore. + (__gnat_error_handler): Do not call __gnat_adjust_context_for_raise + on AIX, HP-UX, Solaris, FreeBSD and VxWorks. + + * raise-gcc.c (get_call_site_action_for): Use _Unwind_GetIPInfo + instead of _Unwind_GetIP. + +2008-08-22 Gary Dismukes <dismukes@adacore.com> + + * exp_aggr.adb (Static_Array_Aggregate): When a static array aggregate + with a range is transformed into a positional aggregate, any copied + component literals should be marked Is_Static_Expression. + + * sem_eval.adb (Compile_Time_Known_Value): Don't treat null literals as + not being known at at compile time when Configurable_Run_Time_Mode is + true. + +2008-08-22 Robert Dewar <dewar@adacore.com> + + * exp_attr.adb: + (Expand_N_Attribute_Reference): No validity checking on OUT parameter of + Read or Input attribute. + 2008-08-22 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Use_One_Type): when checking which of two use_type diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index f511178..04e7a0b 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -607,10 +607,14 @@ package body Exp_Attr is begin -- Do required validity checking, if enabled. Do not apply check to -- output parameters of an Asm instruction, since the value of this - -- is not set till after the attribute has been elaborated. + -- is not set till after the attribute has been elaborated, and do + -- not apply the check to the arguments of a 'Read or 'Input attribute + -- reference since the scalar argument is an OUT scalar. if Validity_Checks_On and then Validity_Check_Operands and then Id /= Attribute_Asm_Output + and then Id /= Attribute_Read + and then Id /= Attribute_Input then declare Expr : Node_Id; |