about summary refs log tree commit diff
path: root/src/librustc_mir/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2020-07-26Miri: replace canonical_alloc_id mechanism by extern_static_alloc_id which is...Ralf Jung-49/+20
2020-06-28Erase all block-only locals at the end of every block, even if they have not ...Oliver Scherer-1/+18
2020-05-30Make TLS accesses explicit in MIROliver Scherer-0/+7
2020-05-01rename InvalidIntPtrUsageRalf Jung-3/+3
2020-04-30Rollup merge of #71590 - RalfJung:mir-dump-pointers, r=oli-obkTyler Mandry-0/+2
2020-04-27share some common code for compile-time miri instancesRalf Jung-0/+64
2020-04-26organize Debug/Display impls a bit more; avoid sign-ignorant decimal displayRalf Jung-0/+2
2020-04-16Rename Machine::eval_maybe_thread_local_static_const to adjust_global_const a...Vytautas Astrauskas-1/+1
2020-04-15Remove now unnecessary resolve_maybe_global_alloc.Vytautas Astrauskas-25/+11
2020-04-15Add function eval_maybe_thread_local_static_const that allows handling thread...Vytautas Astrauskas-28/+39
2020-04-15Clarify the comments explaining the purpose of resolve_maybe_global_alloc.Vytautas Astrauskas-4/+9
2020-04-15Address reviewers' comments: replace resolve_thread_local_allocation_id with ...Vytautas Astrauskas-14/+26
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-0/+24
2020-04-15Rollup merge of #71100 - RalfJung:miri-frame-hook, r=oli-obkMazdak Farrokhzad-5/+13
2020-04-13Miri: let machine hook dynamically decide about alignment checksRalf Jung-1/+1
2020-04-13add after_stack_push hook; add public ImmTy::from_immediate method, and make ...Ralf Jung-0/+5
2020-04-13Miri: let push_frame hook also access and mutate the rest of the frame dataRalf Jung-5/+8
2020-04-10added machine hooks to track deallocationsOzaren-0/+8
2020-04-04indicate better which kind of memory got leakedRalf Jung-1/+1
2020-04-04avoid printing allocations twiceRalf Jung-1/+1
2020-03-30stop unnecessarily passing around span argument for Miri function callsRalf Jung-3/+1
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-2/+2
2020-03-25rename def_id -> static_def_idRalf Jung-1/+1
2020-03-24fix const_prop ICERalf Jung-0/+1
2020-03-24get back the more precise error messageRalf Jung-0/+1
2020-03-24move ModifiedStatic error to ConstEval errors, and generally adjust terminolo...Ralf Jung-16/+19
2020-03-19do not 'return' in 'throw_' macrosRalf Jung-1/+1
2020-03-18Rollup merge of #69839 - RalfJung:miri-error-cleanup, r=oli-obkMazdak Farrokhzad-1/+3
2020-03-14adjust Miri to needs of changed unwinding strategyRalf Jung-6/+6
2020-03-12Rollup merge of #69830 - RalfJung:miri-invalid-terminator, r=oli-obkMazdak Farrokhzad-0/+5
2020-03-11generalize InvalidNullPointerUsage to InvalidIntPointerUsageRalf Jung-1/+3
2020-03-11miri: categorize errors into "unsupported" and "UB"Ralf Jung-1/+1
2020-03-09also handle abort intrinsic with new machine hookRalf Jung-1/+1
2020-03-09remove no-longer needed span from Miri Machine hookRalf Jung-1/+0
2020-03-09miri: add machine hook for Abort terminatorRalf Jung-0/+5
2020-03-06fix various typosMatthias Krüger-1/+1
2020-02-23fmtRalf Jung-4/+1
2020-02-23canonicalize alloc ID before calling tag_static_base_pointerRalf Jung-0/+2
2020-02-23miri/machine: add canonical_alloc_id hook to replace find_foreign_staticRalf Jung-19/+25
2020-02-13move PanicInfo to mir moduleRalf Jung-3/+3
2020-01-10Remove StaticKindSantiago Pastorino-1/+1
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-1/+1
2020-01-04Update ABI in const impls of panic_fn/begin_panic_fn.Adam Perry-0/+1
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-1/+1
2019-12-23Dynamically prevent constants from accessing staticsOliver Scherer-1/+4
2019-12-22Format the worldMark Rousskov-31/+18
2019-12-04Auto merge of #66866 - oli-obk:const_fn_memoization, r=RalfJungbors-1/+1
2019-12-02fix init_allocation_extraRalf Jung-6/+8
2019-12-02make alloc_extra machine hook a bit nicerRalf Jung-5/+2
2019-12-02expose span to M::assert_panic, and provide helper to turn that into CallerLo...Ralf Jung-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-14 06:07:58 +0000