[clang] [analyzer] Remove some false negatives in StackAddrEscapeChecker (PR #125638)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Fri Feb 7 04:24:58 PST 2025


================
@@ -912,3 +924,33 @@ void top_malloc_no_crash_fn() {
   free(pptr);
 }
 } // namespace alloca_region_pointer
+
+namespace true_negatives_return_expressions {
+struct Container { int *x; };
+
+int test2() {
+  int x = 14;
----------------
Xazax-hun wrote:

Could you add an example where an unknown symbol is actually generated for `x`? So it is initialized by a function call that cannot be inlined by the analyzer. 

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


More information about the cfe-commits mailing list