From eaffe2291861c378a1a40b25d02d85465478449f Mon Sep 17 00:00:00 2001 From: Norman Ramsey Date: Tue, 11 Sep 2007 14:24:10 +0000 Subject: [PATCH] check for unreachable code only with -DDEBUG --- compiler/cmm/MkZipCfg.hs | 5 +++++ 1 file changed, 5 insertions(+) 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] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -- 1.7.10.4