summaryrefslogtreecommitdiff
path: root/compiler/rustc_middle/src/mir/interpret/error.rs
Commit message (Expand)AuthorAgeFilesLines
* Finish move of query.rsJohn Kåre Alsaker2023-05-171-1/+2
* Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko2023-05-151-6/+40
* interpret: fail more gracefully on uninit unsized localsRalf Jung2023-04-281-0/+4
* interpret: rename Pointer::from_addr → from_addr_invalidRalf Jung2023-02-141-1/+1
* miri: fix ICE when running out of address spaceRalf Jung2023-02-071-1/+6
* fix a typoRalf Jung2022-11-171-1/+1
* cleanup and dedupe CTFE and Miri error reportingRalf Jung2022-11-161-19/+4
* less unsupported errors in Miri, and clarifying commentsRalf Jung2022-11-071-7/+6
* make const_err a hard errorRalf Jung2022-10-071-18/+1
* interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung2022-08-271-3/+10
* consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung2022-07-201-4/+4
* make use of symbolic vtables in interpreterRalf Jung2022-07-201-18/+9
* add a Vtable kind of symbolic allocationsRalf Jung2022-07-201-0/+3
* interpret: use AllocRange in UninitByteAccessRalf Jung2022-07-061-51/+39
* Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726bors2022-07-061-1/+1
|\
| * impl TypeVisitable in type traversal macrosAlan Egerton2022-07-051-1/+1
* | adjust dangling-int-ptr error messageRalf Jung2022-07-051-10/+8
|/
* more use of format! variable captureRalf Jung2022-07-021-1/+1
* add AllocRange Debug impl; remove redundant AllocId Display implRalf Jung2022-07-021-13/+7
* interpret: adjust error from constructing an invalid valueRalf Jung2022-06-291-2/+4
* interpret: better control over whether we read data with provenance, and impl...Ralf Jung2022-06-051-1/+1
* Add the transmute and asm checks to typeck as deferred checksOli Scherer2022-05-241-7/+0
* use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber2022-05-161-1/+2
* interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung2022-04-071-5/+9
* rustc_error: make ErrorReported impossible to constructmark2022-03-161-2/+2
* Support other types of pluralization in pluralize macroest312022-03-151-1/+1
* adjust offset_from logic: check that both pointers are in-boundsRalf Jung2022-03-101-0/+6
* Auto merge of #94512 - RalfJung:sdiv-ub, r=oli-obkbors2022-03-031-0/+6
|\
| * Miri/CTFE: properly treat overflow in (signed) division/rem as UBRalf Jung2022-03-011-0/+6
* | rename ErrorReported -> ErrorGuaranteedmark2022-03-021-10/+10
|/
* rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu2022-02-231-1/+4
* Implement LowerHex on Scalar to clean up their display in rustdocGuillaume Gomez2022-02-201-1/+1
* better name for AdjustForForeignAbiError error variant in InterpErrorRalf Jung2021-12-201-4/+5
* CTFE eval_fn_call: use FnAbi to determine argument skipping and compatibilityRalf Jung2021-12-201-1/+5
* Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill2021-12-151-1/+1
* remove static_assert_size on InterpErrorb-naber2021-12-011-3/+0
* implement version of normalize_erasing_regions that doesn't assume value is n...b-naber2021-12-011-1/+1
* use matches!() macro in more placesMatthias Krüger2021-11-061-5/+5
* add dedicated error variant for writing the discriminant of an uninhabited en...Ralf Jung2021-10-141-0/+5
* Fix typos “a”→“an”Frank Steffahn2021-08-221-1/+1
* typoRalf Jung2021-07-311-1/+1
* CTFE: throw unsupported error when partially overwriting a pointerRalf Jung2021-07-311-2/+8
* get rid of NoMirFor error variantRalf Jung2021-07-241-3/+0
* miri: better ptr-out-of-bounds errorsRalf Jung2021-07-181-14/+16
* tweak pointer out-of-bounds error messageRalf Jung2021-07-151-5/+15
* remove unused error variantRalf Jung2021-07-141-3/+0
* more precise message for the ptr access check on derefRalf Jung2021-07-141-0/+3
* CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung2021-07-141-10/+12
* Simplify memory failure checkingSmitty2021-06-301-6/+0
* Rename is_spurious -> is_volatileSmitty2021-06-301-1/+1