From a79cdb2c620b61aeb397eb546a790b106dd230ca Mon Sep 17 00:00:00 2001 From: Bob Duff Date: Fri, 22 May 2015 12:31:03 +0000 Subject: [PATCH] freeze.adb (Freeze_Profile): Suppress warning if imported subprogram is not at library level. 2015-05-22 Bob Duff * freeze.adb (Freeze_Profile): Suppress warning if imported subprogram is not at library level. From-SVN: r223549 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/freeze.adb | 15 +++++++++++++-- 2 files changed, 18 insertions(+), 2 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 161d0cf4c96..b803fcd7990 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2015-05-22 Bob Duff + + * freeze.adb (Freeze_Profile): Suppress warning if imported + subprogram is not at library level. + 2015-05-22 Robert Dewar * sem_ch8.adb (Analyze_Object_Renaming): Check for renaming diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index f3249812711..1c4615bbba2 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -3357,9 +3357,20 @@ package body Freeze is end if; end if; - -- Check suspicious use of Import in pure unit + -- Check suspicious use of Import in pure unit (cases where the RM + -- allows calls to be omitted). - if Is_Imported (E) and then Is_Pure (Cunit_Entity (Current_Sem_Unit)) + if Is_Imported (E) + + -- It might be suspicious if the compilation unit has the Pure + -- aspect/pragma. + + and then Has_Pragma_Pure (Cunit_Entity (Current_Sem_Unit)) + + -- The RM allows omission of calls only in the case of + -- library-level subprograms (see RM-10.2.1(18)). + + and then Is_Library_Level_Entity (E) -- Ignore internally generated entity. This happens in some cases -- of subprograms in specs, where we generate an implied body. -- 2.30.2