Fix checking if a procedure terminates for for loops.

This commit is contained in:
Ginger Bill
2017-04-25 09:46:30 +01:00
parent 822bb51b55
commit a80872b60d
2 changed files with 5 additions and 4 deletions
+2 -4
View File
@@ -125,15 +125,13 @@ bool check_is_terminating(AstNode *node) {
case_end;
case_ast_node(fs, ForStmt, node);
if (!check_has_break(fs->body, true)) {
if (fs->cond == NULL && !check_has_break(fs->body, true)) {
return check_is_terminating(fs->body);
}
case_end;
case_ast_node(rs, RangeStmt, node);
if (!check_has_break(rs->body, true)) {
return check_is_terminating(rs->body);
}
return false;
case_end;
case_ast_node(ms, MatchStmt, node);