From f534619223a68fb81e6a521de71f55aca21b0db5 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 21 Jul 2017 09:20:07 +0000
Subject: A codeblock ending with a machine statement can be considered sure to
 return

---
 Sil/Check.icl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Sil/Check.icl')

diff --git a/Sil/Check.icl b/Sil/Check.icl
index dc9f6a7..89ed73e 100644
--- a/Sil/Check.icl
+++ b/Sil/Check.icl
@@ -78,6 +78,7 @@ where
 				While _ cb`    -> sureToReturn cb`
 				If bs (Just e) -> all sureToReturn [e:map snd bs]
 				If bs Nothing  -> all (sureToReturn o snd) bs
+				MachineStm _   -> True // Let's assume the user is not stupid
 				_              -> False
 
 	checkMainFunctionType :: Function -> [CheckError]
-- 
cgit v1.2.3