[clang] [analyzer] Fix nullptr dereference for symbols from pointer invalidation (PR #106568)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Thu Aug 29 08:26:37 PDT 2024


================
@@ -126,3 +126,22 @@ void caller_for_nested_leaking() {
   int *ptr = 0;
   caller_mid_for_nested_leaking(&ptr);
 }
+
+// This used to crash StackAddrEscapeChecker because
+// it features a symbol conj_$1{struct c *, LC1, S763, #1}
+// that has no origin region.
+// bbi-98571
----------------
steakhal wrote:

Tests are not supposed to have references to tickets that are not publicly reachable. Swap it for a link if you really want to preserve this.

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


More information about the cfe-commits mailing list