summary refs log tree commit diff
path: root/src/librustc_mir/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
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
2018-09-03Move InfiniteLoopDetector to snapshot.rsBruno Dutra-69/+2
2018-09-03Use EvalContext's TyCtx for the purpose of hashing the evaluation contextBruno Dutra-1/+2
2018-09-03Keep lines shorter than 100 charactersBruno Dutra-2/+9
2018-09-03Add an info log when snapshotting the constant evaluation contextBruno Dutra-0/+2
2018-09-03Impl Eq and PartialEq for EvalSnapshot in terms of the Snapshot traitBruno Dutra-26/+0
2018-09-03Make vaious allocation related types generic on the allocation idBruno Dutra-4/+4
2018-09-03Move EvalSnapshot into its own moduleBruno Dutra-42/+2
2018-09-03Implement Hash in terms of HashStable for EvalSnapshotBruno Dutra-16/+50
2018-09-03Promote EvalSnapshot to newtypeBruno Dutra-6/+21
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-1/+2
2018-08-27fix handling of unsized types in validation; validate str to be UTF-8Ralf Jung-79/+83
2018-08-27get rid of FinishStatic hack from stack clenaup; const_eval can do that itselfRalf Jung-16/+11
2018-08-27move const_eval out of rustc_mir::interpretRalf Jung-5/+5
2018-08-27Miri Memory WorkRalf Jung-30/+26
2018-08-23Fixed multi-line function signaturesBernardo Meurer-1/+1
2018-08-23Small style fixesBernardo Meurer-1/+1
2018-08-23Fix stylistic mistakesBernardo Meurer-4/+9
2018-08-23Fixup long code linesBernardo Meurer-6/+14
2018-08-23Reflow and fixup commentsBernardo Meurer-2/+4
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-3/+3
2018-08-22optimize creating a stack frameRalf Jung-6/+15
2018-08-22move validation to its own fileRalf Jung-331/+2
2018-08-22finally remove all traces of signs from memoryRalf Jung-17/+7
2018-08-22fix dynamically determining size and alignmentRalf Jung-17/+20
2018-08-22fix drop typing; use same machinery for validating (sanity checking) dyn trai...Ralf Jung-21/+32
2018-08-22fix union field access and DST computations and dumping of placesRalf Jung-16/+17
2018-08-22remove cur_frame from memory (validation is gone, new validation will not nee...Ralf Jung-6/+0