summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2024-01-23Add a doc comment for eval_mir_constantBen Kimock-0/+2
2024-01-06Sometimes return the same AllocId for a ConstAllocationBen Kimock-0/+20
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-7/+8
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-11/+12
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-14/+15
2023-11-19Expand Miri's BorTag GC to a Provenance GCBen Kimock-0/+8
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-0/+1
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-11/+2
2023-10-09float-to-float casts also have non-deterministic NaN resultsRalf Jung-3/+6
2023-10-08miri: make NaN generation non-deterministicRalf Jung-0/+8
2023-09-26const-eval: make misalignment a hard errorRalf Jung-11/+2
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-3/+3
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-1/+1
2023-09-12Introduce Machine::POST_MONO_CHECKS.Camille GILLOT-0/+3
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-9/+9
2023-08-25Auto merge of #115184 - saethlin:local-allocated-spans, r=RalfJungbors-1/+13
2023-08-25Add a doc comment for the new hookBen Kimock-0/+3
2023-08-25Record allocation spans inside force_allocationBen Kimock-1/+10
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-2/+9
2023-08-20interpret: have assert_* intrinsics call the panic machinery instead of a dir...Ralf Jung-4/+2
2023-08-20interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the...Ralf Jung-0/+8
2023-07-11miri: protect Move() function arguments during the callRalf Jung-5/+25
2023-04-16Report a backtrace for memory leaks under MiriBen Kimock-1/+1
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-1/+1
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-5/+5
2023-04-06Refactor unwind from Option to a new enumGary Guo-1/+1
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-2/+3
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-2/+2
2023-02-20Minimal changes to make miri workRune Tynan-3/+6
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-3/+7
2023-02-18Rename checked_binop_checks_overflow.Camille GILLOT-4/+5
2023-02-14interpret: rename Pointer::from_addr → from_addr_invalidRalf Jung-1/+1
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-3/+3
2023-01-23Add back Machine::before_terminator(...) methodBryan Garza-0/+6
2023-01-23Replace terminator-based const eval limitBryan Garza-3/+3
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2022-12-15Move alignment failure error reporting to machineOli Scherer-1/+8
2022-12-15Make alignment checks a future incompat lintOli Scherer-1/+3
2022-12-06make retagging work even with 'unstable' placesRalf Jung-2/+14
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-2/+2
2022-10-18Remove allow(rustc::potential_query_instability) in rustc_const_evalCastilloDel-1/+1
2022-09-03Add a Machine hook for inline assemblyBen Kimock-0/+10
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-1/+1
2022-08-29Auto merge of #101167 - matthiaskrgr:rollup-yt3jdmp, r=matthiaskrgrbors-0/+1
2022-08-28CTFE: exposing pointers and calling extern fn doesn't need an RFC, it is just...Ralf Jung-0/+1
2022-08-27interpret: rename relocation → provenanceRalf Jung-1/+1
2022-08-27remove a now-useless machine hookRalf Jung-14/+3
2022-08-26remove enforce_number_init machine hook that Miri no longer needsRalf Jung-8/+0
2022-08-26fix an outdated machine hook nameRalf Jung-5/+5
2022-08-15Rename Machine memory hooks to suggest when they runBen Kimock-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 23:35:38 +0000