aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-folds.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-05-15 07:36:08 +0200
committerTristan Gingold <tgingold@free.fr>2020-05-15 07:36:08 +0200
commitc8c834c7c3934214fb039e8100eda2d8535c7174 (patch)
treede3c82876ad8322805681698872b69770ae423d6 /src/synth/netlists-folds.ads
parent84f0148e9e01c14993d5473e66a4ad6eee819798 (diff)
downloadghdl-c8c834c7c3934214fb039e8100eda2d8535c7174.tar.gz
ghdl-c8c834c7c3934214fb039e8100eda2d8535c7174.tar.bz2
ghdl-c8c834c7c3934214fb039e8100eda2d8535c7174.zip
synth: handle null array comparison. Fix #1311
Diffstat (limited to 'src/synth/netlists-folds.ads')
-rw-r--r--src/synth/netlists-folds.ads9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/synth/netlists-folds.ads b/src/synth/netlists-folds.ads
index 1aa020df9..6c63f49bc 100644
--- a/src/synth/netlists-folds.ads
+++ b/src/synth/netlists-folds.ads
@@ -18,6 +18,7 @@
-- Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
-- MA 02110-1301, USA.
+with Netlists.Gates; use Netlists.Gates;
with Netlists.Builders; use Netlists.Builders;
package Netlists.Folds is
@@ -78,5 +79,11 @@ package Netlists.Folds is
-- If A is No_Net, simply return B so that it is possible to easily build
-- chain of conditions.
function Build2_And (Ctxt : Context_Acc; A, B : Net; Loc : Location_Type)
- return Net;
+ return Net;
+
+ -- Like Build_Compare but handle net of width 0.
+ function Build2_Compare (Ctxt : Context_Acc;
+ Id : Compare_Module_Id;
+ L, R : Net) return Net;
+
end Netlists.Folds;