about summary refs log tree commit diff
path: root/src/test/compile-fail/while-loop-constraints.rs
AgeCommit message (Collapse)AuthorLines
2012-05-24new liveness pass to supercede last_use / initednessNiko Matsakis-14/+0
2012-03-09Add an infinite loop constructTim Chevalier-4/+4
Add a loop {} construct for infinite loops, and use it in test cases. See #1906 for details.
2012-03-05rustc: Lower case error messagesBrian Anderson-1/+1
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-1/+1
2011-12-22Register snapshots and switch logging over to use of log_full or #error / ↵Graydon Hoare-1/+8
#debug.
2011-08-20ReformatBrian Anderson-1/+1
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-03Remove all xfail-stage0 directivesBrian Anderson-1/+0
While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0.
2011-07-27Reformat for new syntaxMarijn Haverbeke-12/+3
2011-06-29Re-enable tidy (it was broken) and fix various non-tidy things.Graydon Hoare-3/+3
2011-06-27Tests for while loops that may invalidate constraintsTim Chevalier-0/+17
Wrote some small test cases that use while loops and moves, to make sure the poststate for the loop body gets propagated into the new prestate and deinitialization gets reflected. Along with that, rewrite the code for intersecting states. I still find it dodgy, but I guess I'll continue trying to add more tests. Also, I'll probably feel better about it once I start formalizing the algorithm.