summary refs log tree commit diff
path: root/src/librustc_mir/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
2018-10-23fix typos in various placesMatthias Krüger-3/+3
2018-10-21Rename alloc_map_ref to alloc_mapbjorn3-1/+1
2018-10-21Add alloc_map accessorbjorn3-0/+5
2018-10-18Forward entire ptr used for dealloaction to machineRalf Jung-2/+2
2018-10-18provide machine hooks for creating references and accessing memoryRalf Jung-8/+14
2018-10-18give machine more control over what counts as memory leakRalf Jung-8/+13
2018-10-18add support for storing extra data in an allocationRalf Jung-15/+9
2018-10-13run-time validation: accept undef in int arrays, as we do for intsRalf Jung-4/+4
2018-10-13address nitsRalf Jung-0/+1
2018-10-13validation: accept pointers in integer arraysRalf Jung-1/+23
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 m...Ralf Jung-28/+36
2018-10-10abstract mono_hash_map through a trait, only miri actually needs the fancy oneRalf Jung-35/+42
2018-10-10typos and spacesRalf Jung-1/+1
2018-10-10clarify alloc_map descriptionRalf Jung-4/+6
2018-10-10expand safety comment in memory.rsRalf Jung-0/+4
2018-10-10expand commentRalf Jung-0/+2
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-178/+237
2018-10-09fix nits and handling of extern staticRalf Jung-14/+23
2018-10-09check that entire ref is in-bounds before recursing; add macro for validation...Ralf Jung-5/+10
2018-10-02Update a FIXME in memory.rsWesley Wiser-1/+1
2018-09-30move ScalarMaybeUndef into the miri engineRalf Jung-2/+2
2018-09-20make some things a bit more privateRalf Jung-1/+2
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-10/+29
2018-09-15keep around some information for dead allocations so that we can use it to ma...Ralf Jung-5/+46
2018-09-08Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obkbors-14/+8
2018-09-08Optimize miri checking of integer array/slicesGabriel Majeri-14/+8
2018-09-03Impl Eq and PartialEq for EvalSnapshot in terms of the Snapshot traitBruno Dutra-21/+0
2018-09-03Implement Hash in terms of HashStable for EvalSnapshotBruno Dutra-33/+1
2018-09-01bug! instead of panic!csmoe-1/+1
2018-09-01improve panic messagecsmoe-1/+1
2018-08-31extract allocation info from byrefcsmoe-4/+7
2018-08-30assert sanity in memoryRalf Jung-5/+4
2018-08-29audit the relocations code, and clean it up a littleRalf Jung-22/+42
2018-08-29refactor memory access methods a bitRalf Jung-40/+47
2018-08-29memory: make getting the alloc for a static an associate function for easier ...Ralf Jung-42/+42
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-19/+15
2018-08-27use associated const for machine controlling mutable staticsRalf Jung-29/+24
2018-08-27get rid of FinishStatic hack from stack clenaup; const_eval can do that itselfRalf Jung-16/+5
2018-08-27allow Machine to hook into foreign statics; remove unused HasMemory traitRalf Jung-61/+52
2018-08-27Miri Memory WorkRalf Jung-154/+114
2018-08-23Fixed multi-line function signaturesBernardo Meurer-2/+6
2018-08-23Small style fixesBernardo Meurer-3/+3
2018-08-23Fixup long code linesBernardo Meurer-12/+35
2018-08-23Reflow and fixup commentsBernardo Meurer-11/+18
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22avoid some redundant alignment checksRalf Jung-7/+18
2018-08-22optimize validation iterating over the elements of an arrayRalf Jung-16/+11
2018-08-22finally remove all traces of signs from memoryRalf Jung-11/+7