summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2024-10-08compiler: Factor rustc_target::abi out of const_evalJubilee Young-7/+8
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-413/+423
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-23/+34
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-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-5/+6
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-1/+1
2024-09-23Rollup merge of #130727 - compiler-errors:objects, r=RalfJungMichael Goulet-35/+60
2024-09-23Check vtable projections for validity in miriMichael Goulet-35/+60
2024-09-23fix unqualified_local_imports in rustc_const_evalRalf Jung-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-84/+79
2024-09-22Rollup merge of #130690 - RalfJung:interpret-abi-compat-fixme, r=jieyouxuGuillaume Gomez-1/+0
2024-09-22fix rustc_nonnull_optimization_guaranteed docsRalf Jung-0/+1
2024-09-22interpret: remove outdated FIXMERalf Jung-1/+0
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-1/+1
2024-09-16make `LayoutCx` not genericLukas Markeffsky-2/+2
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-15interpret: get_ptr_alloc_mut: lookup allocation only onceRalf Jung-24/+40
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-22/+45
2024-09-14Rollup merge of #130294 - nnethercote:more-lifetimes, r=lcnrLeón Orell Valerian Liehr-5/+5
2024-09-14interpret: fix dealing with overflow during slice indexingRalf Jung-7/+25
2024-09-13interpret: simplify SIMD type handlingRalf Jung-52/+40
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-5/+5
2024-09-12Rollup merge of #130250 - compiler-errors:useless-conversion, r=jieyouxuStuart Cook-1/+1
2024-09-12Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoeristerStuart Cook-7/+15
2024-09-11Rollup merge of #130239 - RalfJung:miri-ptr-offset-unsigned, r=compiler-errorsJubilee-1/+8
2024-09-11Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errorsJubilee-2/+2
2024-09-11clippy::useless_conversionMichael Goulet-1/+1
2024-09-11miri: fix overflow detection for unsigned pointer offsetRalf Jung-1/+8
2024-09-11Simplify some nested if statementsMichael Goulet-7/+15
2024-09-10interpret: mark some hot functions inline(always)Ralf Jung-0/+5
2024-09-10turn errors that should be impossible due to our static checks into ICEsRalf Jung-21/+40
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-7/+11
2024-09-10miri: treat non-memory local variables properly for data race detectionRalf Jung-11/+51
2024-09-09union padding computation: add fast-path for ZSTRalf Jung-12/+27
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-2/+2
2024-09-08interpret: reset padding during validationRalf Jung-29/+312
2024-09-08interpret: reset provenance on typed copiesRalf Jung-126/+254
2024-09-08interpret: factor out common code for place mutationRalf Jung-81/+89
2024-09-08interpret: make Writeable trait about a to_place operationRalf Jung-18/+13