From 664e0da8dff1d04860cc46ce8139cbd47e15c552 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Sat, 4 Nov 2017 15:37:40 -0400
Subject: fix all unreachable code warnings

---
 source/slang/check.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'source/slang/check.cpp')

diff --git a/source/slang/check.cpp b/source/slang/check.cpp
index 0c35c4bf4..dbbd8f283 100644
--- a/source/slang/check.cpp
+++ b/source/slang/check.cpp
@@ -3328,7 +3328,7 @@ namespace Slang
                 // to `interfaceDeclRef`.
                 //
                 SLANG_UNEXPECTED("reflexive type witness");
-                return nullptr;
+                UNREACHABLE_RETURN(nullptr);
             }
 
             auto breadcrumbs = inBreadcrumbs;
@@ -3343,7 +3343,7 @@ namespace Slang
                 // because `A : B` and `B : C` then `A : C`
                 //
                 SLANG_UNEXPECTED("transitive type witness");
-                return nullptr;
+                UNREACHABLE_RETURN(nullptr);
             }
 
             // Simple case: we have a single declaration
@@ -5947,7 +5947,7 @@ namespace Slang
         RefPtr<Expr> visitStaticMemberExpr(StaticMemberExpr* expr)
         {
             SLANG_UNEXPECTED("should not occur in unchecked AST");
-            return expr;
+            UNREACHABLE_RETURN(expr);
         }
 
         RefPtr<Expr> lookupResultFailure(
-- 
cgit v1.2.3