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 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
