diff options
| author | Tristan Gingold | 2014-01-27 20:24:45 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2014-01-27 20:24:45 +0100 |
| commit | 51d115c72b13507fa3e182f387651dc4aff98b5f (patch) | |
| tree | 1e3eae1b98eb12767dea00eee6d066fcd8f47f59 /ortho/debug/ortho_debug.adb | |
| parent | f74185d729e80fb2073375a6c4c39081209e914f (diff) | |
| download | ghdl-51d115c72b13507fa3e182f387651dc4aff98b5f.tar.gz ghdl-51d115c72b13507fa3e182f387651dc4aff98b5f.tar.bz2 ghdl-51d115c72b13507fa3e182f387651dc4aff98b5f.zip | |
oread: add a little bit of type inference to simplify .on files.
Diffstat (limited to 'ortho/debug/ortho_debug.adb')
| -rw-r--r-- | ortho/debug/ortho_debug.adb | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/ortho/debug/ortho_debug.adb b/ortho/debug/ortho_debug.adb index ba02904..a1ef7b8 100644 --- a/ortho/debug/ortho_debug.adb +++ b/ortho/debug/ortho_debug.adb @@ -1583,9 +1583,10 @@ package body Ortho_Debug is N : O_Anode; begin Check_Type (Assocs.Interfaces.Dtype, Val.Rtype); - Assocs.Interfaces := Assocs.Interfaces.Next; Check_Ref (Val); - N := new O_Anode_Type'(Next => null, Formal => null, Actual => Val); + N := new O_Anode_Type'(Next => null, + Formal => Assocs.Interfaces, Actual => Val); + Assocs.Interfaces := Assocs.Interfaces.Next; if Assocs.Last = null then Assocs.First := N; else @@ -1753,7 +1754,6 @@ package body Ortho_Debug is procedure Start_Case_Stmt (Block : in out O_Case_Block; Value : O_Enode) is - pragma Unreferenced (Block); subtype O_Snode_Case_Type is O_Snode_Type (ON_Case_Stmt); N : O_Snode; begin @@ -1773,6 +1773,7 @@ package body Ortho_Debug is Case_Last => null, Selector => Value, Branches => null); + Block.Case_Stmt := N; Add_Stmt (N); Push_Stmt_Scope (new Stmt_Case_Scope_Type'(Kind => Stmt_Case, Parent => N, @@ -1784,7 +1785,6 @@ package body Ortho_Debug is procedure Start_Choice (Block : in out O_Case_Block) is - pragma Unreferenced (Block); N : O_Snode; begin if Current_Stmt_Scope.Kind /= Stmt_Case then @@ -1800,6 +1800,7 @@ package body Ortho_Debug is N.all := O_Snode_Type'(Kind => ON_When_Stmt, Next => null, Lineno => 0, + Branch_Parent => Block.Case_Stmt, Choice_List => null, Next_Branch => null); if Current_Stmt_Scope.Last_Branch = null then |