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

gnat1drv.adb: Minor adjustments.

Browse Source 
* gnat1drv.adb: Minor adjustments.
	(Adjust_Global_Switches): Disable some related flags in CodePeer mode.
	* sem_ch4.adb (Has_Arbitrary_Evaluation_Order,
	Stop_Subtree_Climbind): Code cleanup.
	* einfo.ads: Minor comment change.

From-SVN: r223669
This commit is contained in:
Arnaud Charlet 2015-05-26 08:19:55 +00:00 committed by Arnaud Charlet
parent 22e89283f7
commit 213999c233
4 changed files with 24 additions and 66 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ada/ChangeLog
View File

@ -1,3 +1,11 @@
2015-05-26 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb: Minor adjustments.
(Adjust_Global_Switches): Disable some related flags in CodePeer mode.
* sem_ch4.adb (Has_Arbitrary_Evaluation_Order,
Stop_Subtree_Climbind): Code cleanup.
* einfo.ads: Minor comment change.
2015-05-26 Javier Miranda <miranda@adacore.com>
* sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate):

2
gcc/ada/einfo.ads
View File

@ -912,7 +912,7 @@ package Einfo is
-- incomplete type.
-- Disable_Controlled (Flag253)
-- Present in all entities. Set for controlled type (Is_Controlled flag
-- Present in all entities. Set for a controlled type (Is_Controlled flag
-- set) if the aspect Disable_Controlled is active for the type.
-- Discard_Names (Flag88)

10
gcc/ada/gnat1drv.adb
View File

@ -202,6 +202,16 @@ procedure Gnat1drv is
GNATprove_Mode := False;
Debug_Flag_Dot_FF := False;
-- Turn off C tree generation, not compatible with CodePeer mode. We
-- do not expect this to happen in normal use, since both modes are
-- enabled by special tools, but it is useful to turn off these flags
-- this way when we are doing codepeer tests on existing test suites
-- that may have -gnatd.V set, to avoid the need for special casing.
Modify_Tree_For_C := False;
Generate_C_Code := False;
Unnest_Subprogram_Mode := False;
-- Turn off inlining, confuses CodePeer output and gains nothing
Front_End_Inlining := False;

70
gcc/ada/sem_ch4.adb
View File

@ -83,59 +83,10 @@ package body Sem_Ch4 is
N_Pragma => True,
N_Range => True,
N_Slice => True,
-- N_Array_Type_Definition
-- why not
-- N_Array_Type_Definition => True,
-- etc ???
N_Constrained_Array_Definition => True,
N_Unconstrained_Array_Definition => True,
-- N_Membership_Test
N_In => True,
N_Not_In => True,
-- N_Binary_Op
N_Op_Add => True,
N_Op_Concat => True,
N_Op_Expon => True,
N_Op_Subtract => True,
N_Op_Divide => True,
N_Op_Mod => True,
N_Op_Multiply => True,
N_Op_Rem => True,
N_Op_And => True,
N_Op_Eq => True,
N_Op_Ge => True,
N_Op_Gt => True,
N_Op_Le => True,
N_Op_Lt => True,
N_Op_Ne => True,
N_Op_Or => True,
N_Op_Xor => True,
N_Op_Rotate_Left => True,
N_Op_Rotate_Right => True,
N_Op_Shift_Left => True,
N_Op_Shift_Right => True,
N_Op_Shift_Right_Arithmetic => True,
N_Op_Not => True,
N_Op_Plus => True,
-- N_Subprogram_Call
N_Function_Call => True,
N_Procedure_Call_Statement => True,
N_Array_Type_Definition => True,
N_Membership_Test => True,
N_Binary_Op => True,
N_Subprogram_Call => True,
others => False);
-- The following table enumerates the nodes on which we stop climbing when
@ -155,18 +106,7 @@ package body Sem_Ch4 is
N_Pragma => True,
N_Procedure_Call_Statement => True,
N_Simple_Return_Statement => True,
-- N_Has_Condition
N_Exit_Statement => True,
N_If_Statement => True,
N_Accept_Alternative => True,
N_Delay_Alternative => True,
N_Elsif_Part => True,
N_Entry_Body_Formal_Part => True,
N_Iteration_Scheme => True,
N_Has_Condition => True,
others => False);
-----------------------