From 2b98cd1bf245c2911d03547e147477613ec9aece Mon Sep 17 00:00:00 2001
From: Adrien Prost-Boucle <adrien.prost-boucle@univ-grenoble-alpes.fr>
Date: Fri, 13 Sep 2024 13:58:46 +0200
Subject: [PATCH] Himbaechel xilinx : Add safety check in DSP packing for
 7-series

---
 himbaechel/uarch/xilinx/pack_dsp_xc7.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/himbaechel/uarch/xilinx/pack_dsp_xc7.cc b/himbaechel/uarch/xilinx/pack_dsp_xc7.cc
index 9faffedd..4a5b73da 100644
--- a/himbaechel/uarch/xilinx/pack_dsp_xc7.cc
+++ b/himbaechel/uarch/xilinx/pack_dsp_xc7.cc
@@ -45,7 +45,7 @@ void XC7Packer::walk_dsp(CellInfo *root, CellInfo *current_cell, int constr_z)
         if (!boost::contains(port.first.str(ctx), "COUT")) continue;
         NetInfo *cout_net = port.second.net;
 
-        if (cout_net == nullptr) continue;
+        if (cout_net == nullptr || cout_net->users.empty()) continue;
 
         check_illegal_fanout(cout_net, port.first.c_str(ctx));
         PortRef& user = *cout_net->users.begin();