about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/const_eval/eval_queries.rs
AgeCommit message (Expand)AuthorLines
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-399/+0
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-1/+1
2021-09-02rustc_target: move `LayoutOf` to `ty::layout`.Eduard-Mihai Burtescu-1/+2
2021-07-14consistently treat None-tagged pointers as ints; get rid of some deprecated S...Ralf Jung-0/+2
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-17/+15
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-2/+2
2021-07-04Query-ify global limit attribute handlingAaron Hill-2/+2
2021-06-29Support allocation failures when interperting MIRSmitty-1/+1
2021-06-16Move some hard error logic to InterpErrorSmitty-15/+17
2021-06-15Use better error message for hard errors in CTFESmitty-2/+3
2021-05-28const eval errors: display the current item instance if there are generics in...Rémy Rakic-3/+15
2021-05-23support creating mutable allocations from byte slicesRalf Jung-2/+3
2021-03-31Add allocation information to undefined behaviour errors.Hameer Abbasi-0/+10
2021-02-25fix reviewklensy-1/+1
2021-02-24replaced some map_or with map_or_elseklensy-1/+1
2021-02-20Auto merge of #82124 - tmiasko:op-ty-ref, r=oli-obkbors-8/+8
2021-02-17Reduce size of InterpErrorInfo to 8 bytesTomasz Miąsko-1/+1
2021-02-16Pass MPlaceTy by reference not valueTomasz Miąsko-4/+4
2021-02-16Pass PlaceTy by reference not valueTomasz Miąsko-1/+1
2021-02-16Pass OpTy by reference not valueTomasz Miąsko-3/+3
2021-02-13Heat up the ICE-y error reportingEllen-1/+1
2021-01-24clean up some const error reporting around promotedsRalf Jung-74/+28
2020-12-20promoteds in statics may refer to staticsRalf Jung-2/+6
2020-12-20validate promotedsRalf Jung-19/+9
2020-12-11add missing constraintsTunahan Karlibas-6/+10
2020-12-11Remove unnecessary check and fix local_def_id parameterTunahan Karlibas-11/+4
2020-12-09Extra assertions in eval_body_using_ecx to disallow queries forTunahan Karlibas-0/+7
2020-11-12review commentsVishnunarayan K I-3/+2
2020-11-12check mir exists before validation; fix testsVishnunarayan K I-0/+7
2020-11-12fix tests and formattingVishnunarayan K I-1/+1
2020-11-12add error_occured field to ConstQualifs, fix #76064Vishnunarayan K I-0/+5
2020-11-05Rollup merge of #78742 - vn-ki:fix-issue-78655, r=oli-obkMara Bos-1/+1
2020-11-04make intern_const_alloc_recursive return error fix #78655Vishnunarayan K I-1/+1
2020-11-04Replace `Scalar::zst` with a `Scalar::ZST` constantoli-1/+1
2020-11-04s/Scalar::Raw/Scalar::Intoli-2/+2
2020-11-0432 bit platforms don't have 64 bit pointersOliver Scherer-2/+3
2020-11-04Split the "raw integer bytes" part out of `Scalar`Oliver Scherer-2/+2
2020-10-26interning cleanup: we no longer need to distinguish Const and ConstInner; we ...Ralf Jung-7/+8
2020-10-26move UnsafeCell-in-const check from interning to validationRalf Jung-8/+9
2020-10-26ensure we intern all promoteds as InternKind::PromotedRalf Jung-10/+7
2020-10-05query_name_of_opt_const_arg -> query_name_opt_const_argBastian Kauschke-1/+1
2020-09-30References to ZSTs may be at arbitrary aligned addressesOliver Scherer-5/+5
2020-09-19Reflect the "do not call this query directly" mentality in its nameOliver Scherer-3/+3
2020-09-19RustfmtOliver Scherer-2/+2
2020-09-19Address review commentsOliver Scherer-5/+5
2020-09-19Unify the names of const eval queries and their return typesOliver Scherer-9/+9
2020-09-19Rename const eval queries to reflect the validation changesOliver Scherer-7/+7
2020-09-19Replace `and_then` `map_err` `and_then` chain with a matchOliver Scherer-15/+16
2020-09-19`turn_into_const` is infallibleOliver Scherer-11/+7
2020-09-19Document `op_to_const`'s purposeOliver Scherer-0/+2