summary refs log tree commit diff
path: root/src/librustc/ich/impls_mir.rs
AgeCommit message (Expand)AuthorLines
2018-03-22UserAssertTy can handle inference variables.David Wood-2/+2
2018-03-22Added UserAssertTy statement.David Wood-0/+4
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-49/+49
2018-03-08Prepare for using miri in transAlexander Regueiro-0/+2
2018-02-09Auto merge of #47802 - bobtwinkles:loop_false_edge, r=nikomatsakisbors-0/+4
2018-02-08Encode (in MIR) whether borrows are explicit in source or arise due to autoref.Felix S. Klock II-1/+19
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-0/+4
2017-12-24Auto merge of #46896 - arielb1:shadow-scope, r=eddybbors-1/+1
2017-12-21fix debuginfo scoping of let-statementsAriel Ben-Yehuda-1/+1
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+1
2017-12-15permit `ClosureOutlivesRequirement` to constrain regions or typesNiko Matsakis-3/+18
2017-12-08incr.comp.: Hash spans unconditionally for full accuracy.Michael Woerister-41/+4
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-0/+12
2017-12-01MIR: s/lv(al(ue)?)?/place in function/variable/module names.Eduard-Mihai Burtescu-22/+22
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-4/+4
2017-12-01Auto merge of #46236 - davidtwco:issue-46023, r=arielb1bors-1/+1
2017-11-30Immutable unique closure upvars cannot be mutated.David Wood-1/+1
2017-11-28incr.comp.: Make MIR encoding fit for incr.comp. caching.Michael Woerister-3/+3
2017-11-28MIR: split Operand::Consume into Copy and Move.Eduard-Mihai Burtescu-1/+4
2017-11-26make accessing packed fields a future-compat warningAriel Ben-Yehuda-1/+20
2017-11-06collect unused unsafe codeAriel Ben-Yehuda-0/+1
2017-11-02add TerminatorKind::FalseEdges and use it in matchesMikhail Modin-1/+8
2017-09-24move unsafety checking to MIRAriel Ben-Yehuda-1/+21
2017-09-24add lint levels to VisibilityScopeAriel Ben-Yehuda-0/+18
2017-09-18incr.comp.: Remove tcx from StableHashingContext.Michael Woerister-40/+40
2017-09-11rustc: use ConstVal::Unevaluated instead of mir::Literal::Item.Eduard-Mihai Burtescu-4/+0
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-3/+3
2017-08-11Merge remote-tracking branch 'origin/master' into genAlex Crichton-12/+12
2017-08-11Store generator interior in MIR literalsJohn Kåre Alsaker-2/+6
2017-08-09Merge remote-tracking branch 'origin/master' into genAlex Crichton-9/+32
2017-08-08Implement HashStable for Xyz<'gcx> instead of Xyz<'lcx>.Michael Woerister-12/+12
2017-07-30please the tidyRalf Jung-1/+2
2017-07-30make ValidationOperand generic so that we can reuse it in miri with a differe...Ralf Jung-1/+13
2017-07-30when suspending, we need to specify for which lifetime to recoverRalf Jung-0/+2
2017-07-30add new instructions for asserting when values are valid, and to describe whe...Ralf Jung-2/+8
2017-07-28Ignore drop check bools when testing for legal generator typesJohn Kåre Alsaker-0/+1
2017-07-28Rename suspend to yieldJohn Kåre Alsaker-2/+2
2017-07-28Generator literal supportJohn Kåre Alsaker-2/+15
2017-07-27erase types in the move-path abstract domainAriel Ben-Yehuda-7/+9
2017-06-12Add `EndRegion` statement kind to MIR.Felix S. Klock II-0/+3
2017-06-06ICH: Make StableHashingContext work with any TyCtxt, not just the global one.Michael Woerister-35/+43
2017-05-28Auto merge of #42175 - michaelwoerister:filemap-hashing-fix-1, r=nikomatsakisbors-3/+47
2017-05-28add NullOp::SizeOf and BinOp::OffsetAriel Ben-Yehuda-2/+8
2017-05-23incr.comp.: Track expanded spans instead of FileMaps.Michael Woerister-3/+47
2017-04-11store Spans for all MIR localsAriel Ben-Yehuda-1/+2
2017-04-06Introduce HashStable trait and base ICH implementations on it.Michael Woerister-0/+407