summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2020-07-10Avoid "whitelist"Tamir Duberstein-1/+1
2020-07-05fmtRalf Jung-4/+9
2020-07-05catch errors more locally around read_discriminantRalf Jung-21/+40
2020-07-05catch InvalidUninitBytes during validationRalf Jung-5/+11
2020-07-02Rollup merge of #73684 - richkadel:llvm-coverage-map-gen-2, r=wesleywiserManish Goregaokar-1/+4
2020-07-01Rollup merge of #73778 - nbdd0121:const_likely, r=oli-obkManish Goregaokar-0/+4
2020-06-29add spans to injected coverage countersRich Kadel-1/+4
2020-06-28Rollup merge of #73757 - oli-obk:const_prop_hardening, r=wesleywiserManish Goregaokar-5/+33
2020-06-28Erase all block-only locals at the end of every block, even if they have not ...Oliver Scherer-5/+33
2020-06-27Rollup merge of #72796 - RalfJung:mir-assign-sanity, r=matthewjasperManish Goregaokar-39/+29
2020-06-27Update src/librustc_mir/interpret/intrinsics.rsGary Guo-2/+1
2020-06-26Make `likely` and `unlikely` constGary Guo-0/+5
2020-06-26Show the values and computation that would overflow a const evaluation or pro...Oliver Scherer-1/+14
2020-06-24Implement intrinsicNathan Corbyn-2/+12
2020-06-24reduce sanity check in debug modeRalf Jung-2/+8
2020-06-23Auto merge of #73643 - Manishearth:rollup-68dr8fz, r=Manishearthbors-0/+5
2020-06-23Rollup merge of #73398 - oli-obk:const_raw_ptr_cmp, r=varkor,RalfJung,nagisaManish Goregaokar-0/+5
2020-06-23Rollup merge of #73586 - RalfJung:switch-ty, r=oli-obkDylan DPC-9/+3
2020-06-23Rollup merge of #73578 - RalfJung:ty-ctxt-at, r=jonas-schievinkDylan DPC-2/+2
2020-06-22make layout check a mere sanity checkRalf Jung-18/+7
2020-06-22expand a commentRalf Jung-1/+3
2020-06-22also use relator in interpreter assignment sanity checkRalf Jung-29/+21
2020-06-22also normalize constants when comparing typesRalf Jung-0/+1
2020-06-21fmtRalf Jung-8/+1
2020-06-21remove switch_ty reliance in codegenRalf Jung-2/+3
2020-06-21Miri: replace many bug! by span_bug!Ralf Jung-28/+61
2020-06-21Make is_freeze and is_copy_modulo_regions take TyCtxtAtRalf Jung-2/+2
2020-06-19Add fuzzy pointer comparison intrinsicsOliver Scherer-0/+5
2020-06-19Rollup merge of #73011 - richkadel:llvm-count-from-mir-pass, r=tmandryRalf Jung-0/+2
2020-06-19Rollup merge of #73130 - wesleywiser:remove_const_prop_for_indirects, r=oli-obkRalf Jung-6/+6
2020-06-19Rollup merge of #72497 - RalfJung:tag-term, r=oli-obkRalf Jung-44/+42
2020-06-18Rollup merge of #72814 - RalfJung:mir-visir-terminator, r=oli-obkManish Goregaokar-3/+3
2020-06-16rename location field of Drop terminators to placeRalf Jung-3/+3
2020-06-15added test, Operand::const_from_scalar, require_lang_item, & commentsRich Kadel-0/+1
2020-06-15moved to post_borrowck_cleanup & used MirPatchRich Kadel-0/+1
2020-06-15Add case for count_code_region() extern lang_itemRich Kadel-3/+0
2020-06-15[WIP] injects llvm intrinsic instrprof.increment for coverage reportsRich Kadel-0/+3
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-3/+3
2020-06-15Rollup merge of #72879 - RalfJung:miri-tctx-at, r=oli-obkRalf Jung-63/+77
2020-06-14keep root_span and tcx togetherRalf Jung-70/+58
2020-06-13run const_eval_raw with root_spanRalf Jung-1/+1
2020-06-13avoid computing precise span for const_eval queryRalf Jung-1/+1
2020-06-12fix caller_location intrinsic for MiriRalf Jung-18/+18
2020-06-12avoid computing cur_span all the timeRalf Jung-3/+5
2020-06-12fix const_prop spans and re-bless testsRalf Jung-15/+25
2020-06-12make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span o...Ralf Jung-89/+104
2020-06-12make miri memory TyCtxtAt a TyCtxtRalf Jung-12/+11
2020-06-10Track span of function in method calls, and use this in #[track_caller]Aaron Hill-9/+24
2020-06-07Don't intern memory in const prop.Oliver Scherer-6/+6
2020-06-07rename FalseEdges -> FalseEdgeRalf Jung-1/+1