about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2021-12-11better span for unexpected normalization failure in CTFE engineRalf Jung-2/+2
2021-12-12doc: fix typo in commentsjapm48-2/+2
2021-12-11Rollup merge of #90081 - woppopo:const_write_bytes, r=oli-obkMatthias Krüger-0/+24
2021-12-09Remove redundant [..]sest31-1/+1
2021-12-05allow for failure of subst_normalize_erasing_regions in const_evalb-naber-11/+23
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-1/+0
2021-12-02Auto merge of #91354 - fee1-dead:const_env, r=spastorinobors-0/+1
2021-11-29CTFE: support assert_zero_valid and assert_uninit_validRalf Jung-1/+25
2021-11-29Always use const param envs for const eval.Oli Scherer-0/+1
2021-11-27Miri: fix alignment check in array initializationRalf Jung-1/+5
2021-11-24Make `intrinsics::write_bytes` constwoppopo-0/+24
2021-11-23explain why CTFE/Miri perform truncation on shift offsetRalf Jung-1/+6
2021-11-20Revert "require full validity when determining the discriminant of a value"Ralf Jung-12/+0
2021-11-20Rollup merge of #90999 - RalfJung:miri_simd, r=oli-obkMatthias Krüger-32/+55
2021-11-19Rollup merge of #90895 - RalfJung:read-discriminant-valid, r=oli-obkYuki Okushi-0/+12
2021-11-18fix CTFE/Miri simd_insert/extract on array-style repr(simd) typesRalf Jung-32/+55
2021-11-14require full validity when determining the discriminant of a valueRalf Jung-0/+12
2021-11-13fix ICE on Miri/CTFE copy of half a pointerRalf Jung-7/+6
2021-11-10Auto merge of #88670 - camelid:miri-uninit-num, r=RalfJungbors-5/+12
2021-11-09miri: Detect uninitialized integers and floatsNoah Lev-5/+12
2021-11-06use matches!() macro in more placesMatthias Krüger-8/+4
2021-10-23Rollup merge of #89920 - hudson-ayers:location-detail-control, r=davidtwcoMatthias Krüger-4/+11
2021-10-21Configure saved panic locations based on location-detail flagHudson Ayers-4/+11
2021-10-20Remove `box_alloc` from `Machine` trait.Gary Guo-7/+1
2021-10-20Remove NullOp::BoxGary Guo-5/+0
2021-10-17Auto merge of #89514 - davidtwco:polymorphize-shims-and-predicates, r=lcnrbors-1/+2
2021-10-15Rollup merge of #89859 - RalfJung:write-discriminant, r=oli-obkMatthias Krüger-1/+15
2021-10-14add dedicated error variant for writing the discriminant of an uninhabited en...Ralf Jung-1/+15
2021-10-12Add const_eval_select intrinsicDeadbeef-1/+1
2021-10-08Auto merge of #89619 - michaelwoerister:incr-vtables, r=nagisabors-1/+1
2021-10-07Turn tcx.vtable_allocation() into a query.Michael Woerister-1/+1
2021-10-03Remove re-export.Camille GILLOT-1/+1
2021-10-01polymorphize: polymorphize shimsDavid Wood-1/+2
2021-09-29CTFE: extra assertions for Aggregate rvalues; remove unnecessarily eager spec...Ralf Jung-7/+9
2021-09-29remove outdated commentRalf Jung-1/+0
2021-09-25Introduce `Rvalue::ShallowInitBox`Gary Guo-0/+6
2021-09-20Enable 2021 compatibility lints for all in-tree codeMark Rousskov-1/+1
2021-09-14Remove implementation of `min_align_of` intrinsicTomasz Miąsko-7/+2
2021-09-12Auto merge of #88839 - nbdd0121:alignof, r=nagisabors-8/+10
2021-09-13Introduce NullOp::AlignOfGary Guo-8/+10
2021-09-09Rename `(un)signed` to `(un)signed_int`Andreas Liljeqvist-2/+2
2021-09-09Move `unsigned_max` etc into `Size` againAndreas Liljeqvist-6/+4
2021-09-09Remove cloneAndreas Liljeqvist-1/+1
2021-09-09Make `abi::Abi` `Copy` and remove a *lot* of refsAndreas Liljeqvist-16/+13
2021-09-09Add methods for checking for full ranges to `Scalar` and `WrappingRange`Andreas Liljeqvist-15/+13
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+9026