Undefined symbols for architecture x86_64 for previously compiled symbols #110140
Labels
A-incr-comp
Area: Incremental compilation
C-bug
Category: This is a bug.
I-unsound
Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness
S-has-mcve
Status: A Minimal Complete and Verifiable Example has been found for this issue
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
When I tried the following sequence of incremental compilations :
builds & runs fine (as expected).
Followed by changing the statement to :
build fails (as expected) with
attempt to compute 1_u32 - 2_u32, which would overflow
.Then changing the statement back to
build succeeds (as expected) but run panics (unexpected) with
thread 'main' panicked at 'attempt to subtract with overflow', src/main.rs:2:20
. It's still inferring it to be an unsigned.If I now change it into
build fails (unexpected) with the following error :
Any subsequent builds with
i32
or without an explicit type fails with the same error.Some other notes :
cargo clean
& then running fixes it.u32
(ignoring first step above) wasn't causing panic or erroropt-level = 3
(and different behaviour in otheropt-level
s)Meta
rustc --version --verbose
:OS : macOS Ventura Version 13.3.1 (22E261)
xcode-tools : 14.3.0.0.1.1679647830
Backtrace
for the initial panic
The text was updated successfully, but these errors were encountered: