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/sinfo.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/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 866dd5f..073c79c 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -229,7 +229,9 @@ package body Sinfo is (N : Node_Id) return List_Id is begin pragma Assert (False - or else NT (N).Nkind = N_Case_Statement); + or else NT (N).Nkind = N_Case_Statement + or else NT (N).Nkind = N_In + or else NT (N).Nkind = N_Not_In); return List4 (N); end Alternatives; @@ -3034,7 +3036,9 @@ package body Sinfo is (N : Node_Id; Val : List_Id) is begin pragma Assert (False - or else NT (N).Nkind = N_Case_Statement); + or else NT (N).Nkind = N_Case_Statement + or else NT (N).Nkind = N_In + or else NT (N).Nkind = N_Not_In); Set_List4_With_Parent (N, Val); end Set_Alternatives; |