From 2e90bd94de32c739733966bfac96cf35e9a08655 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Wed, 6 Apr 2011 17:56:44 -0700 Subject: 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. --- src/comp/rustc.rc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/comp/rustc.rc') 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 { -- cgit 1.4.1-3-g733a5