rust/src/test/run-pass/use-uninit-alt.rs



fn foo<T>(o: &myoption<T>) -> int {
    let x: int = 5;
    alt o { none::<T>. { } some::<T>(t) { x += 1; } }
    ret x;
}

tag myoption<T> { none; some(T); }

fn main() { log 5; }
Further work on typestate_check Lots of work on typestate_check, seems to get a lot of the way through checking the standard library. * Added for, for_each, assign_op, bind, cast, put, check, break, and cont. (I'm not sure break and cont are actually handled correctly.) * Fixed side-effect bug in seq_preconds so that unioning the preconditions of a sequence of statements or expressions is handled correctly. * Pass poststate correctly through a stmt_decl. * Handle expr_ret and expr_fail properly (after execution of a ret or fail, everything is true -- this is needed to handle ifs and alts where one branch is a ret or fail) * Fixed bug in set_prestate_ann where a thing that needed to be mutated wasn't getting passed as an alias * Fixed bug in how expr_alt was treated (zero is not the identity for intersect, who knew, right?) * Update logging to reflect log_err vs. log * Fixed find_locals so as to return all local decls and exclude function arguments. * Make union_postconds work on an empty vector (needed to handle empty blocks correctly) * Added _vec.cat_options, which takes a list of option[T] to a list of T, ignoring any Nones * Added two test cases. 2011-04-20 14:11:01 -05:00

Port the tests to the decl foo<T> syntax. 2011-08-12 08:37:25 -05:00			`fn foo<T>(o: &myoption<T>) -> int {`
Reformat for new syntax 2011-07-27 07:19:39 -05:00			`let x: int = 5;`
Port the tests to the expr foo::<T> syntax. 2011-08-13 02:10:18 -05:00			`alt o { none::<T>. { } some::<T>(t) { x += 1; } }`
Reformat source tree (minus a couple tests that are still grumpy). 2011-06-15 13:19:50 -05:00			`ret x;`
Further work on typestate_check Lots of work on typestate_check, seems to get a lot of the way through checking the standard library. * Added for, for_each, assign_op, bind, cast, put, check, break, and cont. (I'm not sure break and cont are actually handled correctly.) * Fixed side-effect bug in seq_preconds so that unioning the preconditions of a sequence of statements or expressions is handled correctly. * Pass poststate correctly through a stmt_decl. * Handle expr_ret and expr_fail properly (after execution of a ret or fail, everything is true -- this is needed to handle ifs and alts where one branch is a ret or fail) * Fixed bug in set_prestate_ann where a thing that needed to be mutated wasn't getting passed as an alias * Fixed bug in how expr_alt was treated (zero is not the identity for intersect, who knew, right?) * Update logging to reflect log_err vs. log * Fixed find_locals so as to return all local decls and exclude function arguments. * Make union_postconds work on an empty vector (needed to handle empty blocks correctly) * Added _vec.cat_options, which takes a list of option[T] to a list of T, ignoring any Nones * Added two test cases. 2011-04-20 14:11:01 -05:00			`}`

Port the tests to the decl foo<T> syntax. 2011-08-12 08:37:25 -05:00			`tag myoption<T> { none; some(T); }`
Reformat source tree (minus a couple tests that are still grumpy). 2011-06-15 13:19:50 -05:00
Port the tests to the typaram foo<T> syntax. 2011-08-10 11:27:22 -05:00			`fn main() { log 5; }`