From: Jean Privat <jean@pryen.org>
Date: Tue, 20 Jan 2015 04:04:07 +0000 (+0700)
Subject: typing: check missing return in AAttrPropdef with block
X-Git-Tag: v0.7.1~19^2~1
X-Git-Url: http://nitlanguage.org

typing: check missing return in AAttrPropdef with block

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/src/semantize/typing.nit b/src/semantize/typing.nit
index 8fb3852..343edbd 100644
--- a/src/semantize/typing.nit
+++ b/src/semantize/typing.nit
@@ -609,6 +609,10 @@ redef class AAttrPropdef
 		var nblock = self.n_block
 		if nblock != null then
 			v.visit_stmt(nblock)
+			if not nblock.after_flow_context.is_unreachable then
+				# We reach the end of the init without having a return, it is bad
+				v.error(self, "Control error: Reached end of block (a 'return' with a value was expected).")
+			end
 		end
 	end
 end