[llvm-branch-commits] [clang] release/23.x: [analyzer][z3] Fix crash in Z3 SMTConv when casting atomic int (#211489) (PR #211531)

[via llvm-branch-commits]

llvmbot wrote:

@steakhal What do you think about merging this PR to the release branch?

https://github.com/llvm/llvm-project/pull/211531