about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/interpret/traits.rs
AgeCommit message (Collapse)AuthorLines
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-142/+0
2021-08-03Small refactorings for miri.Charles Lew-13/+8
2021-08-03Implement pointer casting.Charles Lew-0/+23
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion ↵Ralf Jung-9/+9
infallible This resolves all the problems we had around "normalizing" the representation of a Scalar in case it carries a Pointer value: we can just use Pointer if we want to have a value taht we are sure is already normalized.
2021-06-28Update other codegens to use tcx managed vtable allocations.Charles Lew-91/+6
2021-06-27Change miri to use tcx allocated allocations.Charles Lew-16/+34
2021-06-15Refactor to make interpreter and codegen backend neutral to vtable internal ↵Charles Lew-35/+57
representation.
2021-06-13Turn incorrect vtable size/alignment errors into hard const-UB errorsRémy Rakic-8/+5
They were "freeform const UB" error message, but could reach validation and trigger ICEs there. We now catch them during validation to avoid that.
2021-06-09detect incorrect vtable alignment during const eval instead of ICE-ingRémy Rakic-1/+3
also add tests for these 2 kinds of errors for size and alignment, as the existing size check wasn't apparently tested
2021-05-18CTFE core engine allocation & memory API improvemenetsRalf Jung-41/+30
- make Allocation API offset-based (no more Pointer) - make Memory API higher-level (combine checking for access and getting access into one operation)
2021-02-17remove useless ?s (clippy::needless_question_marks)Matthias Krüger-1/+1
Example code: ``` fn opts() -> Option<String> { let s: Option<String> = Some(String::new()); Some(s?) // this can just be "s" } ```
2020-12-11RustfmtJCTyblaidd-5/+1
2020-12-11Add post-initialization hook for static memory initialized using the ↵JCTyblaidd-1/+4
interpereter.
2020-11-16compiler: fold by valueBastian Kauschke-3/+3
2020-08-30mv compiler to compiler/mark-0/+182