diff options
| author | Graydon Hoare <[email protected]> | 2011-03-05 20:05:02 +0000 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-03-05 20:05:02 +0000 |
| commit | d97c800e3179604db82e35bff682ea1ed6ec3909 (patch) | |
| tree | 2e2626267568eedc209da557d1e887afd5ec2459 /src/boot | |
| parent | rustc: Use copy_ty() when initializing N-ary tag variants. Un-XFAIL generic-t... (diff) | |
| download | rust-d97c800e3179604db82e35bff682ea1ed6ec3909.tar.xz rust-d97c800e3179604db82e35bff682ea1ed6ec3909.zip | |
Make ret and fail stmts have 0 out-edges, Closes #250.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/typestate.ml | 5 |
1 files changed, 5 insertions, 0 deletions
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] |