diff options
Diffstat (limited to 'src/libraries.adb')
| -rw-r--r-- | src/libraries.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/libraries.adb b/src/libraries.adb index 4258eeaea..40764e56b 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -1580,6 +1580,10 @@ package body Libraries is Disp_Vhdl.Disp_Vhdl (Unit); end if; + if Flags.Check_Ast_Level > 0 then + Nodes_GC.Check_Tree (Unit); + end if; + -- Post checks ---------------- @@ -1627,6 +1631,10 @@ package body Libraries is if (Main or Flags.List_All) and then Flags.List_Canon then Disp_Vhdl.Disp_Vhdl (Unit); end if; + + if Flags.Check_Ast_Level > 0 then + Nodes_GC.Check_Tree (Unit); + end if; end Finish_Compilation; procedure Load_Parse_Design_Unit (Design_Unit: Iir_Design_Unit; Loc : Iir) |