about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
2025-02-02miri: improve error when offset_from preconditions are violatedRalf Jung-1/+19
2025-01-31miri: make float min/max non-deterministicRalf Jung-2/+14
2024-12-25swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ...Ralf Jung-6/+22
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-1/+1
2024-12-25miri: add test for overlapping typed_swapRalf Jung-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-1/+1
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-5/+4
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-3/+6
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-3/+6
2024-11-18remove pointless cold_path impl in interpreterRalf Jung-3/+0
2024-11-17Likely unlikely fixJiri Bobek-0/+3
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-1/+1
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-1/+1
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-2/+1
2024-10-15Make some float methods unstable `const fn`Eduardo Sánchez Muñoz-0/+80
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-13/+14
2024-09-29cleanup: don't `.into()` identical typesMatthias Krüger-5/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-09-15also use compute_size_in_bytes for relevant multiplications in MiriRalf Jung-5/+6
2024-09-14interpret: fix dealing with overflow during slice indexingRalf Jung-4/+3
2024-09-13interpret: simplify SIMD type handlingRalf Jung-3/+3
2024-08-27interpret: add missing alignment check in raw_eqRalf Jung-5/+5
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-3/+5
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-2/+2
2024-08-02Rollup merge of #128453 - RalfJung:raw_eq, r=saethlinMatthias Krüger-3/+0
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-6/+3
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-2/+2
2024-07-31raw_eq: using it on bytes with provenance is not UB (outside const-eval)Ralf Jung-3/+0
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-47/+36
2024-07-29Reformat `use` declarations.Nicholas Nethercote-14/+9
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-47/+36
2024-07-06offset_from intrinsic: always allow pointers to point to the same addressRalf Jung-15/+18
2024-07-04offset_from: "the difference must fit in an isize" is a corollaryRalf Jung-2/+2
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-2/+4
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-9/+7
2024-06-11check for correct trait in size_and_align_ofRalf Jung-2/+4
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-1/+1
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-16/+16
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-11/+13
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-11/+13
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-0/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-3/+5
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-3/+3
2024-05-09Make builtin_deref just return a TyMichael Goulet-3/+3
2024-05-09interpret/miri: better errors on failing offset_fromRalf Jung-13/+16