about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/error.rs
AgeCommit message (Expand)AuthorLines
2023-02-14interpret: rename Pointer::from_addr → from_addr_invalidRalf Jung-1/+1
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-1/+6
2022-11-17fix a typoRalf Jung-1/+1
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-19/+4
2022-11-07less unsupported errors in Miri, and clarifying commentsRalf Jung-7/+6
2022-10-07make const_err a hard errorRalf Jung-18/+1
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-3/+10
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-4/+4
2022-07-20make use of symbolic vtables in interpreterRalf Jung-18/+9
2022-07-20add a Vtable kind of symbolic allocationsRalf Jung-0/+3
2022-07-06interpret: use AllocRange in UninitByteAccessRalf Jung-51/+39
2022-07-06Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726bors-1/+1
2022-07-05impl TypeVisitable in type traversal macrosAlan Egerton-1/+1
2022-07-05adjust dangling-int-ptr error messageRalf Jung-10/+8
2022-07-02more use of format! variable captureRalf Jung-1/+1
2022-07-02add AllocRange Debug impl; remove redundant AllocId Display implRalf Jung-13/+7
2022-06-29interpret: adjust error from constructing an invalid valueRalf Jung-2/+4
2022-06-05interpret: better control over whether we read data with provenance, and impl...Ralf Jung-1/+1
2022-05-24Add the transmute and asm checks to typeck as deferred checksOli Scherer-7/+0
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-1/+2
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-5/+9
2022-03-16rustc_error: make ErrorReported impossible to constructmark-2/+2
2022-03-15Support other types of pluralization in pluralize macroest31-1/+1
2022-03-10adjust offset_from logic: check that both pointers are in-boundsRalf Jung-0/+6
2022-03-03Auto merge of #94512 - RalfJung:sdiv-ub, r=oli-obkbors-0/+6
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-10/+10
2022-03-01Miri/CTFE: properly treat overflow in (signed) division/rem as UBRalf Jung-0/+6
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-1/+4
2022-02-20Implement LowerHex on Scalar to clean up their display in rustdocGuillaume Gomez-1/+1
2021-12-20better name for AdjustForForeignAbiError error variant in InterpErrorRalf Jung-4/+5
2021-12-20CTFE eval_fn_call: use FnAbi to determine argument skipping and compatibilityRalf Jung-1/+5
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-1/+1
2021-12-01remove static_assert_size on InterpErrorb-naber-3/+0
2021-12-01implement version of normalize_erasing_regions that doesn't assume value is n...b-naber-1/+1
2021-11-06use matches!() macro in more placesMatthias Krüger-5/+5
2021-10-14add dedicated error variant for writing the discriminant of an uninhabited en...Ralf Jung-0/+5
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-07-31typoRalf Jung-1/+1
2021-07-31CTFE: throw unsupported error when partially overwriting a pointerRalf Jung-2/+8
2021-07-24get rid of NoMirFor error variantRalf Jung-3/+0
2021-07-18miri: better ptr-out-of-bounds errorsRalf Jung-14/+16
2021-07-15tweak pointer out-of-bounds error messageRalf Jung-5/+15
2021-07-14remove unused error variantRalf Jung-3/+0
2021-07-14more precise message for the ptr access check on derefRalf Jung-0/+3
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-10/+12
2021-06-30Simplify memory failure checkingSmitty-6/+0
2021-06-30Rename is_spurious -> is_volatileSmitty-1/+1
2021-06-29Properly handle const prop failuresSmitty-0/+6
2021-06-29Make memory exhaustion a hard errorSmitty-1/+2
2021-06-29Support allocation failures when interperting MIRSmitty-0/+5