summary refs log tree commit diff
path: root/src/librustc/mir/interpret/pointer.rs
AgeCommit message (Collapse)AuthorLines
2019-09-07Aggregation of cosmetic changes made during work on REPL PRs: librustcAlexander Regueiro-5/+4
2019-08-14Rollup merge of #63075 - RalfJung:deref-checks, r=oli-obkMazdak Farrokhzad-1/+4
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-07-30renaming throw_err_* to throw_*Saleem Jaffer-3/+3
2019-07-30renaming err to err_unsupSaleem Jaffer-1/+1
2019-07-30adding throw_ and err_ macros for InterpErrorSaleem Jaffer-3/+3
2019-07-29code review fixesSaleem Jaffer-1/+1
2019-07-29adding a err macro for each of the InterpError variantsSaleem Jaffer-11/+4
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-2/+3
2019-07-28better name for check_in_allocRalf Jung-1/+4
2019-07-23renames EvalErrorPanic to PanicMessageSaleem Jaffer-3/+3
2019-07-23moving some variants from InterpError to EvalErrorPanicSaleem Jaffer-3/+3
2019-06-23clean up internals of pointer checks; make get_size_and_align also check for ↵Ralf Jung-1/+1
fn allocations
2019-06-23move CheckInAllocMsg to more logical placeRalf Jung-1/+23
2019-06-11rustc: deny(unused_lifetimes).Eduard-Mihai Burtescu-1/+1
2019-06-08rename EvalResult -> InterpResult and EvalError -> InterpErrorInfoRalf Jung-6/+6
2019-06-02no longer assume that there is a default tag: give the machine the chance to ↵Ralf Jung-7/+0
tag all allocations
2019-05-28Rollup merge of #61164 - RalfJung:scalar, r=oli-obkMazdak Farrokhzad-21/+24
rename Scalar::Bits to Scalar::Raw and bits field to data Also use this opportunity to seal some abstraction leaks (other modules constructing `Scalar::Bits` directly instead of using a constructor). r? @oli-obk
2019-05-27Auto merge of #59627 - ↵bors-3/+3
LooMaclin:issue_57128_improve_miri_error_reporting_in_check_in_alloc, r=RalfJung Improve miri error reporting in check_in_alloc Fixes https://github.com/rust-lang/rust/issues/57128 r? @RalfJung @oli-obk
2019-05-26fix overflow error in signed wrapping offsetRalf Jung-21/+24
2019-05-24improve debug-printing of scalarsRalf Jung-1/+15
Before: Immediate(ScalarMaybeUndef(Scalar(Ptr(Pointer { alloc_id: AllocId(3401), offset: Size { raw: 4 }, tag: Tagged(7723) })))) After: Immediate(Scalar(AllocId(3401).0x4[<7723>])) Before: Immediate(ScalarMaybeUndef(Scalar(Bits { size: 8, bits: 10 }))) After: Immediate(Scalar(0x000000000000000A)) Before: Immediate(ScalarMaybeUndef(Scalar(Bits { size: 1, bits: 1 }))) After: Immediate(Scalar(0x01))
2019-05-19Improve type size assertionsVadim Petrochenkov-1/+1
Now they - Tell what the new size is, when it changes - Do not require passing an identifier
2019-04-16Miri: refactor new allocation taggingRalf Jung-1/+7
2019-04-02Improve miri's error reporting in check_in_allocLooMaclin-3/+3
2019-03-13Use derive macro for HashStableJohn Kåre Alsaker-1/+3
2019-02-05move librustc to 2018Mark Mansi-2/+2
2019-01-27Add some size assertions for const eval typesOliver Scherer-0/+2
2018-11-24Rebase falloutOliver Scherer-1/+18
2018-11-08Rebase falloutOliver Scherer-2/+2
2018-11-08Move `Pointer` to its own moduleOliver Scherer-0/+151