[clang] [analyzer][z3] Fix crash in Z3 SMTConv when casting atomic int (PR #211489)

via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 23 03:32:45 PDT 2026


guillem-bartrina-sonarsource wrote:

> @guillem-bartrina-sonarsource Do you have a CPP tracker number for this that I should include in the commit message?

I updated the PR description to include it. Thanks for the reminder :see_no_evil:!

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


More information about the cfe-commits mailing list