| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2021-09-07 | Rename rustc_mir to rustc_const_eval. | Camille GILLOT | -965/+0 | |
| 2021-09-02 | rustc_target: move `LayoutOf` to `ty::layout`. | Eduard-Mihai Burtescu | -4/+2 | |
| 2021-08-25 | Auto merge of #88242 - bonega:allocation_range, r=oli-obk | bors | -19/+8 | |
| Use custom wrap-around type instead of RangeInclusive Two reasons: 1. More memory is allocated than necessary for `valid_range` in `Scalar`. The range is not used as an iterator and `exhausted` is never used. 2. `contains`, `count` etc. methods in `RangeInclusive` are doing very unhelpful(and dangerous!) things when used as a wrap-around range. - In general this PR wants to limit potentially confusing methods, that have a low probability of working. Doing a local perf run, every metric shows improvement except for instructions. Max-rss seem to have a very consistent improvement. Sorry - newbie here, probably doing something wrong. | ||||
| 2021-08-23 | Rename to WrappingRange | Andreas Liljeqvist | -4/+4 | |
| 2021-08-23 | Use ref | Andreas Liljeqvist | -1/+1 | |
| 2021-08-22 | Use custom wrap-around type instead of Range | Andreas Liljeqvist | -19/+8 | |
| 2021-08-22 | Fix typos “an”→“a” and a few different ones that appeared in the ↵ | Frank Steffahn | -1/+1 | |
| same search | ||||
| 2021-07-16 | get rid of incorrect erase_for_fmt | Ralf Jung | -5/+8 | |
| 2021-07-14 | remove unused error variant | Ralf Jung | -8/+3 | |
| 2021-07-14 | consistently treat None-tagged pointers as ints; get rid of some deprecated ↵ | Ralf Jung | -2/+2 | |
| Scalar methods | ||||
| 2021-07-14 | CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion ↵ | Ralf Jung | -18/+8 | |
| 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-14 | Adjust `throw_validation_failure` macro to shorten the use of ↵ | Rémy Rakic | -13/+10 | |
| `with_no_trimmed_paths` | ||||
| 2021-06-13 | Improve CTFE validation error message | Rémy Rakic | -8/+12 | |
| 2021-06-13 | Turn incorrect vtable size/alignment errors into hard const-UB errors | Rémy Rakic | -1/+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-05-18 | add Align::ONE; add methods to access alloc.extra | Ralf Jung | -2/+2 | |
| 2021-05-18 | CTFE core engine allocation & memory API improvemenets | Ralf Jung | -28/+28 | |
| - make Allocation API offset-based (no more Pointer) - make Memory API higher-level (combine checking for access and getting access into one operation) | ||||
| 2021-05-15 | handle pointers in str | Ralf Jung | -0/+1 | |
| 2021-05-06 | use CheckInAllocMsg::PointerArithmeticTest for ptr_offset error | Ralf Jung | -2/+2 | |
| 2021-05-02 | Change 'NULL' to 'null' | Brent Kerby | -3/+3 | |
| 2021-03-18 | Replace closures_captures and upvar_capture with closure_min_captures | Jennifer Wills | -10/+13 | |
| make changes to liveness to use closure_min_captures use different span borrow check uses new structures rename to CapturedPlace stop using upvar_capture in regionck remove the bridge cleanup from rebase + remove the upvar_capture reference from mutability_errors.rs remove line from livenes test make our unused var checking more consistent update tests adding more warnings to the tests move is_ancestor_or_same_capture to rustc_middle/ty update names to reflect the closures add FIXME check that all captures are immutable borrows before returning add surrounding if statement like the original move var out of the loop and rename Co-authored-by: Logan Mosier <logmosier@gmail.com> Co-authored-by: Roxane Fruytier <roxane.fruytier@hotmail.com> | ||||
| 2021-02-20 | Auto merge of #82124 - tmiasko:op-ty-ref, r=oli-obk | bors | -20/+20 | |
| Pass large interpreter types by reference, not value r? `@ghost` | ||||
| 2021-02-17 | Reduce size of InterpErrorInfo to 8 bytes | Tomasz Miąsko | -12/+15 | |
| 2021-02-16 | Pass MPlaceTy by reference not value | Tomasz Miąsko | -1/+1 | |
| 2021-02-16 | Pass ImmTy by reference not value | Tomasz Miąsko | -1/+1 | |
| 2021-02-16 | Pass OpTy by reference not value | Tomasz Miąsko | -18/+18 | |
| 2021-02-16 | validation: fix invalid-fn-ptr error message | Ralf Jung | -1/+4 | |
| 2021-02-13 | CTFE validation: catch ReadPointerAsBytes and better error | Ralf Jung | -13/+29 | |
| 2021-01-18 | Fix ICE with `ReadPointerAsBytes` validation error | Camelid | -1/+5 | |
| 2020-12-30 | Rollup merge of #80491 - RalfJung:dangling-of-val, r=oli-obk | Mara Bos | -1/+1 | |
| Miri: make size/align_of_val work for dangling raw ptrs This is needed for https://github.com/rust-lang/rust/issues/80365#issuecomment-752128105. r? `@oli-obk` | ||||
| 2020-12-30 | where possible, pass slices instead of &Vec or &String (clippy::ptr_arg) | Matthias Krüger | -1/+1 | |
| 2020-12-29 | Miri: make size/align_of_val work for dangling raw ptrs | Ralf Jung | -1/+1 | |
| 2020-12-20 | promoteds in statics may refer to statics | Ralf Jung | -8/+12 | |
| 2020-10-29 | Rollup merge of #78475 - RalfJung:validity-comment, r=oli-obk | Yuki Okushi | -2/+1 | |
| fix a comment in validity check A few things changed since that comment was written; update it to the current reality. r? @oli-obk | ||||
| 2020-10-28 | fix a comment in validity check | Ralf Jung | -2/+1 | |
| 2020-10-26 | interning cleanup: we no longer need to distinguish Const and ConstInner; we ↵ | Ralf Jung | -2/+6 | |
| no longer need the ignore_interior_mut_in_const hack | ||||
| 2020-10-26 | move &mut-in-const check from interning to validation | Ralf Jung | -1/+9 | |
| 2020-10-26 | move UnsafeCell-in-const check from interning to validation | Ralf Jung | -29/+45 | |
| 2020-10-21 | Miri engine validity check: simplify code with 'matches!' | Ralf Jung | -12/+8 | |
| and improve a comment a bit | ||||
| 2020-09-19 | Address review comments | Oliver Scherer | -17/+17 | |
| 2020-09-19 | Validate constants during `const_eval_raw` | Oliver Scherer | -8/+10 | |
| 2020-09-04 | Change ty.kind to a method | LeSeulArtichaut | -7/+7 | |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -12/+16 | |
| If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not. | ||||
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+922 | |
