about summary refs log tree commit diff
path: root/src/librustc/mir/interpret/pointer.rs
AgeCommit message (Collapse)AuthorLines
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-205/+0
2020-03-28use machine_ prefix for target usize/isizeRalf Jung-2/+2
2020-03-25add helper method for ptr ops on Scalar; reduce unnecessary large operand of ↵Ralf Jung-6/+5
overflowing_signed_offset
2020-03-25use checked casts and arithmetic in Miri engineRalf Jung-2/+2
2020-03-23Split long derive lists into two derive attributes.Ana-Maria Mihalache-12/+2
2020-03-11miri: categorize errors into "unsupported" and "UB"Ralf Jung-16/+0
Also slightly refactor pointer bounds checks to avoid creating unnecessary temporary Errors
2020-03-04use integer assoc consts instead of methodsRalf Jung-2/+2
2020-01-24Render const pointers in MIR more compactlyOliver Scherer-2/+2
2019-12-22Format the worldMark Rousskov-14/+27
2019-12-01Miri core engine: use throw_ub instead of throw_panicRalf Jung-3/+2
2019-11-21Aggregation of drive-by cosmetic changes.Alexander Regueiro-7/+8
2019-11-14miri: helper methods for max values of machine's usize/isizeRalf Jung-0/+13
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