diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-27 15:24:40 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-27 15:24:40 +0200 |
| commit | 9337aa0a75d5543b376718d8de61cb2120e9b767 (patch) | |
| tree | f2f6a4a1b6a1297ad50c0ca8b6f279abe368f380 /gcc/ada/exp_ch2.adb | |
| parent | 75ba322d4b345347a789f169532e50c9bd388971 (diff) | |
| download | gcc-9337aa0a75d5543b376718d8de61cb2120e9b767.zip gcc-9337aa0a75d5543b376718d8de61cb2120e9b767.tar.gz gcc-9337aa0a75d5543b376718d8de61cb2120e9b767.tar.bz2 | |
[multiple changes]
2009-07-27 Gary Dismukes <dismukes@adacore.com>
* sem_ch6.adb (Analyze_Function_Return): Set Referenced on return
objects, since these are implicitly referenced by the return statement.
* sem_warn.adb (Warn_On_Unreferenced_Entity): No longer a need to test
Is_Return_Object in this procedure, as return objects will never make
it here since they're now marked as Referenced.
2009-07-27 Robert Dewar <dewar@adacore.com>
* exp_ch2.adb, sem_util.adb, sem_util.ads: Minor reformnatting
From-SVN: r150111
Diffstat (limited to 'gcc/ada/exp_ch2.adb')
| -rw-r--r-- | gcc/ada/exp_ch2.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch2.adb b/gcc/ada/exp_ch2.adb index 9d475e2..e0be404 100644 --- a/gcc/ada/exp_ch2.adb +++ b/gcc/ada/exp_ch2.adb @@ -384,15 +384,17 @@ package body Exp_Ch2 is and then not Is_LHS (N) and then not Is_Actual_Out_Parameter (N) and then (Nkind (Parent (N)) /= N_Attribute_Reference - or else Attribute_Name (Parent (N)) /= Name_Valid) + or else Attribute_Name (Parent (N)) /= Name_Valid) then Write_Location (Sloc (N)); Write_Str (": Read from scalar """); Write_Name (Chars (N)); Write_Str (""""); + if Is_Known_Valid (E) then Write_Str (", Is_Known_Valid"); end if; + Write_Eol; end if; |