From: Norman Ramsey <nr@eecs.harvard.edu>
Date: Tue, 11 Sep 2007 14:24:10 +0000 (+0000)
Subject: check for unreachable code only with -DDEBUG
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=eaffe2291861c378a1a40b25d02d85465478449f

check for unreachable code only with -DDEBUG
---

diff --git a/compiler/cmm/MkZipCfg.hs b/compiler/cmm/MkZipCfg.hs
index 385b41d..3d6f344 100644
--- a/compiler/cmm/MkZipCfg.hs
+++ b/compiler/cmm/MkZipCfg.hs
@@ -321,11 +321,16 @@ mkWhileDo cbranch body =
 note_this_code_becomes_unreachable ::
     (Monad m, LastNode l, Outputable middle, Outputable l) => ZTail middle l -> m ()
 
+#ifdef DEBUG
 note_this_code_becomes_unreachable = u
     where u (ZLast LastExit)                       = return ()
           u (ZLast (LastOther l)) | isBranchNode l = return ()
                                     -- Note [Branch follows branch]
           u tail = fail ("unreachable code: " ++ showSDoc (ppr tail))
+#else
+note_this_code_becomes_unreachable = return ()
+#endif
+
 {-
 Note [Branch follows branch]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~