diff options
| author | Tim Chevalier <[email protected]> | 2011-04-07 18:15:56 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-04-08 17:46:46 +0000 |
| commit | 9c001af07c658b9583bde8d138d1d9408274d741 (patch) | |
| tree | adbc1327204422bfbd3c30e36e951a01d7df0c6d /src/comp/rustc.rc | |
| parent | Disable effect checking in rustboot (diff) | |
| download | rust-9c001af07c658b9583bde8d138d1d9408274d741.tar.xz rust-9c001af07c658b9583bde8d138d1d9408274d741.zip | |
Implemented computing prestates and poststates for a few expression forms.
The typestate checker (if it's uncommented) now correctly rejects a
trivial example program that has an uninitialized variable.
Diffstat (limited to 'src/comp/rustc.rc')
| -rw-r--r-- | src/comp/rustc.rc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/comp/rustc.rc b/src/comp/rustc.rc index e9d0b788..14efb667 100644 --- a/src/comp/rustc.rc +++ b/src/comp/rustc.rc @@ -65,10 +65,14 @@ auth lib.llvm = unsafe; auth pretty.pprust = impure; auth middle.typestate_check.find_pre_post_block = impure; auth middle.typestate_check.find_pre_post_state_block = impure; +auth middle.typestate_check.find_pre_post_state_stmt = impure; +auth middle.typestate_check.find_pre_post_state_expr = impure; +auth middle.typestate_check.find_pre_post_state_exprs = impure; auth middle.typestate_check.find_pre_post_expr = impure; auth middle.typestate_check.find_pre_post_stmt = impure; auth middle.typestate_check.check_states_against_conditions = impure; auth middle.typestate_check.check_states_stmt = impure; +auth middle.typestate_check.log_stmt = impure; auth util.typestate_ann.implies = impure; mod lib { |