diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-10-09 20:28:22 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-10-09 20:28:22 +0000 |
| commit | 7f5e671bce70f537708f36033cd44869ca94fb4c (patch) | |
| tree | 502df8f997157241d93143dc07c49c176b749f99 /gcc/ada/atree.adb | |
| parent | f192ca5eea6a1b12e0cdf1e4342faa52744c5a25 (diff) | |
| download | gcc-7f5e671bce70f537708f36033cd44869ca94fb4c.tar.gz | |
[multiple changes]
2017-10-09 Justin Squirek <squirek@adacore.com>
* sem_ch3.adb: Rename Uses_Unseen_Priv into
Contains_Lib_Incomplete_Type.
2017-10-09 Hristian Kirtchev <kirtchev@adacore.com>
* sem_aggr.adb, sem_spark.adb, adabkend.adb, exp_ch5.adb, frontend.adb,
sem_ch12.adb, fmap.adb, exp_ch6.adb, exp_spark.adb, lib-load.adb,
exp_ch9.adb, osint.adb, exp_disp.adb, sem_ch8.adb, sem_ch8.ads,
prepcomp.adb, gnat1drv.adb, atree.adb, sinput-l.adb, targparm.adb,
sem_ch10.adb, par-ch8.adb: Minor reformatting.
From-SVN: r253566
Diffstat (limited to 'gcc/ada/atree.adb')
| -rw-r--r-- | gcc/ada/atree.adb | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb index f5a00991768..1a7e36ca70d 100644 --- a/gcc/ada/atree.adb +++ b/gcc/ada/atree.adb @@ -741,6 +741,7 @@ package body Atree is begin pragma Debug (New_Node_Debugging_Output (Source)); pragma Debug (New_Node_Debugging_Output (Destination)); + Nodes.Table (Destination) := Nodes.Table (Source); Nodes.Table (Destination).In_List := Save_In_List; Nodes.Table (Destination).Link := Save_Link; @@ -1330,6 +1331,7 @@ package body Atree is begin pragma Debug (New_Node_Debugging_Output (E1)); pragma Debug (New_Node_Debugging_Output (E2)); + pragma Assert (True and then Has_Extension (E1) and then Has_Extension (E2) @@ -1402,8 +1404,10 @@ package body Atree is begin pragma Assert (not (Has_Extension (Node))); + Result := Allocate_Initialize_Node (Node, With_Extension => True); pragma Debug (Debug_Extend_Node); + return Result; end Extend_Node; @@ -1677,8 +1681,8 @@ package body Atree is Current_Error_Node := Ent; end if; - Nodes.Table (Ent).Nkind := New_Node_Kind; - Nodes.Table (Ent).Sloc := New_Sloc; + Nodes.Table (Ent).Nkind := New_Node_Kind; + Nodes.Table (Ent).Sloc := New_Sloc; pragma Debug (New_Node_Debugging_Output (Ent)); -- Mark the new entity as Ghost depending on the current Ghost region @@ -1700,6 +1704,7 @@ package body Atree is begin pragma Assert (New_Node_Kind not in N_Entity); + Nod := Allocate_Initialize_Node (Empty, With_Extension => False); Nodes.Table (Nod).Nkind := New_Node_Kind; Nodes.Table (Nod).Sloc := New_Sloc; @@ -2144,6 +2149,7 @@ package body Atree is (not Has_Extension (Old_Node) and not Has_Extension (New_Node) and not Nodes.Table (New_Node).In_List); + pragma Debug (New_Node_Debugging_Output (Old_Node)); pragma Debug (New_Node_Debugging_Output (New_Node)); @@ -2197,6 +2203,7 @@ package body Atree is (not Has_Extension (Old_Node) and not Has_Extension (New_Node) and not Nodes.Table (New_Node).In_List); + pragma Debug (New_Node_Debugging_Output (Old_Node)); pragma Debug (New_Node_Debugging_Output (New_Node)); |