self_vvar and other_vvar can be None.

angr · Sep 13, 2024 · 8e2b5a5 · 8e2b5a5
1 parent f15007b
commit 8e2b5a5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ailment/expression.py b/ailment/expression.py
@@ -362,6 +362,8 @@ def matches(self, atom) -> bool:
                 if src not in other_src_and_vvars:
                     return False
                 other_vvar = other_src_and_vvars[src]
+                if self_vvar is None and other_vvar is None:
+                    continue
                 if (
                     self_vvar is None
                     and other_vvar is not None