summary refs log tree commit diff
path: root/src/librustc_mir/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2019-12-12avoid more intermediate allocations in validation errorsRalf Jung-23/+16
2019-12-12validation: avoid some intermediate allocationsRalf Jung-6/+6
2019-11-22fix reoccuring typo: dereferencable -> dereferenceableRalf Jung-2/+2
2019-11-08Rollup merge of #66154 - RalfJung:to_usize, r=oli-obkMazdak Farrokhzad-1/+1
2019-11-08miri: Rename to_{u,i}size to to_machine_{u,i}sizeRalf Jung-1/+1
2019-11-08rename Memory::get methods to get_raw to indicate their unchecked natureRalf Jung-1/+4
2019-11-06improve a commentRalf Jung-1/+1
2019-11-06remvoe to_scalar_ptr and use ref_to_mplace everywhereRalf Jung-28/+14
2019-11-04let caller of check_ptr_access_align control the error messageRalf Jung-2/+7
2019-10-18Don't ICE when evaluating writes to uninhabited enum variantsWesley Wiser-1/+1
2019-09-26Rename `Pat.node` to `Pat.kind`varkor-1/+1
2019-09-25Rename `sty` to `kind`varkor-6/+6
2019-08-30mod-level doc comment for validity checkRalf Jung-0/+6
2019-08-26raw slices do not have to comply to the size limitRalf Jung-14/+5
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-02miri: validity checks alignment even when machine otherwise does notRalf Jung-1/+3
2019-07-31code review fixesSaleem Jaffer-23/+22
2019-07-30renaming throw_err_* to throw_*Saleem Jaffer-15/+13
2019-07-30renaming err to err_unsupSaleem Jaffer-2/+2
2019-07-30adding throw_ and err_ macros for InterpErrorSaleem Jaffer-2/+2
2019-07-29code review fixesSaleem Jaffer-4/+5
2019-07-29adding a err macro for each of the InterpError variantsSaleem Jaffer-4/+4
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-11/+11
2019-07-14miri validation: better error messages for dangling referencesRalf Jung-2/+2
2019-07-13Rollup merge of #62585 - pnkfelix:issue-60431-make-struct-tail-normalize-when...Mazdak Farrokhzad-1/+2
2019-07-12Replace `struct_tail` and `struct_lockstep_tails` with variants handling norm...Felix S. Klock II-1/+2
2019-07-06forcing instead of normalizationRalf Jung-4/+11
2019-07-06Add check_mplace_ptr convenience method; provide ptr-normalization methods fo...Ralf Jung-8/+11
2019-07-04improve validity error range printing for singleton rangesRalf Jung-8/+9
2019-07-04turns out that dangling pointer branch is dead code; remove it and improve th...Ralf Jung-12/+9
2019-07-04use get_size_and_align to test if an allocation is liveRalf Jung-9/+8
2019-07-04make Memory::get_fn take a Scalar like most of the Memory API surfaceRalf Jung-5/+5
2019-06-27rename InterpretCx -> InterpCxRalf Jung-4/+4
2019-06-23comment tweaks, better validation errors, update UI testsRalf Jung-6/+18
2019-06-23Centralize bounds, alignment and NULL checking for memory accesses in one fun...Ralf Jung-33/+18
2019-06-20rename hir::map::get_by_hir_id to getljedrz-1/+1
2019-06-19Make interning explicitly care about types and the mutability of memoryOliver Scherer-31/+56
2019-06-19Fixmes and style fixesOliver Scherer-0/+1
2019-06-17Auto merge of #61915 - Centril:rollup-oire3i8, r=Centrilbors-2/+2
2019-06-17replace some uses of NodeId with HirIdljedrz-2/+2
2019-06-16Change to_ptr by force_ptrChristian Poveda-1/+1
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-2/+2
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-7/+7
2019-06-11rustc_mir: deny(unused_lifetimes).Eduard-Mihai Burtescu-1/+1
2019-06-08rename EvalResult -> InterpResult and EvalError -> InterpErrorInfoRalf Jung-11/+11
2019-06-02Auto merge of #61276 - eddyb:kill-res-upvar, r=petrochenkovbors-2/+1
2019-06-01rustc: use indexmap instead of a plain vector for upvars.Eduard-Mihai Burtescu-2/+1
2019-06-01Auto merge of #61350 - RalfJung:alloc, r=oli-obkbors-2/+2