inprove diagnostics for array out of bounds

robertmuth · Jan 2, 2024 · 982bc43 · 982bc43
1 parent 6a631a5
commit 982bc43
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/FrontEnd/eval.py b/FrontEnd/eval.py
@@ -563,6 +563,8 @@ def _EvalNode(node: cwast.ALL_NODES) -> bool:
     elif isinstance(node, cwast.ValSlice):
         # TODO maybe track symbolic addresses
         return False
+    elif isinstance(node, cwast.ExprUnionTag):
+        return False
     else:
         assert False, f"unexpected node {node}"