diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-07-09 10:36:42 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-07-09 10:36:42 +0000 |
| commit | e4c87fa54e168be9cdbb50057992277b6984ea12 (patch) | |
| tree | d2e9bd8a5faa86e9021f0ad569650516d8108c88 /gcc/ada/sem_case.adb | |
| parent | 5ab7f2859836f90a6b9ff0816bfdda210b97ecc7 (diff) | |
| download | gcc-e4c87fa54e168be9cdbb50057992277b6984ea12.tar.gz | |
2012-07-09 Vincent Celier <celier@adacore.com>
* lib-writ.ads: Add documentation for the Z lines (implicitly
withed units) and Y lines (limited withed units).
2012-07-09 Robert Dewar <dewar@adacore.com>
* lib.ads, exp_attr.adb, exp_ch9.adb, sem_dim.adb, sem_ch9.adb,
sem_prag.adb, sem_ch12.adb, mlib-utl.adb, freeze.adb, sem_res.adb,
sem_attr.adb, sem_case.adb, gnatlink.adb, exp_ch4.adb, sem_ch6.adb,
sem_elim.adb, s-dimmks.ads, sem_ch13.adb: Minor code clean ups.
2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
* gnat_ugn.texi (Switches for gcc): Document -gnatn[12] only
lightly in the summary and more thoroughly in inlining section.
(Performance Considerations): Document -gnatn[12] in inlining
section.
2012-07-09 Tristan Gingold <gingold@adacore.com>
* a-exexpr-gcc.adb (Unhandled_Except_Handler): New procedure.
(Unhandled_Others_Value): New const.
* raise-gcc.c (GNAT_UNHANDLED_OTHERS): Define.
(action_descriptor): Remove ttype_entry.
(get_action_description_for): Do not assign ttype_entry.
(is_handled_by): Consider GNAT_UNHANDLED_OTHERS.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189367 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_case.adb')
| -rw-r--r-- | gcc/ada/sem_case.adb | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb index 8fa307442a6..3dd3b617820 100644 --- a/gcc/ada/sem_case.adb +++ b/gcc/ada/sem_case.adb @@ -162,9 +162,7 @@ package body Sem_Case is -- AI05-0188 : within an instance the non-others choices do not -- have to belong to the actual subtype. - if Ada_Version >= Ada_2012 - and then In_Instance - then + if Ada_Version >= Ada_2012 and then In_Instance then return; end if; @@ -714,7 +712,8 @@ package body Sem_Case is -- Do not insert non static choices in the table to be sorted elsif not Is_Static_Expression (Lo) - or else not Is_Static_Expression (Hi) + or else + not Is_Static_Expression (Hi) then Process_Non_Static_Choice (Choice); return; @@ -727,12 +726,10 @@ package body Sem_Case is Raises_CE := True; return; - -- AI05-0188 : within an instance the non-others choices do not + -- AI05-0188 : Within an instance the non-others choices do not -- have to belong to the actual subtype. - elsif Ada_Version >= Ada_2012 - and then In_Instance - then + elsif Ada_Version >= Ada_2012 and then In_Instance then return; -- Otherwise we have an OK static choice |