for statements can also definitely return for #891

ceylon · Oct 4, 2015 · c35310b · c35310b
1 parent 3bf3d55
commit c35310b
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/src/com/redhat/ceylon/compiler/typechecker/analyzer/DeclarationVisitor.java b/src/com/redhat/ceylon/compiler/typechecker/analyzer/DeclarationVisitor.java
@@ -1738,6 +1738,23 @@ else if (last instanceof Tree.SwitchStatement) {
             }
             return false;
         }
+        else if (last instanceof Tree.ForStatement) {
+            Tree.ForStatement is = (Tree.ForStatement) last;
+            Tree.ElseClause ec = is.getElseClause();
+            if (ec!=null) {
+                Tree.Block ecb = ec.getBlock();
+                if (ecb!=null) {
+                    List<Tree.Statement> ests = 
+                            ecb.getStatements();
+                    if (!ests.isEmpty()) {
+                        Tree.Statement elast =
+                                ests.get(ests.size()-1);
+                        return definitelyReturns(elast);
+                    }
+                }
+            }
+            return false;
+        }
         else {
             return false;
         }