| commit | d8d887834cb24d26b450271939461c7177d47382 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Aug 2014 10:46:25 +0000 (4 10:46 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Aug 2014 10:46:25 +0000 (4 10:46 +0000) | ||
| tree | 5b3b1ed131c177e7f63281041f2faf7a7edb8522 | treesnapshot (tar.gz zip) |
| parent | ad0254f29688ab88dcc98f49ea2968bae15ca806 | commitdiff |
2014-08-04 Robert Dewar <dewar@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Make sure prefix
of constructed 'Valid attribute in -gnatVa mode does not appear
to come from source.
* sem_attr.adb (Analyze_Access_Attribute): Don't set
Never_Set_In_Source for non-source reference.
* sem_util.adb: Minor reformatting.
* sem_warn.adb (Check_References): Don't check Address_Taken,
not necessary, see comment.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213568 138bc75d-0d04-0410-961f-82ee72b054a4
* exp_attr.adb (Expand_N_Attribute_Reference): Make sure prefix
of constructed 'Valid attribute in -gnatVa mode does not appear
to come from source.
* sem_attr.adb (Analyze_Access_Attribute): Don't set
Never_Set_In_Source for non-source reference.
* sem_util.adb: Minor reformatting.
* sem_warn.adb (Check_References): Don't check Address_Taken,
not necessary, see comment.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213568 138bc75d-0d04-0410-961f-82ee72b054a4