llvm-project
b496d062 - [LifetimeSafety] Model bit_cast and atomic casts in the fact generator (#204591)

Commit
139 days ago
[LifetimeSafety] Model bit_cast and atomic casts in the fact generator (#204591) VisitCastExpr dropped several borrow-carrying cast kinds into its default case. Propagate the borrow through `__builtin_bit_cast`/`std::bit_cast` of a pointer and through wrapping/unwrapping `_Atomic(T*)`, so a stack address laundered through either is caught (matching reinterpret_cast). hasOrigins and buildListForType now see through AtomicType, which is transparent for lifetimes. Assisted-by: Claude Opus 4.8 Co-authored-by: Gabor Horvath <gaborh@apple.com>
Author
Parents
Loading