about summary refs log tree commit diff
path: root/src/librustc_mir/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
2019-01-04add support for principal-less trait object typesAriel Ben-Yehuda-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-19make basic CTFE tracing available on release buildsRalf Jung-4/+4
2018-11-25machine hooks for stack push and pop, frame machine dataRalf Jung-6/+12
2018-11-24Rollup merge of #56022 - RalfJung:validate-before-jump, r=oli-obkkennytm-7/+14
2018-11-22rustc_target: avoid using AbiAndPrefAlign where possible.Eduard-Mihai Burtescu-9/+9
2018-11-22rustc_target: separate out an individual Align from AbiAndPrefAlign.Eduard-Mihai Burtescu-2/+2
2018-11-22rustc_target: rename abi::Align to AbiAndPrefAlign.Eduard-Mihai Burtescu-6/+6
2018-11-19explain why we can use rawRalf Jung-0/+4
2018-11-19use RawConst in miriRalf Jung-5/+9
2018-11-19Rollup merge of #56059 - alexcrichton:fix-tests, r=sfacklerkennytm-2/+15
2018-11-18Auto merge of #55672 - RalfJung:miri-extern-types, r=eddybbors-2/+15
2018-11-17deallocate locals before validation, to catch dangling referencesRalf Jung-11/+19
2018-11-17When popping in CTFE, perform validation before jumping to next statement to ...Ralf Jung-17/+16
2018-11-15rename FrameInfo span field to call_siteRalf Jung-1/+1
2018-11-14miri: backtraces with instancesRalf Jung-12/+3
2018-11-06make sure we only guess field alignment at offset 0Ralf Jung-4/+3
2018-11-05note some FIXMEsRalf Jung-0/+3
2018-11-05generalize the traversal part of validation to a ValueVisitorRalf Jung-1/+1
2018-11-04rustc_target: pass contexts by reference, not value.Eduard-Mihai Burtescu-37/+7
2018-11-04test for offset and alignment of the sized part, instead of field countRalf Jung-5/+5
2018-11-04miri: accept extern types in structs if they are the only fieldRalf Jung-2/+13
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-7/+7
2018-10-28don't tag new memory inside memory.rs; add machine hook to tag new memoryRalf Jung-1/+1
2018-10-28make memory private; that's what we have `memory_mut` forRalf Jung-1/+1
2018-10-26Auto merge of #53821 - oli-obk:sanity_query, r=RalfJungbors-4/+9
2018-10-25Forward `TooGeneric` errorsOliver Schneider-2/+6
2018-10-25Report const eval error inside the queryOliver Schneider-4/+5
2018-10-23fix typos in various placesMatthias Krüger-1/+1
2018-10-21Use `read_local_of_frame` in `eval_place_to_op`bjorn3-8/+4
2018-10-18the tidy strikes againRalf Jung-2/+2
2018-10-18miri: debug! print when we are leaving/entering a functionRalf Jung-0/+14
2018-10-18Forward entire ptr used for dealloaction to machineRalf Jung-2/+2
2018-10-18eval_context: move getters together and add one for is_freezeRalf Jung-48/+55
2018-10-18add support for storing extra data in an allocationRalf Jung-2/+1
2018-10-16Use forward compatible `FxHashMap` initializationOliver Scherer-1/+1
2018-10-15Synchronize get_vtable with the `codegen_llvm` oneOliver Scherer-1/+1
2018-10-15Deduplicate vtables within a single evaluationOliver Scherer-0/+5
2018-10-13make ENFORCE_VALIDITY a functionRalf Jung-1/+1
2018-10-13size_and_align_of can return no result for extern typesRalf Jung-20/+20
2018-10-13validate return value on stack popRalf Jung-7/+32
2018-10-10rename extra -> meta in placeRalf Jung-2/+2
2018-10-10tidy, oh tidyRalf Jung-2/+8
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-20/+20
2018-10-09miri engine: also check return type before calling functionRalf Jung-0/+5
2018-09-30move ScalarMaybeUndef into the miri engineRalf Jung-2/+1
2018-09-20unsurprisingly, miri needs tcxRalf Jung-1/+1
2018-09-20make some things a bit more privateRalf Jung-2/+2
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-88/+19
2018-09-09miri loop detector hashing: fix enum hashing to also consider discriminant; d...Ralf Jung-1/+7