diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-04-06 17:56:44 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-04-06 17:58:18 -0700 |
| commit | 2e90bd94de32c739733966bfac96cf35e9a08655 (patch) | |
| tree | 01cecc3fbc92d27e01177b5d3cb0785239877ea9 /src/comp/rustc.rc | |
| parent | 36d75d6391873b34a1f4e10c34d3d58c54a453c5 (diff) | |
| download | rust-2e90bd94de32c739733966bfac96cf35e9a08655.tar.gz rust-2e90bd94de32c739733966bfac96cf35e9a08655.zip | |
Continued sketching out code for checking states against preconditions.
It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway.
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 { |