about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Collapse)AuthorLines
2019-08-17fix typosDante-Broggi-1/+1
2019-08-17Move copy of undef_mask into allocationAndreas Molzer-55/+3
This also means that the compressed representation chosen may be optimized together with any changes to the undef_mask.
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
Miri: Check that a ptr is aligned and inbounds already when evaluating `*` This syncs Miri with what the Nomicon and the Reference say, and resolves https://github.com/rust-lang/miri/issues/447. Also this would not have worked without https://github.com/rust-lang/rust/pull/62982 due to new cycles. ;) r? @oli-obk
2019-08-14Rollup merge of #62760 - chansuke:dedupe-error-messages, r=zackmdavisMazdak Farrokhzad-5/+1
Deduplicate error messages in `librsctc_mir` Deduplicated the error messages in `librustc_mir`. #62022
2019-08-11Rollup merge of #63464 - Mark-Simulacrum:deref-instance, r=eddybMark Rousskov-2/+2
Copy ty::Instance instead of passing by reference ty::Instance is small and Copy, we should not be adding additional indirection. Fixes #63409. r? @eddyb
2019-08-11Copy ty::Instance instead of passing by referenceMark Rousskov-2/+2
ty::Instance is small and Copy, we should not be adding additional indirection.
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
Always error on `SizeOverflow` during mir evaluation Fix #55878, fix #25116. r? @oli-obk
2019-08-06Rollup merge of #63287 - Mark-Simulacrum:span-no-ref, r=CentrilMazdak Farrokhzad-2/+2
Don't store &Span This is just needless indirection.
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
This is just needless indirection.
2019-08-05Auto merge of #63079 - RalfJung:ctfe-no-align, r=oli-obkbors-16/+39
CTFE: simplify ConstValue by not checking for alignment I hope the test suite actually covers the problematic cases here? r? @oli-obk Fixes https://github.com/rust-lang/rust/issues/61952
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
Rollup of 5 pull requests Successful merges: - #62954 (Fix typo in Delimited::open_tt) - #63146 (Cleanup syntax::attr) - #63218 (rustbuild: RISC-V is no longer an experimental LLVM target) - #63227 (dead_code: Properly inspect fields in struct patterns with type relative paths) - #63229 (A bit of Miri error cleanup) Failed merges: r? @ghost
2019-08-02dedup free-form Unsupported errors; add macros for free-form UB and ↵Ralf Jung-28/+21
Unsupported cases
2019-08-02trailing full stopsRalf Jung-2/+2
Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
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
2019-08-02CTFE: simplify Value type by not checking for alignmentRalf Jung-15/+23
2019-08-02improve error when CTFE does ptr-int-cast; update testsRalf Jung-5/+1
2019-08-02fix casts from fat pointersRalf Jung-2/+15
2019-08-02use From to convert scalars to immediatesRalf Jung-15/+10
2019-08-02refactor cast_immediate to dispatch on the type first, and on the value secondRalf Jung-64/+46
2019-08-02turn cast_immediate into its own functionRalf Jung-35/+54
2019-08-02operator: implement binary_op strictly by first checking the type, then ↵Ralf Jung-23/+21
dispatching further; call ptr_op machine hook only for pointer types
2019-08-02cast: no need to catch errors any more, force_bits should succeedRalf Jung-6/+2
2019-08-01code review fixesSaleem Jaffer-3/+1
2019-07-31code review fixesSaleem Jaffer-4/+4
2019-07-31code review fixesSaleem Jaffer-86/+72
2019-07-31Deduplicate some error messageschansuke-5/+1
2019-07-30renaming throw_err_* to throw_*Saleem Jaffer-99/+87
2019-07-30renaming err to err_unsupSaleem Jaffer-47/+55
2019-07-30tidy fixesSaleem Jaffer-1/+3
2019-07-30adding throw_ and err_ macros for InterpErrorSaleem Jaffer-72/+72
2019-07-30addding an interp_error moduleSaleem Jaffer-11/+9
2019-07-29code review fixesSaleem Jaffer-32/+41
2019-07-29use PanicInfo and UnsupportedOpInfoSaleem Jaffer-4/+4
2019-07-29adding a err macro for each of the InterpError variantsSaleem Jaffer-96/+83
2019-07-29tidy fixesSaleem Jaffer-3/+6
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-104/+120
2019-07-28'Ref' can now be sure it gets a 'Pointer'Ralf Jung-2/+6
2019-07-28move 'get me the access-checked version of an mplace' into separate functionRalf Jung-10/+19
2019-07-28replace match by ok()Ralf Jung-8/+2
2019-07-28better name for check_in_allocRalf Jung-2/+2