Fixed an issue in the Memlet duplication verification. (#1526)

It was not considered that an empty memlet has `data` equal to `None`. However, empty Memlets should not be considered as duplicated data as they do not move data. --------- Co-authored-by: Tal Ben-Nun <[email protected]> Co-authored-by: alexnick83 <[email protected]>
spcl · Feb 22, 2024 · 8e2e131 · 8e2e131
1 parent bc08e9a
commit 8e2e131
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/dace/sdfg/validation.py b/dace/sdfg/validation.py
@@ -590,7 +590,9 @@ def validate_state(state: 'dace.sdfg.SDFGState',
                 f'Duplicate memlet detected: "{e}". Please copy objects '
                 'rather than using multiple references to the same one', sdfg, state_id, eid)
         references.add(id(e))
-        if id(e.data) in references:
+        if e.data.is_empty():
+            pass
+        elif id(e.data) in references:
             raise InvalidSDFGEdgeError(
                 f'Duplicate memlet detected: "{e.data}". Please copy objects '
                 'rather than using multiple references to the same one', sdfg, state_id, eid)