about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2023-07-05Name the destructure_mir_constant query appropriatelyOli Scherer-1/+1
2023-07-05Use options instead of errors if the errors are never neededOli Scherer-12/+10
2023-07-05Specialize `DestructuredConstant` to its one user (pretty printing)Oli Scherer-1/+1
2023-07-05Specialize `try_destructure_mir_constant` for its sole userOli Scherer-5/+6
2023-06-26Make simd_shuffle_indices use valtreesOli Scherer-1/+0
2023-06-24Add enum for `can_access_statics` booleanNilstrieb-12/+34
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-199/+228
2023-06-01Auto merge of #103877 - oli-obk:const_eval_step_limit, r=fee1-deadbors-19/+66
2023-05-31Remove `deref_mir_constant`Oli Scherer-38/+1
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-19/+66
2023-05-17Finish move of query.rsJohn Kåre Alsaker-1/+2
2023-05-16Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obkNilstrieb-3/+3
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-3/+3
2023-05-04Rollup merge of #110943 - RalfJung:interpret-unsized-arg-ice, r=oli-obkDylan DPC-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-5/+5
2023-04-28share BinOp::Offset between CTFE and MiriRalf Jung-13/+4
2023-04-28interpret: fail more gracefully on uninit unsized localsRalf Jung-1/+1
2023-04-25Lower `intrinsics::offset` to `mir::BinOp::Offset`Scott McMurray-4/+13
2023-04-20Remove WithOptconstParam.Camille GILLOT-9/+9
2023-04-10Fix typos in compilerDaniPopes-1/+1
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-4/+4
2023-04-06Refactor unwind from Option to a new enumGary Guo-1/+1
2023-03-31Auto merge of #98112 - saethlin:mir-alignment-checks, r=oli-obkbors-0/+6
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-1/+2
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-2/+2
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-0/+6
2023-03-23Rollup merge of #109435 - oli-obk:🇨🇭🥚_copy_op, r=RalfJungDylan DPC-3/+3
2023-03-21Use local key in providersMichael Goulet-2/+1
2023-03-21Detect uninhabited types early in const eval.Oli Scherer-2/+2
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-2/+2
2023-03-06Rollup merge of #107801 - davidtwco:stability-implies-const, r=NilstriebMatthias Krüger-3/+10
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-15Rollup merge of #108047 - oli-obk:machine->🞋, r=RalfJungMatthias Krüger-11/+11
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-1/+2
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-11/+11
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+2
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-09Avoid some `tls::with` calls.Nicholas Nethercote-1/+1
2023-02-08const_eval: `implies_by` in `rustc_const_unstable`David Wood-3/+10
2023-01-30Replace enum `==`s with `match`es where it makes senseMaybe Waffle-4/+3
2023-01-29Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obkbors-2/+2
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+2
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-2/+2
2023-01-23Add comments and remove unnecessary codeBryan Garza-5/+0
2023-01-23Add back Machine::before_terminator(...) methodBryan Garza-0/+5
2023-01-23Replace terminator-based const eval limitBryan Garza-2/+2