summary refs log tree commit diff
path: root/src/librustc_mir/transform/const_prop.rs
AgeCommit message (Expand)AuthorLines
2019-02-16Add `eval` prefix to clarify what the function doesOliver Scherer-1/+1
2019-02-16Expose const -> op functions that don't allow violiting const eval invariantsOliver Scherer-1/+1
2019-02-13make bin_op and unary_op APIs consistently work on ImmTyRalf Jung-5/+4
2019-02-13make OpTy.op private, and ImmTy.imm public insteadRalf Jung-13/+12
2019-02-09pass full InstanceDef to run_passesRalf Jung-20/+20
2019-02-08librustc_mir => 2018Taiki Endo-4/+4
2019-01-22Span fixupOliver Scherer-1/+1
2019-01-22Get rid of the fake stack frameOliver Scherer-4/+2
2019-01-01Pacify tidyOliver Scherer-1/+2
2019-01-01`const_to_op` is now `lazy_const_to_op`Oliver Scherer-2/+2
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-19miri: allocation is infallibleRalf Jung-1/+1
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-3/+3
2018-11-26Auto merge of #56070 - oli-obk:const_let, r=eddybbors-0/+1
2018-11-19use RawConst in miriRalf Jung-2/+4
2018-11-19Make const_eval_raw query return just an AllocIdRalf Jung-1/+1
2018-11-19Also catch static mutation at evaluation timeOliver Scherer-0/+1
2018-11-08Prevent ICE in const-prop array oob checkOliver Scherer-8/+8
2018-11-05miri: binary_op_val -> binary_op_immRalf Jung-1/+1
2018-11-04rustc_target: pass contexts by reference, not value.Eduard-Mihai Burtescu-4/+4
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-10/+10
2018-10-28remove some unused CTFE error variantsRalf Jung-4/+0
2018-10-28rename env var to control ctfe backtraces, and make it usually show the backt...Ralf Jung-13/+8
2018-10-27Refactor and add `PlaceContext::AscribeUserTy`.David Wood-7/+8
2018-10-25Don't extend `hir::Def` when there's already a dedicated "function-like" dete...Oliver Schneider-11/+16
2018-10-25Report const eval error inside the queryOliver Schneider-20/+19
2018-10-09miri engine: also check return type before calling functionRalf Jung-0/+1
2018-09-30move ScalarMaybeUndef into the miri engineRalf Jung-2/+2
2018-09-20move loop detector constants to the module that uses them; make lifetime orde...Ralf Jung-6/+6
2018-09-20rename evaluator -> interpreter to make eddyb happyRalf Jung-3/+3
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-2/+2
2018-09-08Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obkbors-1/+1
2018-09-08Optimize miri checking of integer array/slicesGabriel Majeri-1/+1
2018-09-07make field always private, add `From` implsNiko Matsakis-2/+1
2018-08-29make ptr_op finally reponsible for all ops involving pointers; make ValTy con...Ralf Jung-11/+17
2018-08-29re-do argument passing one more time to finally be saneRalf Jung-1/+3
2018-08-28fix const_prop detecting unary neg underflowsRalf Jung-1/+15
2018-08-28address nitsRalf Jung-1/+1
2018-08-27switch validation to use operand, not mplaceRalf Jung-3/+2
2018-08-22Allow panicking with string literal messages inside constantsOliver Schneider-1/+1
2018-08-22miri/CTFE refactorRalf Jung-47/+51
2018-08-19mv (mod) codemap source_mapDonato Sciarra-1/+1
2018-08-07Remove an overly pedantic and wrong assertionOliver Schneider-5/+0
2018-08-01Address stylistic review comments and rebase falloutOliver Schneider-2/+2
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-9/+13
2018-07-29Sanity-check all constantsOliver Schneider-32/+36
2018-07-25Hide some lints which are not quite right the way they are reported to the userOliver Schneider-11/+93
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-42/+37