diff options
| author | Robert Dewar <dewar@adacore.com> | 2009-07-13 09:03:48 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-13 11:03:48 +0200 |
| commit | 1629f7005208e42cede66374861c211c5a6d85e8 (patch) | |
| tree | ffcc18e7df150785b6195dbd7d97b32893c554f3 /gcc/ada/par.adb | |
| parent | c6f3943726b17627b823edc39ab0b33192427b2f (diff) | |
| download | gcc-1629f7005208e42cede66374861c211c5a6d85e8.zip gcc-1629f7005208e42cede66374861c211c5a6d85e8.tar.gz gcc-1629f7005208e42cede66374861c211c5a6d85e8.tar.bz2 | |
par-ch3.adb (P_Discrete_Choice_List): Choice can only be simple expression if extensions permitted.
2009-07-13 Robert Dewar <dewar@adacore.com>
* par-ch3.adb (P_Discrete_Choice_List): Choice can only be simple
expression if extensions permitted.
* par-ch4.adb (P_Membership_Test): New procedure (implement membership
set tests).
(P_Relation): Use P_Membership_Test
* par.adb (P_Membership_Test): New procedure (implement membership set
tests).
* sinfo.ads, sinfo.adb (N_In, N_Not_In) Add Alternatives field for sets.
* sprint.adb (Sprint_Node): Handle set form for membership tests.
From-SVN: r149556
Diffstat (limited to 'gcc/ada/par.adb')
| -rw-r--r-- | gcc/ada/par.adb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb index 769e3e4..a323d7a 100644 --- a/gcc/ada/par.adb +++ b/gcc/ada/par.adb @@ -577,7 +577,6 @@ is function P_Known_Discriminant_Part_Opt return List_Id; function P_Signed_Integer_Type_Definition return Node_Id; function P_Range return Node_Id; - function P_Range_Or_Subtype_Mark return Node_Id; function P_Range_Constraint return Node_Id; function P_Record_Definition return Node_Id; function P_Subtype_Mark return Node_Id; @@ -629,6 +628,11 @@ is -- Ada 2005 (AI-231): The flag Not_Null_Present indicates that the -- null-excluding part has been scanned out and it was present. + function P_Range_Or_Subtype_Mark + (Allow_Simple_Expression : Boolean := False) return Node_Id; + -- Scans out a range or subtype mark, and also permits a general simple + -- expression if Allow_Simple_Expresion is set to True. + function Init_Expr_Opt (P : Boolean := False) return Node_Id; -- If an initialization expression is present (:= expression), then -- it is scanned out and returned, otherwise Empty is returned if no |