From d97c800e3179604db82e35bff682ea1ed6ec3909 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Sat, 5 Mar 2011 20:05:02 +0000
Subject: Make ret and fail stmts have 0 out-edges, Closes #250.

---
 src/boot/me/typestate.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/boot')

diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml
index 1c9c90ea..8b7840a2 100644
--- a/src/boot/me/typestate.ml
+++ b/src/boot/me/typestate.ml
@@ -865,6 +865,11 @@ let rec build_flow_graph_for_stmt
         | Ast.STMT_block b ->
             blk predecessors b
 
+        | Ast.STMT_fail
+        | Ast.STMT_ret _ ->
+            connect predecessors [s.id];
+            []
+
         | _ ->
             connect predecessors [s.id];
             [s.id]
-- 
cgit v1.2.3