From 982bc4304592ce3119dc79cef846e84cb1746be8 Mon Sep 17 00:00:00 2001
From: Robert Muth <robert@muth.org>
Date: Mon, 1 Jan 2024 19:11:49 -0500
Subject: [PATCH] inprove diagnostics for array out of bounds

---
 FrontEnd/eval.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/FrontEnd/eval.py b/FrontEnd/eval.py
index 2626dc21..7fefe483 100755
--- 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}"