From 17622b9db14cb1d8dd600b21f60c8a1041e5b0e1 Mon Sep 17 00:00:00 2001
From: Veikka Tuominen <git@vexu.eu>
Date: Fri, 29 Jul 2022 11:55:53 +0300
Subject: Sema: implement `@Type` for functions

Closes #12280
---
 src/value.zig | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src/value.zig')

diff --git a/src/value.zig b/src/value.zig
index 0d0be76542..3f3a2df4c3 100644
--- a/src/value.zig
+++ b/src/value.zig
@@ -2766,6 +2766,19 @@ pub const Value = extern union {
         return self.isUndef();
     }
 
+    /// Returns true if any value contained in `self` is undefined.
+    /// TODO: check for cases such as array that is not marked undef but all the element
+    /// values are marked undef, or struct that is not marked undef but all fields are marked
+    /// undef, etc.
+    pub fn anyUndef(self: Value) bool {
+        if (self.castTag(.aggregate)) |aggregate| {
+            for (aggregate.data) |val| {
+                if (val.anyUndef()) return true;
+            }
+        }
+        return self.isUndef();
+    }
+
     /// Asserts the value is not undefined and not unreachable.
     /// Integer value 0 is considered null because of C pointers.
     pub fn isNull(self: Value) bool {
-- 
cgit v1.2.3