diff options
| author | Robert Dewar <dewar@adacore.com> | 2013-10-10 12:46:01 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-10 14:46:01 +0200 |
| commit | 5a8a6763b58fe46c1a2f1710b31705565e29667c (patch) | |
| tree | 30a07f379277d92f57cb97125b0fde8b9a362e6d /gcc/ada/freeze.adb | |
| parent | 3cd4a210696acc25b7bc0e338200edaf51112b88 (diff) | |
| download | gcc-5a8a6763b58fe46c1a2f1710b31705565e29667c.zip gcc-5a8a6763b58fe46c1a2f1710b31705565e29667c.tar.gz gcc-5a8a6763b58fe46c1a2f1710b31705565e29667c.tar.bz2 | |
freeze.adb: Minor reformatting.
2013-10-10 Robert Dewar <dewar@adacore.com>
* freeze.adb: Minor reformatting.
* sem_ch13.adb (Freeze_Entity_Checks): New procedure
(Analyze_Freeze_Entity): Call Freeze_Entity_Checks
(Analyze_Freeze_Generic_Entity): Call Freeze_Entity_Checks.
* sinfo.ads: Add syntax for sprint for Freeze_Generic_Entity.
* sprint.ads: Add syntax for freeze generic entity node.
2013-10-10 Robert Dewar <dewar@adacore.com>
* einfo.adb, einfo.ads: Minor comment updates.
From-SVN: r203368
Diffstat (limited to 'gcc/ada/freeze.adb')
| -rw-r--r-- | gcc/ada/freeze.adb | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index 68f400d..67f203d 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -1953,8 +1953,8 @@ package body Freeze is ----------------------------- function Freeze_Generic_Entities (Pack : Entity_Id) return List_Id is - E : Entity_Id; - F : Node_Id; + E : Entity_Id; + F : Node_Id; Flist : List_Id; begin @@ -2793,6 +2793,12 @@ package body Freeze is then return No_List; + -- Generic types need no freeze node and have no delayed semantic + -- checks. + + elsif Is_Generic_Type (E) then + return No_List; + -- Do not freeze a global entity within an inner scope created during -- expansion. A call to subprogram E within some internal procedure -- (a stream attribute for example) might require freezing E, but the |