about summary refs log tree commit diff
path: root/src/test/run-pass/unreachable-code.rs
AgeCommit message (Collapse)AuthorLines
2013-03-11Remove uses of logBrian Anderson-8/+0
2013-02-15tests/tutorials: Get rid of `move`.Luqman Aden-1/+1
2013-02-13Remove die!, raplace invocations with fail! Issue #4524 pt 3Nick Desaulniers-2/+2
2013-02-01check-fast fallout from removing export, r=burningtreeGraydon Hoare-1/+1
2013-01-31Replace most invocations of fail keyword with die! macroNick Desaulniers-2/+2
2012-12-10Reliciense makefiles and testsuite. Yup.Graydon Hoare-0/+10
2012-10-30Remove xfail-pretty from tests that pretty-print correctly nowTim Chevalier-1/+0
2012-10-23Remove uses of binary move - <- - from tests and librariesTim Chevalier-1/+1
2012-09-07Convert 'again' to 'loop'. Remove 'again' keywordBrian Anderson-1/+1
2012-08-06Convert alt to match. Stop parsing altBrian Anderson-1/+1
2012-08-05Switch alts to use arrowsBrian Anderson-2/+2
2012-08-01Convert ret to returnBrian Anderson-5/+5
2012-07-26Re-added test for Issue 935 -- not sure what happened to itTim Chevalier-0/+31
2012-04-30Stop inferring bot/static when types/regions are unconstrained.Niko Matsakis-57/+0
Also, some other changes that came up along the way: - add a 'blk' region for the current block. - detect unused type/region variables.
2012-04-07Do not consider ty_bot to be a "resolved type".Niko Matsakis-4/+1
Fixes #2149. Fixes #2150. Fixes #2151.
2012-03-26Disallow ret inside of block functionsMarijn Haverbeke-1/+1
Also adds proper checking for cont/break being inside a loop. Closes #1854 Issue #1619
2012-03-24Avoid unifying vars when possible; handle bot (more) correctlyNiko Matsakis-2/+2
2012-03-22make --enforce-mut-vars always on, add mut annotations to remaining filesNiko Matsakis-1/+1
2012-03-09Add an infinite loop constructTim Chevalier-1/+1
Add a loop {} construct for infinite loops, and use it in test cases. See #1906 for details.
2012-02-15Rewrite exhaustiveness checkerMarijn Haverbeke-1/+1
Issue #352 Closes #1720 The old checker would happily accept things like 'alt x { @some(a) { a } }'. It now properly descends into patterns, checks exhaustiveness of booleans, and complains when number/string patterns aren't exhaustive.
2012-01-09Change all uses of 'when' in alt-patterns to 'if'Austin Seipp-1/+1
Issue #1396
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-4/+4
2011-12-22Register snapshots and switch logging over to use of log_full or #error / ↵Graydon Hoare-4/+4
#debug.
2011-10-21Remove remaining uses of iter and for-eachMarijn Haverbeke-4/+0
Issue #1056
2011-09-27Test for #924Jesse Ruderman-1/+16
2011-09-25Test for #973Jesse Ruderman-0/+4
2011-09-25Test for #942Jesse Ruderman-0/+2
2011-09-23Add more unreachable-code tests. Closes #935Jesse Ruderman-0/+6
2011-09-23xfail-pretty unreachable-code.rsMarijn Haverbeke-0/+2
2011-09-23Better handling of unreachable code in transMarijn Haverbeke-0/+35
The builder functions in trans_build now look at an 'unreachable' flag in the block context and don't generate code (returning undefined placeholder values) when this flag is set. Threading the unreachable flag through context still requires some care, but this seems a more sane approach than re-checking for terminated blocks throughout the compiler. When creating a block, if you use its closest dominator as parent, the flag will be automatically passed through. If you can't do that, because the dominator is a scope block that you're trying to get out of, you'll have to do something like this to explicitly pass on the flag: if bcx.unreachable { Unreachable(next_cx); } Closes #949. Closes #946. Closes #942. Closes #895. Closes #894. Closes #892. Closes #957. Closes #958.