summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2021-11-25Rollup merge of #91162 - RalfJung:miri-shift-truncation, r=oli-obkMatthias Krüger-1/+6
2021-11-24DebugDeadbeef-4/+5
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-20Auto merge of #90535 - tmiasko:clone-from, r=oli-obkbors-1/+14
2021-11-20Rollup merge of #90999 - RalfJung:miri_simd, r=oli-obkMatthias Krüger-32/+55
2021-11-19Rollup merge of #90633 - tmiasko:candidate-struct, r=nagisaYuki Okushi-101/+82
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-16Rollup merge of #90892 - RalfJung:miri-partial-ptr-copy, r=oli-obkYuki Okushi-7/+6
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-13Auto merge of #89551 - jhpratt:stabilize-const_raw_ptr_deref, r=oli-obkbors-7/+13
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-09Rollup merge of #89561 - nbdd0121:const_typeck, r=nikomatsakisMatthias Krüger-0/+1
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-2/+3
2021-11-07Give inline const separate DefKindGary Guo-0/+1
2021-11-06Stabilize `const_raw_ptr_deref` for `*const T`Jacob Pratt-7/+13
2021-11-06use matches!() macro in more placesMatthias Krüger-24/+13
2021-11-05Remove `Candidate::source_info`Tomasz Miąsko-7/+1
2021-11-05Refactor single variant `Candidate` enum into a structTomasz Miąsko-95/+82
2021-11-03`addr_of!` grants mutable access, maybe?Tomasz Miąsko-6/+5
2021-11-03Remove `MaybeMutBorrowedLocals`Tomasz Miąsko-0/+9
2021-11-03Implement `clone_from` for `State`Tomasz Miąsko-1/+14
2021-10-31Remove unnecessary `Option` from `promote_candidate` return typeTomasz Miąsko-11/+5
2021-10-29Auto merge of #90373 - tmiasko:union-qualification, r=oli-obkbors-1/+14
2021-10-29Auto merge of #90214 - tmiasko:indirect-mutation-qualif, r=ecstatic-morse,oli...bors-63/+157
2021-10-28Revert "Add rustc lint, warning when iterating over hashmaps"Mark Rousskov-1/+0
2021-10-28Use type based qualification for unionsTomasz Miąsko-1/+14
2021-10-27Remove `is_const_fn` in `find_mir_or_eval_fn`Gary Guo-9/+3
2021-10-26Consider indirect mutation during const qualification dataflowTomasz Miąsko-63/+157
2021-10-25Clean up special function const checksGary Guo-77/+41
2021-10-24Rollup merge of #89558 - lcnr:query-stable-lint, r=estebankMatthias Krüger-0/+1
2021-10-23Auto merge of #90203 - matthiaskrgr:rollup-v215wew, r=matthiaskrgrbors-1/+10
2021-10-23Rollup merge of #90168 - tmiasko:const-qualif-storage, r=matthewjasperMatthias Krüger-1/+10
2021-10-23Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakisbors-0/+2
2021-10-23Reset qualifs when a storage of a local endsTomasz Miąsko-1/+10
2021-10-23Rollup merge of #89920 - hudson-ayers:location-detail-control, r=davidtwcoMatthias Krüger-4/+11
2021-10-22Rollup merge of #90069 - tmiasko:promoted-const-qualif, r=oli-obkYuki Okushi-2/+9
2021-10-21Configure saved panic locations based on location-detail flagHudson Ayers-4/+11
2021-10-21Verify that only NeedsNonConstDrop expects promotedsTomasz Miąsko-4/+10
2021-10-21Rollup merge of #90071 - cjgillot:no-blocks, r=oli-obkYuki Okushi-3/+2
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+2
2021-10-19Replace FnLikeNode by FnKind.Camille GILLOT-3/+2
2021-10-20Rollup merge of #88860 - nbdd0121:panic, r=m-ou-seYuki Okushi-4/+1
2021-10-19Auto merge of #89933 - est31:let_else, r=michaelwoeristerbors-3/+2
2021-10-19Deduplicate panic_fmtGary Guo-4/+1
2021-10-19Fix const qualification when executed after promotionTomasz Miąsko-2/+3
2021-10-18Do not promote values with const drop that need to be droppedTomasz Miąsko-5/+57