squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Generator assertions are unconditionally triggered

Browse source
This commit is contained in:
Oliver Schneider 2018-02-23 09:21:31 +01:00
parent 47913ee8f4
commit 3dc7e93db6
No known key found for this signature in database
GPG key ID: A69F8D225B3AD7D9
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/librustc_mir/transform/const_prop.rs
View file

@ -404,10 +404,12 @@ impl<'b, 'a, 'tcx> Visitor<'tcx> for ConstPropagator<'b, 'a, 'tcx> {
);
use rustc::mir::AssertMessage::*;
match msg {
GeneratorResumedAfterReturn =>
lint.span_label(span, "generator resumed after completion"),
GeneratorResumedAfterPanic =>
lint.span_label(span, "generator resumed after panicking"),
// Need proper const propagator for these
GeneratorResumedAfterReturn |
GeneratorResumedAfterPanic => {
lint.cancel();
return;
},
Math(ref err) => lint.span_label(span, err.description()),
BoundsCheck { ref len, ref index } => {
let len = self.eval_operand(len).expect("len must be const");