aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-09-05 07:51:19 +0200
committerTristan Gingold <tgingold@free.fr>2020-09-05 07:51:19 +0200
commit1aa515cc89914d029f129b38c585c66670977f3f (patch)
tree0de555d8569405af35e037f48ef4ec8512bb59bb /src
parent498ee9b65347604fd33782907cb9ef8fa92443f4 (diff)
downloadghdl-1aa515cc89914d029f129b38c585c66670977f3f.tar.gz
ghdl-1aa515cc89914d029f129b38c585c66670977f3f.tar.bz2
ghdl-1aa515cc89914d029f129b38c585c66670977f3f.zip
netlists-cleanup: do not remove user sub modules. Fix #1454
Diffstat (limited to 'src')
-rw-r--r--src/synth/netlists-cleanup.adb10
1 files changed, 7 insertions, 3 deletions
diff --git a/src/synth/netlists-cleanup.adb b/src/synth/netlists-cleanup.adb
index 2c7045437..ccf73740f 100644
--- a/src/synth/netlists-cleanup.adb
+++ b/src/synth/netlists-cleanup.adb
@@ -189,9 +189,13 @@ package body Netlists.Cleanup is
case Get_Id (Inst) is
when Id_Assert
- | Id_Assume
- | Id_Cover
- | Id_Assert_Cover =>
+ | Id_Assume
+ | Id_Cover
+ | Id_Assert_Cover =>
+ Insert_Mark_And_Sweep (Inspect, Inst);
+ when Id_User_None
+ | Id_User_Parameters =>
+ -- Always keep user modules.
Insert_Mark_And_Sweep (Inspect, Inst);
when others =>
null;