From 6d1bf616f9204fa4594fb87ef4bcc090885bd280 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 20 Jan 2015 11:04:07 +0700 Subject: [PATCH] typing: check missing return in AAttrPropdef with block Signed-off-by: Jean Privat --- src/semantize/typing.nit | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 1.7.9.5