From be42aa717c3018ccf1c7ce4267e02cfe9210cc1e Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 20 Jan 2017 15:49:28 +0100 Subject: [multiple changes] 2017-01-20 Hristian Kirtchev * 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 * 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 * s-osinte-vxworks.ads (Interrup_Range): New subtype. 2017-01-20 Ed Schonberg * 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 * 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 * 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 * s-rident.ads (constant Profile_Info): Remove No_Calendar from GNAT_Extended_Ravenscar restrictions. 2017-01-20 Tristan Gingold * s-maccod.ads: Add pragma No_Elaboration_Code_All From-SVN: r244718 --- gcc/ada/lib-xref.adb | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'gcc/ada/lib-xref.adb') 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 -- cgit v1.1