summaryrefslogtreecommitdiffstats
path: root/src/librustc_mir/interpret/step.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Review feedback: update fixme comment to reflect reality.Felix S. Klock II2018-05-291-3/+2
|
* rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II2018-05-291-0/+5
| | | | | | (This is just the data structure changes and some boilerplate match code that followed from it; the actual emission of these statements comes in a follow-up commit.)
* Add a tracking issue for making the warning a lintOliver Schneider2018-04-151-0/+1
|
* Don't abort const eval due to long running evals, just warnOliver Schneider2018-04-131-7/+6
|
* Rollup merge of #49274 - oli-obk:slow_miri, r=michaelwoerister,eddybkennytm2018-03-251-2/+2
|\ | | | | | | | | | | | | | | | | | | | | | | Remove slow HashSet during miri stack frame creation fixes #49237 probably has a major impact on #48846 r? @michaelwoerister cc @eddyb I know you kept telling me to use vectors instead of hash containers... Now I know why.
| * Simplify local accessorsOliver Schneider2018-03-231-2/+2
| |
* | Added UserAssertTy statement.David Wood2018-03-221-0/+2
|/
* Step limit is now terminator limitOliver Schneider2018-03-081-1/+2
|
* Report tcx errors with the span of the currently evaluating statementOliver Schneider2018-03-081-0/+4
|
* Move the resource limits to the session in preparation for attributes ↵Oliver Schneider2018-03-081-1/+1
| | | | configuring them
* Fully use miri in transOliver Schneider2018-03-081-234/+7
|
* miri: use AllocId instead of u64.Eduard-Mihai Burtescu2018-01-051-2/+2
|
* normalize the results of `tcx.type_of` after substitutingAriel Ben-Yehuda2017-12-181-3/+1
| | | | | Also remove `def_ty`, which was a footgun because it did not do the above.
* miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu2017-12-171-2/+2
|
* miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu2017-12-171-2/+2
|
* rustc: don't track whether layouts are "packed".Eduard-Mihai Burtescu2017-12-171-15/+3
|
* Move mir validation out of treeOliver Schneider2017-12-141-2/+2
|
* Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider2017-12-121-0/+349