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 /libchill/xorps.c | |
| 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 'libchill/xorps.c')
0 files changed, 0 insertions, 0 deletions