diff options
author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-10-09 20:47:26 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-10-09 20:47:26 +0000 |
commit | 3fc40cd783cb149d7d6c328def33606ec17ab15f (patch) | |
tree | 5464e584db086ae7844c699ab4fedf3aea926122 /gcc/ada/sem_ch7.adb | |
parent | 367601d1238a0b997ec9321ab2c58e5557d972c2 (diff) | |
download | gcc-3fc40cd783cb149d7d6c328def33606ec17ab15f.zip gcc-3fc40cd783cb149d7d6c328def33606ec17ab15f.tar.gz gcc-3fc40cd783cb149d7d6c328def33606ec17ab15f.tar.bz2 |
[multiple changes]
2017-10-09 Hristian Kirtchev <kirtchev@adacore.com>
* sem_unit.adb (Find_Enclosing_Scope): Do not treat a block statement
as a scoping construct when it is byproduct of exception handling.
2017-10-09 Hristian Kirtchev <kirtchev@adacore.com>
* sinfo.ads: Update table Is_Syntactic_Field to reflect the nature of
semantic field Target of node N_Call_Marker.
2017-10-09 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Allocator): Reject properly an allocator that
attempts to copy a limited value, when the allocator is the expression
in an expression function.
2017-10-09 Joel Brobecker <brobecker@adacore.com>
* doc/share/conf.py: Tell the style checker that this is a Python
fragment, and therefore that pyflakes should not be run to validate
this file.
2017-10-09 Eric Botcazou <ebotcazou@adacore.com>
* einfo.ads (Is_Boolean_Type): Add pragma Inline.
(Is_Entity_Name): Likewise.
(Is_String_Type): Likewise.
* sem_type.adb (Full_View_Covers): Do not test Is_Private_Type here
and remove useless comparisons on the base types.
(Covers): Use simple tests for Standard_Void_Type. Move up cheap tests
on T2. Always test Is_Private_Type before Full_View_Covers.
2017-10-09 Bob Duff <duff@adacore.com>
* exp_ch4.adb: Minor refactoring.
From-SVN: r253568
Diffstat (limited to 'gcc/ada/sem_ch7.adb')
-rw-r--r-- | gcc/ada/sem_ch7.adb | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/gcc/ada/sem_ch7.adb b/gcc/ada/sem_ch7.adb index f9a5900..dc00cf9 100644 --- a/gcc/ada/sem_ch7.adb +++ b/gcc/ada/sem_ch7.adb @@ -281,14 +281,6 @@ package body Sem_Ch7 is -- If we haven't already traversed Node, then mark it and traverse -- it. - procedure Scan_Subprogram_Refs (Node : Node_Id) is - begin - if not Traversed_Table.Get (Node) then - Traversed_Table.Set (Node, True); - Traverse_And_Scan_Subprogram_Refs (Node); - end if; - end Scan_Subprogram_Refs; - -------------------- -- Has_Referencer -- -------------------- @@ -533,6 +525,18 @@ package body Sem_Ch7 is return OK; end Scan_Subprogram_Ref; + -------------------------- + -- Scan_Subprogram_Refs -- + -------------------------- + + procedure Scan_Subprogram_Refs (Node : Node_Id) is + begin + if not Traversed_Table.Get (Node) then + Traversed_Table.Set (Node, True); + Traverse_And_Scan_Subprogram_Refs (Node); + end if; + end Scan_Subprogram_Refs; + -- Local variables Discard : Boolean; |