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

[via cfe-commits]

llvmorg-github-actions[bot] wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-clang-static-analyzer-1

Author: guillem-bartrina-sonarsource

<details>
<summary>Changes</summary>



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


1 Files Affected:

- (modified) clang/test/Analysis/z3/z3-crosscheck.c (+11) 


``````````diff
diff --git a/clang/test/Analysis/z3/z3-crosscheck.c b/clang/test/Analysis/z3/z3-crosscheck.c
index 41ecaee5529e0..b46be71950f99 100644
--- a/clang/test/Analysis/z3/z3-crosscheck.c
+++ b/clang/test/Analysis/z3/z3-crosscheck.c
@@ -89,3 +89,14 @@ void e() {
   int f;
   a(f); // expected-warning {{1st function call argument is an uninitialized value [core.CallAndMessage]}}
 }
+
+// don't crash, and also produce a core.NullDereference finding
+_Atomic int b;
+int x;
+void k(void) {
+  int *p = 0;
+  b = x;
+  if (b == 0) {
+    *p = 1;
+  }
+}

``````````

</details>


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