ir_resolve_const now checks recursivly for undef values

1 files changed, 9 insertions, 2 deletions

diff --git a/src/ir.cpp b/src/ir.cpp
index c6078e755d..2cce4a5044 100644
--- a/src/ir.cpp
+++ b/src/ir.cpp
@@ -9148,8 +9148,15 @@ enum UndefAllowed {
 
 static ConstExprValue *ir_resolve_const(IrAnalyze *ira, IrInstruction *value, UndefAllowed undef_allowed) {
     switch (value->value.special) {
-        case ConstValSpecialStatic:
-            return &value->value;
+        case ConstValSpecialStatic: {
+            ConstExprValue *res = &value->value;
+            if (undef_allowed == UndefBad && contains_comptime_undefined_value(res)) {
+                ir_add_error(ira, value, buf_sprintf("use of undefined value"));
+                return nullptr;
+            }
+
+            return res;
+        }
         case ConstValSpecialRuntime:
             ir_add_error(ira, value, buf_sprintf("unable to evaluate constant expression"));
             return nullptr;