Fix incorrect detection of possibly empty array fields

Ref. #375
AdaCore · Jul 29, 2020 · f3e1d12 · f3e1d12
1 parent 29bbe35
commit f3e1d12
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/rflx/model.py b/rflx/model.py
@@ -817,6 +817,8 @@ def is_possibly_empty(self, field: Field) -> bool:
             return False
 
         for p in self._state.paths[FINAL]:
+            if not any(l.target == field for l in p):
+                continue
             conditions = [l.condition for l in p if l.condition != TRUE]
             lengths = [Equal(Length(l.target.name), l.length) for l in p if l.length != UNDEFINED]
             empty_field = Equal(Length(field.name), Number(0))