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

Merged

[LifetimeSafety] Model bit_cast and atomic casts in the fact generator #204591

Xazax-hun merged 1 commit into llvm:main from Xazax-hun:lifetime-cast-modeling

llvmorg-github-actions added clang

llvmorg-github-actions added clang:analysis

llvmorg-github-actions added clang:temporal-safety

usx95 approved these changes on 2026-06-19

NeKon69 commented on 2026-06-19

[LifetimeSafety] Model bit_cast and atomic casts in the fact generator

c929f91e

Xazax-hun force pushed from 5dbb22e1 to c929f91e 141 days ago

Xazax-hun enabled auto-merge (squash) 141 days ago

NeKon69 approved these changes on 2026-06-19

Xazax-hun merged b496d062 into main 141 days ago

Reviewers

NeKon69

usx95

Assignees

No one assigned

Labels

clang clang:analysis clang:temporal-safety

Milestone

No milestone