diff options
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 |