about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2024-10-16Auto merge of #131767 - cuviper:bump-stage0, r=Mark-Simulacrumbors-2/+2
2024-10-16Auto merge of #131481 - nnethercote:rm-GenKillSet, r=cjgillotbors-7/+2
2024-10-15update bootstrap configsJosh Stone-2/+2
2024-10-15Rollup merge of #130568 - eduardosm:const-float-methods, r=RalfJung,tgross35Michael Goulet-19/+99
2024-10-15Make some float methods unstable `const fn`Eduardo Sánchez Muñoz-0/+80
2024-10-14De-duplicate and move `adjust_nan` to `InterpCx`Eduardo Sánchez Muñoz-19/+19
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-7/+2
2024-10-12miri: avoid cloning AllocExtraRalf Jung-14/+19
2024-10-10Rollup merge of #131397 - RalfJung:const-escaping-ref-teach, r=chenyukangMatthias Krüger-34/+36
2024-10-08compiler: Factor rustc_target::abi out of const_evalJubilee Young-7/+9
2024-10-08fix/update teach_note from 'escaping mutable ref/ptr' const-checkRalf Jung-34/+36
2024-10-07Auto merge of #131068 - RalfJung:immediate-offset-sanity-check, r=nnethercotebors-31/+45
2024-10-06various fixes for `naked_asm!` implementationFolkert de Vries-1/+1
2024-10-04Use wide pointers consistenly across the compilerUrgau-3/+3
2024-10-03interpret: Immediate::offset: use shared sanity-check function to ensure inva...Ralf Jung-31/+45
2024-10-02Auto merge of #131006 - RalfJung:immediate-sanity, r=saethlinbors-3/+6
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-494/+501
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-24/+37
2024-09-29interpret: always enable write_immediate sanity checksRalf Jung-3/+6
2024-09-29cleanup: don't `.into()` identical typesMatthias Krüger-5/+2
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-1/+1
2024-09-26Stabilize `const_refs_to_static`Ding Xiang Fei-29/+0
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-6/+8
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-7/+7
2024-09-23Rollup merge of #130727 - compiler-errors:objects, r=RalfJungMichael Goulet-49/+68
2024-09-23Check vtable projections for validity in miriMichael Goulet-49/+68
2024-09-23fix unqualified_local_imports in rustc_const_evalRalf Jung-8/+11
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-129/+117
2024-09-22Rollup merge of #130690 - RalfJung:interpret-abi-compat-fixme, r=jieyouxuGuillaume Gomez-1/+0
2024-09-22Auto merge of #130689 - RalfJung:rustc_nonnull_optimization_guaranteed, r=jie...bors-0/+1
2024-09-22fix rustc_nonnull_optimization_guaranteed docsRalf Jung-0/+1
2024-09-22interpret: remove outdated FIXMERalf Jung-1/+0
2024-09-21Rollup merge of #130665 - veera-sivarajan:fix-118612, r=compiler-errorsJubilee-1/+10
2024-09-21Prevent Deduplication of `LongRunningWarn`Veera-1/+10
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-5/+7
2024-09-16make `LayoutCx` not genericLukas Markeffsky-4/+4
2024-09-15const: don't ICE when encountering a mutable ref to immutable memoryRalf Jung-8/+2
2024-09-15Rollup merge of #130342 - RalfJung:slice-idx-overflow, r=saethlinMatthias Krüger-14/+34
2024-09-15Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlinMatthias Krüger-11/+51
2024-09-15Auto merge of #130390 - matthiaskrgr:rollup-evbfwe2, r=matthiaskrgrbors-381/+30
2024-09-15interpret: get_ptr_alloc_mut: lookup allocation only onceRalf Jung-24/+40
2024-09-15also stabilize const_refs_to_cellRalf Jung-87/+21
2024-09-15const_refs_to_cell: dont let mutable references sneak past the interior mutab...Ralf Jung-1/+12
2024-09-15clean up const checking of mutable referencesRalf Jung-77/+2
2024-09-15stabilize const_mut_refsRalf Jung-230/+9
2024-09-15also use compute_size_in_bytes for relevant multiplications in MiriRalf Jung-9/+11
2024-09-14Auto merge of #128543 - RalfJung:const-interior-mut, r=fee1-deadbors-47/+81
2024-09-14Rollup merge of #130294 - nnethercote:more-lifetimes, r=lcnrLeón Orell Valerian Liehr-8/+8
2024-09-14interpret: fix dealing with overflow during slice indexingRalf Jung-7/+25