diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-01-25 08:24:44 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-01-25 08:24:44 +0100 |
| commit | c2168c679ca3d634d7bdb7b1ca2fcb198d100b6d (patch) | |
| tree | 8ddd12121ebc3231d5c03b3e7b38675cd37db901 /src/synth/netlists-builders.adb | |
| parent | 383aa041762b77aea45c12d10c8d4178597b0fb8 (diff) | |
| download | ghdl-c2168c679ca3d634d7bdb7b1ca2fcb198d100b6d.tar.gz ghdl-c2168c679ca3d634d7bdb7b1ca2fcb198d100b6d.tar.bz2 ghdl-c2168c679ca3d634d7bdb7b1ca2fcb198d100b6d.zip | |
synth: improve support of 0-width nets and gates. Fix #1113
Diffstat (limited to 'src/synth/netlists-builders.adb')
| -rw-r--r-- | src/synth/netlists-builders.adb | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/synth/netlists-builders.adb b/src/synth/netlists-builders.adb index d869ebeba..c205ef318 100644 --- a/src/synth/netlists-builders.adb +++ b/src/synth/netlists-builders.adb @@ -1069,9 +1069,7 @@ package body Netlists.Builders is (Ctxt : Context_Acc; I : Net; Step : Uns32; Max : Uns32; W : Width) return Net is - pragma Assert (Get_Width (I) /= No_Width); pragma Assert (Step > 0); - pragma Assert (W > 0); Inst : Instance; O : Net; begin |