about summary refs log tree commit diff
path: root/src/librustc_mir/const_eval.rs
AgeCommit message (Expand)AuthorLines
2019-01-13Rollup merge of #57351 - oli-obk:cheap_const_ops, r=RalfJungMazdak Farrokhzad-14/+36
2019-01-09Not seeing the forest because there are too many trees in the wayOliver Scherer-1/+1
2019-01-09Explain the arguments of the `mk_*_eval_cx` functionsOliver Scherer-0/+13
2019-01-09Document the `mk_*_eval_cx` functionsOliver Scherer-2/+10
2019-01-08Make `mk_eval_cx` private to const evalOliver Scherer-1/+1
2019-01-08Manually push a stack frame where no valid frame is neededOliver Scherer-35/+12
2019-01-05Don't actually create a full MIR stack frame when not neededOliver Scherer-3/+27
2019-01-01`<&'tcx ty::Const as Deref>::deref`Oliver Scherer-4/+4
2019-01-01`const_to_op` is now `lazy_const_to_op`Oliver Scherer-3/+3
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-5/+7
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-23Rollup merge of #56981 - RalfJung:miri-infallible-alloc, r=oli-obkkennytm-3/+3
2018-12-19miri: allocation is infallibleRalf Jung-3/+3
2018-12-17static eval: Do not ICE on layout size overflowDan Robertson-4/+8
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-4/+4
2018-11-25machine hooks for stack push and pop, frame machine dataRalf Jung-1/+20
2018-11-25pass MemoryExtra to find_foreign_static and adjust_static_allocation; they mi...Ralf Jung-4/+6
2018-11-25bring back MemoryExtraRalf Jung-0/+1
2018-11-22rustc_target: avoid using AbiAndPrefAlign where possible.Eduard-Mihai Burtescu-1/+1
2018-11-22rustc_target: separate out an individual Align from AbiAndPrefAlign.Eduard-Mihai Burtescu-1/+1
2018-11-19use RawConst in miriRalf Jung-4/+10
2018-11-19Make const_eval_raw query return just an AllocIdRalf Jung-22/+24
2018-11-16CTFE: dynamically make sure we do not call non-const-fnRalf Jung-5/+11
2018-11-15Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obkbors-1/+0
2018-11-12Use type safe `VariantIdx` instead of `usize` everywhereOliver Scherer-3/+3
2018-11-12Use IndexVec instead of `usize` in librustcOliver Scherer-1/+1
2018-11-07calling the ptr hooks no longer needs expensive preparation, remove the opt-outRalf Jung-1/+0
2018-11-05make ValueVisitor mut-polymorphicRalf Jung-1/+1
2018-11-05generalize the traversal part of validation to a ValueVisitorRalf Jung-3/+3
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-4/+4
2018-10-29Assert that promoteds don't fail to be evaluated for being too genericOliver Scherer-1/+5
2018-10-29Auto merge of #55270 - RalfJung:stacked-borrows-ng, r=oli-obkbors-20/+9
2018-10-28Auto merge of #54487 - RalfJung:ctfe-backtrace, r=oli-obkbors-7/+13
2018-10-28don't tag new memory inside memory.rs; add machine hook to tag new memoryRalf Jung-2/+11
2018-10-28rename env var to control ctfe backtraces, and make it usually show the backt...Ralf Jung-7/+13
2018-10-28validity in non-const mode relies on ref_to_mplace checking bounds; (de)refer...Ralf Jung-25/+3
2018-10-28make (de)reference hooks more consistentRalf Jung-2/+4
2018-10-26Impl items have genericsOliver Scherer-0/+7
2018-10-26Auto merge of #53821 - oli-obk:sanity_query, r=RalfJungbors-45/+141
2018-10-25Explain how unused constants may still cause a hard errorOliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer-0/+4
2018-10-25Rebase falloutOliver Schneider-8/+5
2018-10-25Addressed minor issues brought up in review.Alexander Regueiro-6/+9
2018-10-25Document error/lint cases in const evalOliver Schneider-1/+9
2018-10-25Explain the `Reveal::UserFacing` deduplication trickOliver Schneider-0/+7
2018-10-25Deduplicate all the ~~things~~ errorsOliver Schneider-0/+21
2018-10-25Report const eval error inside the queryOliver Schneider-44/+100
2018-10-23fix typos in various placesMatthias Krüger-1/+1
2018-10-18don't do any work towards ptr provenance in const modeRalf Jung-0/+1
2018-10-18add 'raw reference' to the machine hook, and use that in ptr-to-raw castsRalf Jung-1/+1
2018-10-18also hook dereferencingRalf Jung-9/+17