diff options
| author | Patrick Walton <pcwalton@mimiga.net> | 2011-04-07 10:14:25 -0700 |
|---|---|---|
| committer | Patrick Walton <pcwalton@mimiga.net> | 2011-04-07 10:14:25 -0700 |
| commit | 2a894cabc237f32484dd9fb4265790c60eefd661 (patch) | |
| tree | 3d3b128ae9670f7b425d6cd68936482f603ca656 /src/comp/rustc.rc | |
| parent | d9da43984b5e9d50f711320d2afc3307537dfb44 (diff) | |
| parent | 25320da099e375be22706b641eba35b7e35299e0 (diff) | |
| download | rust-2a894cabc237f32484dd9fb4265790c60eefd661.tar.gz rust-2a894cabc237f32484dd9fb4265790c60eefd661.zip | |
Merge branch 'master' of github.com:graydon/rust
Diffstat (limited to 'src/comp/rustc.rc')
| -rw-r--r-- | src/comp/rustc.rc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/comp/rustc.rc b/src/comp/rustc.rc index 47a37f3325f..e34d1faec40 100644 --- a/src/comp/rustc.rc +++ b/src/comp/rustc.rc @@ -62,7 +62,11 @@ auth middle.typestate_check.log_expr = impure; auth lib.llvm = unsafe; auth pretty.pprust = impure; auth middle.typestate_check.find_pre_post_block = impure; -auth middle.typestate_check.find_pre_post_expr = impure; +auth middle.typestate_check.find_pre_post_state_block = 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 util.typestate_ann.implies = impure; mod lib { |