about summary refs log tree commit diff
path: root/src/librustc_mir/interpret/terminator.rs
AgeCommit message (Expand)AuthorLines
2019-04-07implement by-value object safetyRalf Jung-11/+27
2019-04-06miri engine: lazily allocate memory for locals on first writeRalf Jung-3/+4
2019-04-02renames EvalErrorKind to InterpErrorkenta7777-3/+3
2019-03-26renames EvalContext to InterpretCx.kenta7777-2/+2
2019-03-01Put Local, Static and Promoted as one Base variant of PlaceSantiago Pastorino-2/+6
2019-02-13make bin_op and unary_op APIs consistently work on ImmTyRalf Jung-2/+2
2019-02-13make OpTy.op private, and ImmTy.imm public insteadRalf Jung-6/+8
2019-02-08librustc_mir => 2018Taiki Endo-3/+3
2019-01-30Allow `layout_of_local` to also use cached layoutsOliver Scherer-2/+2
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-12-01Auto merge of #56165 - RalfJung:drop-glue-type, r=eddyb,nikomatsakisbors-12/+24
2018-11-24Move alignment checks out of `Allocation`Oliver Scherer-2/+1
2018-11-24Adjust rustc_mir::interpret to changes in `Allocation`/`Memory` methodsOliver Scherer-1/+2
2018-11-22miri: restrict fn argument punning to Rust ABIRalf Jung-12/+21
2018-11-22drop glue takes in mutable references, it should reflect that in its typeRalf Jung-0/+3
2018-11-22rustc_target: avoid using AbiAndPrefAlign where possible.Eduard-Mihai Burtescu-1/+1
2018-11-07only count deref_operand as actual deref, but not all ref-to-place conversionsRalf Jung-1/+1
2018-11-07no more action on ref or cast, but add new MIR statement for escaping a ptr t...Ralf Jung-4/+1
2018-11-04rustc_target: pass contexts by reference, not value.Eduard-Mihai Burtescu-3/+3
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-7/+7
2018-10-24Add InstanceDef::VtableShim.Masaki Hara-0/+1
2018-10-21Use `read_local_of_frame` in `eval_place_to_op`bjorn3-2/+2
2018-10-18add 'raw reference' to the machine hook, and use that in ptr-to-raw castsRalf Jung-1/+1
2018-10-18provide machine hooks for creating references and accessing memoryRalf Jung-1/+4
2018-10-13validate return value on stack popRalf Jung-12/+10
2018-10-13check return type even for uninhabited caseRalf Jung-5/+6
2018-10-13fix validation around transmuting copy_opRalf Jung-1/+2
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-7/+7
2018-10-09fix nits and handling of extern staticRalf Jung-1/+1
2018-10-09miri engine: also check return type before calling functionRalf Jung-1/+15
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-1/+1
2018-09-10renamed mk_nil to mk_unitkenta7777-1/+1
2018-08-29make ptr_op finally reponsible for all ops involving pointers; make ValTy con...Ralf Jung-3/+3
2018-08-29re-do argument passing one more time to finally be saneRalf Jung-183/+160
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-6/+3
2018-08-28address nitsRalf Jung-2/+2
2018-08-27use associated const for machine controlling mutable staticsRalf Jung-1/+1
2018-08-27get rid of *most* of the fn call hack by honoring mir.spread_argRalf Jung-60/+54
2018-08-27fix handling of unsized types in validation; validate str to be UTF-8Ralf Jung-11/+6
2018-08-27terminator/drop.rs is just one fn... merge it together with the other termina...Ralf Jung-0/+488