about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2019-09-02Auto merge of #63561 - HeroicKatora:alloc-private-bytes, r=oli-obkbors-100/+46
2019-08-30mod-level doc comment for validity checkRalf Jung-0/+6
2019-08-30miri: detect too large dynamically sized objectsRalf Jung-13/+21
2019-08-30Fixup remaining direct relocation field referencesAndreas Molzer-1/+2
2019-08-30Move relocation range copies into allocationAndreas Molzer-27/+3
2019-08-29Make allocation relocation field privateAndreas Molzer-4/+4
2019-08-29Rollup merge of #63880 - RalfJung:miri-meta, r=oli-obkMazdak Farrokhzad-35/+54
2019-08-28Address naming and comments from reviewsAndreas Molzer-2/+2
2019-08-26raw slices do not have to comply to the size limitRalf Jung-14/+5
2019-08-26Auto merge of #63580 - wesleywiser:move_promoted_out, r=oli-obkbors-4/+8
2019-08-25test for too long slicesRalf Jung-2/+14
2019-08-25validate raw wide pointersRalf Jung-2/+9
2019-08-25factor wide ptr metadata checking into separate methodRalf Jung-33/+42
2019-08-24Ensure miri can do bit ops on pointer valuesOliver Scherer-12/+16
2019-08-22Move def_id out add substsrefWesley Wiser-3/+3
2019-08-22Remove eval_promoted const-prop hackWesley Wiser-1/+5
2019-08-21Expose encapsulated undef mask as immutableAndreas Molzer-1/+1
2019-08-21Replace usage of alloc.bytes in interpretAndreas Molzer-14/+35
2019-08-19rustc_mir: disallow non-monomorphic reifications.Eduard-Mihai Burtescu-1/+11
2019-08-19rustc_mir: disallow non-monomorphic vtables.Eduard-Mihai Burtescu-1/+6
2019-08-19rustc_mir: add missing subst_from_frame_and_normalize_erasing_regions calls.Eduard-Mihai Burtescu-1/+4
2019-08-19rustc_mir: use self.resolve instead of Instance::resolve where possible.Eduard-Mihai Burtescu-6/+1
2019-08-19rustc_mir: make subst_from_frame_and_normalize_erasing_regions infallible.Eduard-Mihai Burtescu-17/+10
2019-08-19rustc_mir: remove wrong calls to subst_from_frame_and_normalize_erasing_regions.Eduard-Mihai Burtescu-2/+0
2019-08-19start cleaning up subst messRalf Jung-58/+38
2019-08-17Auto merge of #63671 - Centril:rollup-zufavt5, r=Centrilbors-1/+1
2019-08-17fix typosDante-Broggi-1/+1
2019-08-17Move copy of undef_mask into allocationAndreas Molzer-55/+3
2019-08-17make both unary_op and binary_op fully typed, including a return typeRalf Jung-59/+85
2019-08-17Add ImmTy::from_uintRalf Jung-5/+13
2019-08-16Rename overflowing_{add,sub,mul} intrinsics to wrapping_{add,sub,mul}.Eduard-Mihai Burtescu-6/+6
2019-08-14Rollup merge of #63075 - RalfJung:deref-checks, r=oli-obkMazdak Farrokhzad-9/+41
2019-08-14Rollup merge of #62760 - chansuke:dedupe-error-messages, r=zackmdavisMazdak Farrokhzad-5/+1
2019-08-11Rollup merge of #63464 - Mark-Simulacrum:deref-instance, r=eddybMark Rousskov-2/+2
2019-08-11Copy ty::Instance instead of passing by referenceMark Rousskov-2/+2
2019-08-10Miri shouldn't look at typesRalf Jung-6/+12
2019-08-07Auto merge of #63152 - estebank:big-array, r=oli-obkbors-1/+1
2019-08-06Rollup merge of #63287 - Mark-Simulacrum:span-no-ref, r=CentrilMazdak Farrokhzad-2/+2
2019-08-05Fiddle param env through to `try_eval_bits` in most placesOliver Scherer-2/+3
2019-08-05Don't abort on unevaluated constants without at least tryting to eval themOliver Scherer-2/+2
2019-08-05Don't store &SpanMark Rousskov-2/+2
2019-08-05Auto merge of #63079 - RalfJung:ctfe-no-align, r=oli-obkbors-16/+39
2019-08-03Simplify change to layout_ofEsteban Küber-4/+1
2019-08-03Point to local place span on "type too big" errorEsteban Küber-0/+3
2019-08-03Auto merge of #63234 - Centril:rollup-h9t731z, r=Centrilbors-28/+21
2019-08-02dedup free-form Unsupported errors; add macros for free-form UB and Unsupport...Ralf Jung-28/+21
2019-08-02trailing full stopsRalf Jung-2/+2
2019-08-02add is_any_ptr type test; this also helps pacify tidyRalf Jung-5/+3
2019-08-02get rid of some remaining type-based dispatching in cast codeRalf Jung-45/+25
2019-08-02miri: validity checks alignment even when machine otherwise does notRalf Jung-3/+18