diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-07-27 13:24:40 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-07-27 13:24:40 +0000 |
| commit | 3f83fcb46d5fe324aebbc8eacdc0794e382df888 (patch) | |
| tree | f2f6a4a1b6a1297ad50c0ca8b6f279abe368f380 /gcc/ada/exp_ch2.adb | |
| parent | ed1955558aba1fc7929d187428212e81843a0b93 (diff) | |
| download | ppe42-gcc-3f83fcb46d5fe324aebbc8eacdc0794e382df888.tar.gz ppe42-gcc-3f83fcb46d5fe324aebbc8eacdc0794e382df888.zip | |
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
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150111 138bc75d-0d04-0410-961f-82ee72b054a4
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 9d475e2ca6a..e0be4042f11 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; |
