OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

sem_prag.adb (Analyze_Pragma, [...]): Don't allow REASON parameter in compiler units (bootstrap issues).

Browse Source 
2013-09-10  Robert Dewar  <dewar@adacore.com>

	* sem_prag.adb (Analyze_Pragma, case Warnings): Don't allow
	REASON parameter in compiler units (bootstrap issues).

2013-09-10  Robert Dewar  <dewar@adacore.com>

	* gnat1drv.adb (Adjust_Global_Switches): Output warning if
	-gnateE specified for a target that does not support it.

From-SVN: r202463
This commit is contained in:
Robert Dewar 2013-09-10 15:15:20 +00:00 committed by Arnaud Charlet
parent 80e59506c2
commit 7b64b700f2
3 changed files with 32 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/ada/ChangeLog
View File

@ -1,3 +1,13 @@
2013-09-10 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Warnings): Don't allow
REASON parameter in compiler units (bootstrap issues).
2013-09-10 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Output warning if
-gnateE specified for a target that does not support it.
2013-09-10 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case SPARK_Mode): Handle properly

21
gcc/ada/gnat1drv.adb
View File

@ -242,7 +242,7 @@ procedure Gnat1drv is
-- Enable assertions, since they give CodePeer valuable extra info
Assertions_Enabled := True;
Assertions_Enabled := True;
-- Disable all simple value propagation. This is an optimization
-- which is valuable for code optimization, and also for generation
@ -413,10 +413,10 @@ procedure Gnat1drv is
-- which is more complex to formally verify than the original source.
Tagged_Type_Expansion := False;
end if;
-- Set Configurable_Run_Time mode if system.ads flag set
-- Set Configurable_Run_Time mode if system.ads flag set or if the
-- special debug flag -gnatdY is set.
if Targparm.Configurable_Run_Time_On_Target or Debug_Flag_YY then
Configurable_Run_Time_Mode := True;
@ -571,6 +571,21 @@ procedure Gnat1drv is
end if;
end if;
-- Output warning if -gnateE specified and cannot be supported
if Exception_Extra_Info
and then Restrict.No_Exception_Handlers_Set
then
Set_Standard_Error;
Write_Str
("warning: extra exception information (-gnateE) was specified");
Write_Eol;
Write_Str
("warning: this capability is not available in this configuration");
Write_Eol;
Set_Standard_Output;
end if;
-- Finally capture adjusted value of Suppress_Options as the initial
-- value for Scope_Suppress, which will be modified as we move from
-- scope to scope (by Suppress/Unsuppress/Overflow_Checks pragmas).

4
gcc/ada/sem_prag.adb
View File

@ -17958,6 +17958,10 @@ package body Sem_Prag is
then
Check_Arg_Is_Static_Expression (Last_Arg, Standard_String);
Arg_Count := Arg_Count - 1;
-- Not allowed in compiler units (bootstrap issues)
Check_Compiler_Unit (N);
end if;
end;