about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2021-12-12Rollup merge of #91815 - RalfJung:span, r=oli-obkMatthias Krüger-2/+2
2021-12-12Rollup merge of #91814 - japm48:spelling-fix, r=RalfJungMatthias Krüger-2/+2
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-4/+6
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-08Rollup merge of #91551 - b-naber:const-eval-normalization-ice, r=oli-obkMatthias Krüger-11/+23
2021-12-08Rollup merge of #91272 - FabianWolff:issue-90870-const-fn-eq, r=wesleywiserMatthias Krüger-10/+66
2021-12-05allow for failure of subst_normalize_erasing_regions in const_evalb-naber-11/+23
2021-12-05Auto merge of #91475 - ecstatic-morse:mir-pass-manager3, r=oli-obkbors-0/+4
2021-12-03Add initial AST and MIR support for unwinding from inline assemblyAmanieu d'Antras-17/+19
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-6/+4
2021-12-02Update passes with new interfaceDylan MacKenzie-0/+4
2021-12-02Auto merge of #91469 - matthiaskrgr:rollup-xom3j55, r=matthiaskrgrbors-6/+2
2021-12-02Rollup merge of #91410 - ecstatic-morse:const-precise-live-drops-take-2, r=ol...Matthias Krüger-6/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-3/+1
2021-12-02Auto merge of #91354 - fee1-dead:const_env, r=spastorinobors-4/+6
2021-11-30Handle `DropAndReplace` in const-checkingDylan MacKenzie-6/+2
2021-11-30Rollup merge of #91368 - ecstatic-morse:mir-pass-reexport, r=cjgillotYuki Okushi-6/+2
2021-11-30Rollup merge of #91323 - RalfJung:assert-type, r=oli-obkYuki Okushi-1/+25
2021-11-29Don't re-export `MirPass`Dylan MacKenzie-6/+2
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/+4
2021-11-29Use the constness from the param env instead of having a separate dimension f...Oli Scherer-4/+2
2021-11-28Rollup merge of #91251 - oli-obk:wf_sync_statics, r=matthewjasperMatthias Krüger-27/+2
2021-11-28Auto merge of #91230 - eggyal:fallible-type-fold, r=jackh726bors-1/+3
2021-11-27Miri: fix alignment check in array initializationRalf Jung-1/+5
2021-11-26Print a suggestion when comparing references to primitive types in constant f...Fabian Wolff-10/+66
2021-11-26Perform Sync check on static items in wf-check instead of during const checksOli Scherer-27/+2
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+3
2021-11-25Rollup merge of #91162 - RalfJung:miri-shift-truncation, r=oli-obkMatthias Krüger-1/+6
2021-11-24DebugDeadbeef-4/+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-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