about summary refs log tree commit diff
path: root/compiler/rustc_transmute/src/maybe_transmutable
AgeCommit message (Expand)AuthorLines
2025-06-09transmutability: shift abstraction boundaryJack Wrenn-114/+172
2025-05-02Rollup merge of #140509 - tmiasko:merge-contiguous-ranges, r=jswrennMatthias Krüger-1/+1
2025-04-30transmutability: merge contiguous runs with a common destinationTomasz Miąsko-1/+1
2025-04-30transmutability: ensure_sufficient_stack when answering queryTomasz Miąsko-117/+125
2025-04-29transmutability: uninit transition matches unit byte onlyTomasz Miąsko-128/+29
2025-04-25transmutability: Support char, NonZeroXxxJoshua Liebow-Feeser-6/+76
2025-04-23transmutability: Mark edges by ranges, not valuesJoshua Liebow-Feeser-72/+343
2025-04-20transmutability: remove NFA intermediate representationJack Wrenn-26/+38
2025-04-16transmutability: Refactor tests for simplicityJoshua Liebow-Feeser-66/+74
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-4/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-2/+2
2024-10-04Fix some pub(crate) that were undetected bc of instrumentMichael Goulet-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-1/+1
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-2/+2
2024-09-03Add `warn(unreachable_pub)` to `rustc_transmute`.Nicholas Nethercote-2/+2
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-1/+1
2024-08-25Removes dead code from the compilermu001999-5/+1
2024-08-21safe transmute: gracefully bubble-up layout errorsJack Wrenn-10/+3
2024-08-18safe transmute: forbid reference lifetime extensionJack Wrenn-4/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-17/+12
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-0/+2
2024-04-08Compute transmutability from `rustc_target::abi::Layout`Jack Wrenn-12/+17
2024-03-15Safe Transmute: Use 'not yet supported', not 'unspecified' in errorsJack Wrenn-2/+2
2024-03-13safe transmute: require that src referent is smaller than dstJack Wrenn-0/+5
2024-02-27safe transmute: revise safety analysisJack Wrenn-78/+99
2023-10-06Remove the `MaybeTransmutableQuery<&'l Dfa<...>, C>` impl.Nicholas Nethercote-16/+0
2023-10-06Fix a comment.Nicholas Nethercote-3/+1
2023-10-06Remove `map_layouts`.Nicholas Nethercote-57/+33
2023-09-06Fix error report for size overflow from transmuteyukang-0/+2
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-83/+81
2023-05-24Safe Transmute: Update definition of Condition typeBryan Garza-11/+14
2023-05-24Safe Transmute: Check mutability before creating dst -> src obligationBryan Garza-0/+22
2023-05-24Safe Transmute: Fix propagation of errorsBryan Garza-14/+29
2023-05-24Safe Transmute: Change Answer type to ResultBryan Garza-109/+85
2023-05-24Safe Transmute: Enable handling references, including recursive typesBryan Garza-34/+136
2023-04-13Improve safe transmute error reportingBryan Garza-16/+17
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-3/+1
2022-12-19clippy::complexity fixesMatthias Krüger-5/+1
2022-09-04Auto merge of #100726 - jswrenn:transmute, r=oli-obkbors-3/+3
2022-09-01Always import all tracing macros for the entire crate instead of piecemeal by...Oli Scherer-3/+3
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-3/+3
2022-07-27safe transmute: lowercase tracing levelsJack Wrenn-5/+5
2022-07-27safe transmute: tweak tracingJack Wrenn-8/+8
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+528