about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-9/+26
2023-06-01Auto merge of #103877 - oli-obk:const_eval_step_limit, r=fee1-deadbors-0/+10
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-0/+10
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-25Manually add inlined frames in the interpreter stacktrace.Camille GILLOT-1/+14
2023-05-17Finish move of query.rsJohn Kåre Alsaker-3/+2
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-4/+4
2023-05-06use EarlyBinder in tcx.(try_)subst_mir_and_normalize_erasing_regionsKyle Matsuda-1/+5
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-4/+4
2023-04-16Report a backtrace for memory leaks under MiriBen Kimock-5/+2
2023-04-06Fix toolsGary Guo-0/+1
2023-04-06Add `UnwindAction::Terminate`Gary Guo-0/+3
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-18/+7
2023-03-08Assume the frame has all the locals.Camille GILLOT-17/+13
2023-03-06Do not ICE when failing to normalize in ConstProp.Camille GILLOT-9/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+4
2023-02-20basic dyn* support for MiriRalf Jung-1/+1
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2022-12-15Make alignment checks a future incompat lintOli Scherer-6/+10
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-15/+3
2022-12-03interpret: clobber return place when calling functionRalf Jung-0/+4
2022-11-20Rollup merge of #104564 - RalfJung:either, r=oli-obkMatthias Krüger-16/+16
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-3/+3
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-16/+16
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-10/+27
2022-11-15mv utility methods into separate modulelcnr-2/+2
2022-11-15nll: correctly deal with bivariancelcnr-3/+3
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-1/+1
2022-11-01Rollup merge of #103729 - RalfJung:align-of-val-packed, r=oli-obkDylan DPC-1/+8
2022-10-29interpret: fix align_of_val on packed typesRalf Jung-1/+8
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-1/+1
2022-10-07make const_err a hard errorRalf Jung-0/+3
2022-09-20Rollup merge of #102021 - lcnr:tyConst-fun, r=b-naber,BoxyUwUMichael Howell-5/+4
2022-09-19ctfe, `const_to_op` only for mir constantslcnr-5/+4
2022-09-18interpret: expose generate_stacktrace without full InterpCxRalf Jung-2/+9
2022-08-29Rollup merge of #100239 - RalfJung:const-prop-uninit, r=oli-obkDylan DPC-3/+0
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-1/+1
2022-08-27remove a now-useless machine hookRalf Jung-3/+0
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-4/+4
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-1/+1
2022-07-20make use of symbolic vtables in interpreterRalf Jung-1/+1
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-26/+26
2022-07-18interpret: make some large types not CopyRalf Jung-2/+2
2022-07-18interpret: remove some unused trait implsRalf Jung-36/+4
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-1/+1
2022-07-07MIR dataflow: Rename function to `always_storage_live_locals`pierwill-2/+2