diff options
| author | Robert Dewar <dewar@gnat.com> | 2001-10-12 00:21:40 +0000 |
|---|---|---|
| committer | Geert Bosch <bosch@gcc.gnu.org> | 2001-10-12 02:21:40 +0200 |
| commit | 0868e09caa8ce3325ab48b8acf2e19fd48fea21d (patch) | |
| tree | 0f89902e80ebe7075531f1ea0945930034fb97aa /gcc/ada/restrict.adb | |
| parent | 934abf9c1f9ae8d393ba3649d6b63143a80c7be9 (diff) | |
| download | gcc-0868e09caa8ce3325ab48b8acf2e19fd48fea21d.zip gcc-0868e09caa8ce3325ab48b8acf2e19fd48fea21d.tar.gz gcc-0868e09caa8ce3325ab48b8acf2e19fd48fea21d.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 12 |
1 files changed, 9 insertions, 3 deletions
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; |