summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
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
2022-07-06deduplicate some copy_op codeRalf Jung-1/+1
2022-07-06interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung-53/+56
2022-07-03interpret: track place alignment together with the type, not the valueRalf Jung-10/+5
2022-06-26interpret: do not prune requires_caller_location stack frames quite so earlyRalf Jung-11/+6
2022-06-09Auto merge of #97740 - RalfJung:ctfe-cycle-spans, r=lcnrbors-2/+6
2022-06-07Remove `AlwaysLiveLocals` wrapper structTomasz Miąsko-2/+2
2022-06-04use precise spans for recursive const evaluationRalf Jung-1/+2
2022-06-04const_prop_lint: ensure we have up-to-date cur_span()Ralf Jung-1/+4
2022-05-26clippy::complexity fixesMatthias Krüger-7/+3
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-12/+7
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-3/+8
2022-05-13Rustc changes for permissive provenancecarbotaniuman-3/+8
2022-04-17downgrade really verbose logging to traceRalf Jung-2/+2
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-1/+1
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-52/+8
2022-03-31catch overflow in slice size computationRalf Jung-1/+2
2022-03-31interpret: make isize::MAX the limit for dynamic value sizesRalf Jung-6/+7
2022-03-26interpret: mark a dead match arm as deadRalf Jung-1/+2
2022-03-21rename LocalState::Uninitialized to UnallocatedRalf Jung-12/+10
2022-03-09normalization change and rebaseb-naber-1/+7
2022-02-24Miri fn ptr check: don't use conservative null checkRalf Jung-3/+26
2022-02-19rustc_const_eval: adopt let else in more placesest31-9/+5
2022-02-11use body.tainted_by_error to skip loading MIRMichael Goulet-17/+9
2022-02-11rework borrowck errors so that it's harder to not set taintedMichael Goulet-2/+4
2022-02-11skip const eval if we have an error in borrowckMichael Goulet-1/+5
2022-01-04rename StackPopClean::None to RootRalf Jung-6/+12
2022-01-03Rollup merge of #90102 - nbdd0121:box3, r=jonas-schievinkMatthias Krüger-1/+1
2021-12-20better name for AdjustForForeignAbiError error variant in InterpErrorRalf Jung-1/+3
2021-12-20CTFE eval_fn_call: use FnAbi to determine argument skipping and compatibilityRalf Jung-2/+21
2021-12-15miri: lift restriction on extern types being the only field in a structTomasz Miąsko-13/+3
2021-12-13Remove `in_band_lifetimes` from `rustc_const_eval`LegionMammal978-1/+1
2021-12-12Auto merge of #91549 - fee1-dead:const_env, r=spastorinobors-0/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-0/+1