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

[Donát Nagy via llvm-branch-commits]

https://github.com/NagyDonat approved this pull request.


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