summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
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
2023-01-23Remove debugging-related codeBryan Garza-4/+0
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-0/+4
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-4/+4
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-4/+4
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-17Undo questionable changesMaybe Waffle-1/+1
2023-01-17`rustc_const_eval`: remove `ref` patterns (+some pattern matching imps)Maybe Waffle-5/+5
2023-01-12attempt to make a minimal example workDeadbeef-0/+1
2022-12-15simplify alignment_check_failed a bitRalf Jung-14/+5
2022-12-15Reuse the ctfe error emitting logic for the future incompat lintOli Scherer-17/+22