This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Ada] Discard_Names in HIE mode
- To: gcc-patches at gcc dot gnu dot org
- Subject: [Ada] Discard_Names in HIE mode
- From: bosch at gnat dot com
- Date: Thu, 25 Oct 2001 19:52:48 -0400 (EDT)
Checked in for Robert.
-Geert
2001-10-25 Robert Dewar <dewar@gnat.com>
* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
in no run time mode.
*** restrict.adb 2001/09/30 05:20:22 1.38
--- restrict.adb 2001/10/08 02:13:57 1.39
***************
*** 378,383 ****
--- 378,384 ----
begin
No_Run_Time := True;
Restrictions (No_Exception_Handlers) := True;
+ Opt.Global_Discard_Names := True;
end Set_No_Run_Time_Mode;
-------------------