From 4c3f27ce1ea17b5236a022971ebace73a02b7c2b Mon Sep 17 00:00:00 2001
From: Jimmi HC <jhc@liab.dk>
Date: Fri, 29 Jun 2018 10:21:43 +0200
Subject: ir_resolve_const now checks recursivly for undef values

---
 src/ir.cpp | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'src/ir.cpp')

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;
-- 
cgit v1.2.3