summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval/machine.rs
AgeCommit message (Expand)AuthorLines
2022-10-18Remove allow(rustc::potential_query_instability) in rustc_const_evalCastilloDel-8/+8
2022-09-09The `<*const T>::guaranteed_*` methods now return an option for the unknown caseOli Scherer-26/+23
2022-09-04Make `const_eval_select` a real intrinsicDeadbeef-15/+1
2022-08-28entirely get rid of NeedsRfc CTFE errorsRalf Jung-11/+5
2022-08-28CTFE: exposing pointers and calling extern fn doesn't need an RFC, it is just...Ralf Jung-3/+5
2022-08-28Rollup merge of #101038 - RalfJung:interning-alignment, r=oli-obkMatthias Krüger-3/+3
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-2/+2
2022-08-26no alignment check during interningRalf Jung-3/+3
2022-08-21fix ICE with extra-const-ub-checksRalf Jung-2/+10
2022-08-07add -Zextra-const-ub-checks to enable more UB checking in const-evalRalf Jung-0/+10
2022-07-20rename get_global_alloc to try_get_global_allocRalf Jung-1/+1
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-3/+3
2022-07-14Use constant eval to do strict validity checks5225225-1/+1
2022-07-07make a name less ambiguousRalf Jung-2/+2
2022-05-30Add a helper function for checking whether a default function in a trait can ...Oli Scherer-2/+1
2022-05-30Remove `#[default..]` and add `#[const_trait]`Deadbeef-2/+3
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-4/+7
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-13Rustc changes for permissive provenancecarbotaniuman-1/+9
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-9/+9
2022-04-05interp: pass TyCtxt to Machine methods that do not take InterpCxRalf Jung-1/+2
2022-04-03tweak some function namesRalf Jung-1/+1
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-12/+11
2022-03-16rustc_error: make ErrorReported impossible to constructmark-3/+2
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-5/+6
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-02-24Miri fn ptr check: don't use conservative null checkRalf Jung-2/+3
2022-02-19rustc_const_eval: adopt let else in more placesest31-9/+6
2022-02-11use body.tainted_by_error to skip loading MIRMichael Goulet-0/+8
2022-01-26`const_deallocate`: Don't deallocate memory allocated in an another const. Do...woppopo-5/+15
2022-01-23Add `intrinsics::const_deallocate`woppopo-0/+17
2022-01-03Rollup merge of #90102 - nbdd0121:box3, r=jonas-schievinkMatthias Krüger-7/+0
2021-12-20const_eval machine: use original instance for replaced MIR bodiesRalf Jung-1/+11
2021-12-20CTFE eval_fn_call: use FnAbi to determine argument skipping and compatibilityRalf Jung-2/+2
2021-12-13Remove `in_band_lifetimes` from `rustc_const_eval`LegionMammal978-2/+2
2021-10-27Remove `is_const_fn` in `find_mir_or_eval_fn`Gary Guo-9/+3
2021-10-25Clean up special function const checksGary Guo-32/+20
2021-10-20Remove `box_alloc` from `Machine` trait.Gary Guo-7/+0
2021-10-20Rollup merge of #88860 - nbdd0121:panic, r=m-ou-seYuki Okushi-3/+1
2021-10-19Deduplicate panic_fmtGary Guo-3/+1
2021-10-12Add const_eval_select intrinsicDeadbeef-19/+40
2021-09-15Allow `panic!("{}", computed_str)` in const fn.Gary Guo-2/+7
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+474