From 0868e09caa8ce3325ab48b8acf2e19fd48fea21d Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Fri, 12 Oct 2001 00:21:40 +0000 Subject: restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize the error message for high integrity mode. * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize the error message for high integrity mode. * rtsfind.adb (RTE): Give message if we try to find an entity that is not available in high integrity mode. * rtsfind.ads: (OK_To_Use_In_HIE_Mode): New array. (RTE): May return Empty in high integrity mode. * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx. * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined unit if not inlined always and in no runtime mode. Fixes problem caused by new Rtsfind changes. * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if body is deleted. * rtsfind.adb (RTE): Make sure we do not try to load unit after giving message for entity not available in high integrity mode. From-SVN: r46214 --- gcc/ada/restrict.adb | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'gcc/ada/restrict.adb') diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index a284cd4..0514088 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- $Revision: 1.37 $ +-- $Revision$ -- -- -- Copyright (C) 1992-2001 Free Software Foundation, Inc. -- -- -- @@ -37,6 +37,7 @@ with Namet; use Namet; with Nmake; use Nmake; with Opt; use Opt; with Stand; use Stand; +with Targparm; use Targparm; with Uname; use Uname; package body Restrict is @@ -266,8 +267,13 @@ package body Restrict is procedure Disallow_In_No_Run_Time_Mode (Enode : Node_Id) is begin if No_Run_Time then - Error_Msg_N - ("this construct not allowed in No_Run_Time mode", Enode); + if High_Integrity_Mode_On_Target then + Error_Msg_N + ("this construct not allowed in high integrity mode", Enode); + else + Error_Msg_N + ("this construct not allowed in No_Run_Time mode", Enode); + end if; end if; end Disallow_In_No_Run_Time_Mode; -- cgit v1.1