diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 15:49:28 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 15:49:28 +0100 |
| commit | be42aa717c3018ccf1c7ce4267e02cfe9210cc1e (patch) | |
| tree | 23ea534f073473db63cb1df7a4649d2a1a8035af /gcc/ada/lib-xref.adb | |
| parent | 4cea8675697151f7e8c5b30259da9ac0971ab070 (diff) | |
| download | gcc-be42aa717c3018ccf1c7ce4267e02cfe9210cc1e.zip gcc-be42aa717c3018ccf1c7ce4267e02cfe9210cc1e.tar.gz gcc-be42aa717c3018ccf1c7ce4267e02cfe9210cc1e.tar.bz2 | |
[multiple changes]
2017-01-20 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch9.adb: minor style fixes in comments.
* sem_ch9.adb (Analyze_Delay_Relative): in GNATprove mode a delay
relative statement introduces an implicit dependency on
Ada.Real_Time.Clock_Time.
* sem_util.adb: Minor reformatting.
2017-01-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Aspect Alignment
must be treated as delayed aspect even if the expression is
a literal, because the aspect affects the freezing and the
elaboration of the object to which it applies.
2017-01-20 Tristan Gingold <gingold@adacore.com>
* s-osinte-vxworks.ads (Interrup_Range): New subtype.
2017-01-20 Ed Schonberg <schonberg@adacore.com>
* lib-xref.adb (Generate_Reference): Do not warn about the
presence of a pragma Unreferenced if the entity appears as the
actual in a procedure call that does not come from source.
2017-01-20 Pascal Obry <obry@adacore.com>
* expect.c, terminals.c: Fix some warnings about unused variables.
* gsocket.h, adaint.c, adaint.h: Fix some more warnings in the C part
of the runtime.
2017-01-20 Bob Duff <duff@adacore.com>
* exp_attr.adb (Constrained): Apply an access check (check that
the prefix is not null) when the prefix denotes an object of an
access type; that is, when there is an implicit dereference.
2017-01-20 Gary Dismukes <dismukes@adacore.com>
* s-rident.ads (constant Profile_Info): Remove
No_Calendar from GNAT_Extended_Ravenscar restrictions.
2017-01-20 Tristan Gingold <gingold@adacore.com>
* s-maccod.ads: Add pragma No_Elaboration_Code_All
From-SVN: r244718
Diffstat (limited to 'gcc/ada/lib-xref.adb')
| -rw-r--r-- | gcc/ada/lib-xref.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index 6c42d2b..4d9fe69 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -863,6 +863,14 @@ package body Lib.Xref is elsif Is_On_LHS (N) then null; + -- No warning if the reference is in a call that does not come + -- from source (e.g. a call to a controlled type primitive). + + elsif not Comes_From_Source (Parent (N)) + and then Nkind (Parent (N)) = N_Procedure_Call_Statement + then + null; + -- For entry formals, we want to place the warning message on the -- corresponding entity in the accept statement. The current scope -- is the body of the accept, so we find the formal whose name |