about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Collapse)AuthorLines
2018-10-18Forward entire ptr used for dealloaction to machineRalf Jung-6/+6
Also, demote some debug! to trace!
2018-10-18repeat after me: Clone, Copy, DebugRalf Jung-0/+1
2018-10-18also hook dereferencingRalf Jung-10/+32
2018-10-18eval_context: move getters together and add one for is_freezeRalf Jung-48/+55
2018-10-18provide machine hooks for creating references and accessing memoryRalf Jung-31/+93
2018-10-18give machine more control over what counts as memory leakRalf Jung-10/+20
2018-10-18add support for storing extra data in an allocationRalf Jung-31/+26
2018-10-18comment on keeping validity in syncRalf Jung-0/+4
2018-10-18Rollup merge of #55142 - RalfJung:miri-uninhabited-enum, r=oli-obkkennytm-3/+0
miri: layout should not affect CTFE checks (outside of validation) Either the enum has no valid discriminant, then the code later will catch that; or it does, then we shouldn't error out so early (absent enforcing validity). Interestingly, the miri test suite still passes; my guess is we don't even get here for uninhabited types? r? @oli-obk
2018-10-18Rollup merge of #55016 - oli-obk:vtables💥_vtables_everywhere, r=RalfJungkennytm-11/+24
Deduplicate some code and compile-time values around vtables r? @RalfJung
2018-10-17layout should not affect CTFE checks (outside of validation)Ralf Jung-3/+0
2018-10-16Use forward compatible `FxHashMap` initializationOliver Scherer-1/+1
2018-10-15Add comments to remind everyone to keep the `get_vtable` impls in syncOliver Scherer-0/+4
2018-10-15Synchronize get_vtable with the `codegen_llvm` oneOliver Scherer-13/+14
2018-10-15Deduplicate vtables within a single evaluationOliver Scherer-1/+9
2018-10-15Rollup merge of #55062 - bjorn3:ecx-step-public, r=oli-obkManish Goregaokar-1/+3
Make EvalContext::step public again This is needed for priroda Fixes #55061
2018-10-14Auto merge of #55032 - oli-obk:the_early_unwrap_gets_the_panic, ↵bors-1/+1
r=Mark-Simulacrum Check the invariant for `principal` inside the method r? @Mark-Simulacrum
2018-10-14Add comment about step being used by prirodabjorn3-0/+2
2018-10-14Make EvalContext::step public againbjorn3-1/+1
Fixes #55061
2018-10-13Check the invariant for `principal` inside the methodOliver Scherer-1/+1
2018-10-13run-time validation: accept undef in int arrays, as we do for intsRalf Jung-5/+10
2018-10-13address nitsRalf Jung-1/+2
2018-10-13validation: accept pointers in integer arraysRalf Jung-5/+34
2018-10-13Fix and test upvar name printing for validityRalf Jung-10/+6
2018-10-13make ENFORCE_VALIDITY a functionRalf Jung-5/+5
miri needs this extra flexibility
2018-10-13foreign types: use size and align from layoutRalf Jung-2/+3
2018-10-13seems like for generators we cannot access the freevarsRalf Jung-5/+9
2018-10-13size_and_align_of can return no result for extern typesRalf Jung-23/+26
2018-10-13validate return value on stack popRalf Jung-31/+54
2018-10-13check return type even for uninhabited caseRalf Jung-5/+6
2018-10-13fix validation around transmuting copy_opRalf Jung-33/+136
2018-10-11impl Eq+Hash for TyLayoutRalf Jung-22/+1
2018-10-10tidy upRalf Jung-1/+6
2018-10-10vtables are not leaksRalf Jung-4/+9
2018-10-10more comments for these sublte games we are playing with allocations in the ↵Ralf Jung-30/+40
miri engine
2018-10-10abstract mono_hash_map through a trait, only miri actually needs the fancy oneRalf Jung-134/+99
2018-10-10typos and spacesRalf Jung-14/+14
2018-10-10clarify alloc_map descriptionRalf Jung-4/+6
2018-10-10fix typosRalf Jung-1/+1
2018-10-10expand safety comment in memory.rsRalf Jung-0/+4
2018-10-10rename extra -> meta in placeRalf Jung-32/+32
2018-10-10expand commentRalf Jung-0/+2
2018-10-10tidy, oh tidyRalf Jung-4/+16
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-427/+731
2018-10-09validity: check dynamic size, not staticRalf Jung-6/+2
also less verbose logging
2018-10-09dont fail when validating non-local closuresRalf Jung-4/+8
2018-10-09box is also a primitive typeRalf Jung-7/+7
2018-10-09add fixme for potential perf optimizationRalf Jung-0/+3
2018-10-09fix nits and handling of extern staticRalf Jung-31/+37
2018-10-09unify handling of thin and fat pointers by moving primitive type handling ↵Ralf Jung-194/+206
out of aggregate handling Also, make enum variant handling a bit nicer
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 12:02:23 +0000