about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
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
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