Skip to content

Issues: rust-lang/rust

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Segfault due to impossible_predicates treating A-codegen Area: Code generation C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-critical Critical priority WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)
#141119 opened May 17, 2025 by compiler-errors
ReferencePropagation miscompile that reads uninitialized memory A-mir-opt Area: MIR optimizations A-rustlantis A miscompilation found by Rustlantis C-bug Category: This is a bug. I-miscompile Issue: Correct Rust code lowers to incorrect machine code I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. P-medium Medium priority T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#141101 opened May 16, 2025 by saethlin
GVN can create overlapping assignments A-mir-opt Area: MIR optimizations A-mir-opt-GVN Area: MIR opt Global Value Numbering (GVN) A-rustlantis A miscompilation found by Rustlantis C-bug Category: This is a bug. I-miscompile Issue: Correct Rust code lowers to incorrect machine code I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-medium Medium priority T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#141038 opened May 15, 2025 by saethlin
mul_add on *-pc-windows-gnu returns incorrect results A-floating-point Area: Floating point numbers and arithmetic C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness O-windows-gnu Toolchain: GNU, Operating system: Windows P-medium Medium priority T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue.
#140515 opened Apr 30, 2025 by beetrees
#[target_feature] mismatch on unsafe trait fn vs its impl causes sneaky UB C-bug Category: This is a bug. F-target_feature_11 target feature 1.1 RFC I-lang-radar Items that are on lang's radar and will need eventual work or consideration. I-prioritize Issue: Indicates that prioritization has been requested for this issue. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-lang Relevant to the language team, which will review and decide on the PR/issue.
#139368 opened Apr 4, 2025 by obi1kenobi
core::ptr::replace implementation is unsound since Rust 1.80 C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness T-lang Relevant to the language team, which will review and decide on the PR/issue. T-opsem Relevant to the opsem team
#138351 opened Mar 11, 2025 by orlp
CopyProp miscompilation when src is moved more than once A-mir-opt Area: MIR optimizations C-bug Category: This is a bug. I-miscompile Issue: Correct Rust code lowers to incorrect machine code I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness requires-nightly This issue requires a nightly compiler in some way. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#137936 opened Mar 3, 2025 by tmiasko
Clarifying the behavior of #[rustc_nounwind] at trait methods A-dyn-trait Area: trait objects, vtable layout A-lang-item Area: Language items F-rustc_attrs Internal rustc attributes gated on the `#[rustc_attrs]` feature gate. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#137765 opened Feb 28, 2025 by dianqk
Decide what to do about UnsafePinned and safe Pin::as_ref C-bug Category: This is a bug. C-discussion Category: Discussion or questions that doesn't represent real issues. F-unsafe_pinned `#![feature(unsafe_pinned)]` I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness T-lang Relevant to the language team, which will review and decide on the PR/issue. T-opsem Relevant to the opsem team
#137750 opened Feb 27, 2025 by traviscross
LLVM nocapture attribute is used incorrectly A-codegen Area: Code generation A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-opsem Relevant to the opsem team
#137668 opened Feb 26, 2025 by tmiasko
Panic-safety issue with Zip specializations A-iterators Area: Iterators A-specialization Area: Trait impl specialization C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-high High priority T-libs Relevant to the library team, which will review and decide on the PR/issue.
#137255 opened Feb 19, 2025 by steffahn
MIR passes do not take into account if an operation is convergent A-mir-opt Area: MIR optimizations C-bug Category: This is a bug. I-miscompile Issue: Correct Rust code lowers to incorrect machine code I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness O-amdgcn Target: the Radeon 9001XT and such O-NVPTX Target: the NVPTX LLVM backend for running rust on GPUs, https://llvm.org/docs/NVPTXUsage.html T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-mir-opt Working group: MIR optimizations
#137086 opened Feb 15, 2025 by kulst
#[thread_local] alignment broken on Windows, GNU ABI A-thread-locals Area: Thread local storage (TLS) C-bug Category: This is a bug. F-thread_local `#![feature(thread_local)]` I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness O-windows-gnu Toolchain: GNU, Operating system: Windows requires-nightly This issue requires a nightly compiler in some way. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#135719 opened Jan 19, 2025 by purplesyringa
Item-bounds can be used to non-productively prove themselves A-associated-items Area: Associated items (types, constants & functions) I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-medium Medium priority S-blocked Status: Blocked on something else such as an RFC or other implementation work. T-types Relevant to the types team, which will review and decide on the PR/issue.
#135246 opened Jan 8, 2025 by lcnr
The implementation of InPlaceIterable for Flatten&FlatMap is unsound A-iterators Area: Iterators C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness T-libs Relevant to the library team, which will review and decide on the PR/issue.
#135103 opened Jan 4, 2025 by steffahn
Typesystem soundness hole involving cyclically-defined ATIT, and normalization in trait bounds A-associated-items Area: Associated items (types, constants & functions) A-trait-system Area: Trait system A-type-system Area: Type system C-bug Category: This is a bug. I-crash Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-medium Medium priority T-types Relevant to the types team, which will review and decide on the PR/issue.
#135011 opened Jan 2, 2025 by steffahn
When subtyping can switch out trait impls, Pin::new’s check for Target: Unpin becomes insufficient A-pin Area: Pin C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-medium Medium priority T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. T-types Relevant to the types team, which will review and decide on the PR/issue.
#134407 opened Dec 17, 2024 by steffahn
aarch64-unknown-none-softfloat: ABI unsoundness when enabling "neon" feature A-ABI Area: Concerning the application binary interface (ABI) A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. A-target-feature Area: Enabling/disabling target features like AVX, Neon, etc. C-bug Category: This is a bug. I-prioritize Issue: Indicates that prioritization has been requested for this issue. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness O-AArch64 Armv8-A or later processors in AArch64 mode T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#134375 opened Dec 16, 2024 by RalfJung
The combination of alloc_error_handler and target_features_11 is unsound C-bug Category: This is a bug. F-target_feature_11 target feature 1.1 RFC I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness requires-nightly This issue requires a nightly compiler in some way. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#134234 opened Dec 12, 2024 by veluca93
alloc_error_handler can be an unsafe fn which is then unsoundly invoked C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness requires-nightly This issue requires a nightly compiler in some way. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#134225 opened Dec 12, 2024 by RalfJung
Array and Vec's Clone specialization is maybe unsound with conditionally Copy types. A-specialization Area: Trait impl specialization C-bug Category: This is a bug. E-needs-investigation Call for partcipation: This issues needs some investigation to determine current status I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-medium Medium priority T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue.
#132442 opened Nov 1, 2024 by theemathas
projecting to assoc type of supertrait that is implemented differently for trait object goes wrong A-associated-items Area: Associated items (types, constants & functions) A-dyn-trait Area: trait objects, vtable layout C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness requires-nightly This issue requires a nightly compiler in some way. T-types Relevant to the types team, which will review and decide on the PR/issue.
#131891 opened Oct 18, 2024 by lukas-code
-Crelocation-model=rwpi (and possibly others) are unsound due to affecting the ABI C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness O-AArch64 Armv8-A or later processors in AArch64 mode O-Arm Target: 32-bit Arm processors (armv6, armv7, thumb...), including 64-bit Arm in AArch32 state P-medium Medium priority
#131300 opened Oct 5, 2024 by RalfJung
Miscompilation: comparing a pointer against all possible addresses returns false A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. I-miscompile Issue: Correct Rust code lowers to incorrect machine code I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-low Low priority T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#130388 opened Sep 15, 2024 by RalfJung
-Csoft-float flag is unsound A-ABI Area: Concerning the application binary interface (ABI) A-codegen Area: Code generation A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness O-Arm Target: 32-bit Arm processors (armv6, armv7, thumb...), including 64-bit Arm in AArch32 state P-medium Medium priority T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#129893 opened Sep 2, 2024 by RalfJung
ProTip! What’s not been updated in a month: updated:<2025-04-17.