diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 12:45:55 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 12:45:55 +0200 |
| commit | 75a957f5dba310b73a1d040da70f6e4077379af4 (patch) | |
| tree | 97ebf50af958de9b7d35ca951dc92ba8b70a8099 /gcc/ada/einfo.ads | |
| parent | bc795e3e039342e74d2d2b0515dd190f7d24ec65 (diff) | |
| download | gcc-75a957f5dba310b73a1d040da70f6e4077379af4.zip gcc-75a957f5dba310b73a1d040da70f6e4077379af4.tar.gz gcc-75a957f5dba310b73a1d040da70f6e4077379af4.tar.bz2 | |
[multiple changes]
2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb Flag286 is now used as Is_Exception_Handler.
(Is_Exception_Handler): New routine.
(Set_Is_Exception_Handler): New routine.
(Write_Entity_Flags): Output the status of Is_Exception_Handler.
* einfo.ads New attribute Is_Exception_Handler along with
occurrences in entities.
(Is_Exception_Handler): New routine along with pragma Inline.
(Set_Is_Exception_Handler): New routine along with pragma Inline.
* exp_ch7.adb (Make_Transient_Block): Ignore blocks generated
for exception handlers with a choice parameter.
* sem_ch11.adb (Analyze_Exception_Handlers): Mark the scope
generated for a choice parameter as an exception handler.
2016-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Build_Derived_Access_Type): Remove dead code.
(Constrain_Discriminated_Type): In an instance, if the type has
unknown discriminants, use its full view.
(Process_Subtype): Check that the base type is private before
adding subtype to Private_Dependents list.
2016-04-20 Bob Duff <duff@adacore.com>
* sem_ch13.adb: Minor comment fix.
From-SVN: r235264
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index e55c676..535fa39 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -2428,6 +2428,11 @@ package Einfo is -- Is_Enumeration_Type (synthesized) -- Defined in all entities, true for enumeration types and subtypes +-- Is_Exception_Handler (Flag286) +-- Defined in blocks. Set if the block serves only as a scope of an +-- exception handler with a choice parameter. Such a block does not +-- physically appear in the tree. + -- Is_Exported (Flag99) -- Defined in all entities. Set if the entity is exported. For now we -- only allow the export of constants, exceptions, functions, procedures @@ -5621,6 +5626,7 @@ package Einfo is -- Discard_Names (Flag88) -- Has_Master_Entity (Flag21) -- Has_Nested_Block_With_Handler (Flag101) + -- Is_Exception_Handler (Flag286) -- Sec_Stack_Needed_For_Return (Flag167) -- Uses_Sec_Stack (Flag95) -- Scope_Depth (synth) @@ -6971,6 +6977,7 @@ package Einfo is function Is_Dispatching_Operation (Id : E) return B; function Is_Eliminated (Id : E) return B; function Is_Entry_Formal (Id : E) return B; + function Is_Exception_Handler (Id : E) return B; function Is_Exported (Id : E) return B; function Is_First_Subtype (Id : E) return B; function Is_For_Access_Subtype (Id : E) return B; @@ -7634,6 +7641,7 @@ package Einfo is procedure Set_Is_Dispatching_Operation (Id : E; V : B := True); procedure Set_Is_Eliminated (Id : E; V : B := True); procedure Set_Is_Entry_Formal (Id : E; V : B := True); + procedure Set_Is_Exception_Handler (Id : E; V : B := True); procedure Set_Is_Exported (Id : E; V : B := True); procedure Set_Is_First_Subtype (Id : E; V : B := True); procedure Set_Is_For_Access_Subtype (Id : E; V : B := True); @@ -8434,6 +8442,7 @@ package Einfo is pragma Inline (Is_Entry); pragma Inline (Is_Entry_Formal); pragma Inline (Is_Enumeration_Type); + pragma Inline (Is_Exception_Handler); pragma Inline (Is_Exported); pragma Inline (Is_First_Subtype); pragma Inline (Is_Fixed_Point_Type); @@ -8923,6 +8932,7 @@ package Einfo is pragma Inline (Set_Is_Dispatching_Operation); pragma Inline (Set_Is_Eliminated); pragma Inline (Set_Is_Entry_Formal); + pragma Inline (Set_Is_Exception_Handler); pragma Inline (Set_Is_Exported); pragma Inline (Set_Is_First_Subtype); pragma Inline (Set_Is_For_Access_Subtype); |