summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval/machine.rs
AgeCommit message (Expand)AuthorLines
2023-12-07avoid marking as immutable what is already immutableRalf Jung-1/+4
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-13/+52
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-5/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-22Rollup merge of #118147 - Nilstrieb:no-redundant-casts, r=WaffleLapkinMichael Goulet-1/+1
2023-11-21Fix some unnecessary castsNilstrieb-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-19Expand Miri's BorTag GC to a Provenance GCBen Kimock-0/+8
2023-10-28interpret: call caller_location logic the same way codegen does, and share so...Ralf Jung-0/+19
2023-10-20s/generator/coroutine/Oli Scherer-2/+2
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-50/+5
2023-10-01Auto merge of #115670 - Zoxc:outline-panic-macro-1, r=Mark-Simulacrumbors-1/+1
2023-09-26const-eval: make misalignment a hard errorRalf Jung-50/+5
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-2/+2
2023-09-08Partially outline code inside the panic! macroJohn Kåre Alsaker-1/+1
2023-08-20avoid return in tail positionRalf Jung-1/+1
2023-08-20interpret: have assert_* intrinsics call the panic machinery instead of a dir...Ralf Jung-4/+7
2023-08-19const-eval: ensure we never const-execute a function marked rustc_do_not_cons...Ralf Jung-32/+21
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-2/+2
2023-07-25interpret: make read functions generic over operand typeRalf Jung-1/+1
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-4/+5
2023-07-21CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`Moulins-4/+3
2023-07-21support non-null pointer niches in CTFEMoulins-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-07-11miri: protect Move() function arguments during the callRalf Jung-5/+7
2023-06-24Add enum for `can_access_statics` booleanNilstrieb-3/+18
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-10/+27
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-17/+65
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-1/+1
2023-04-28share BinOp::Offset between CTFE and MiriRalf Jung-13/+4
2023-04-25Lower `intrinsics::offset` to `mir::BinOp::Offset`Scott McMurray-4/+13
2023-04-20Remove WithOptconstParam.Camille GILLOT-6/+6
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-4/+4
2023-04-06Refactor unwind from Option to a new enumGary Guo-1/+1
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-0/+6
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-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-6/+6
2023-01-30Replace enum `==`s with `match`es where it makes senseMaybe Waffle-4/+3
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-1/+0
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-0/+1
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-1/+1
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-17`rustc_const_eval`: remove `ref` patterns (+some pattern matching imps)Maybe Waffle-1/+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