[clang] [llvm] [analyzer] Implemented a base of detecing lifetimebound annotation (PR #200145)

via cfe-commits cfe-commits at lists.llvm.org
Sun Jun 7 18:38:37 PDT 2026


================
@@ -3,25 +3,25 @@
 // RUN: %clang_analyze_cc1 -analyzer-checker=alpha.cplusplus.LifetimeAnnotations \
 // RUN:   -analyzer-config c++-container-inlining=false -verify %s
 
-void clang_analyzer_dump(...);
+struct A {};
 
-// These are the cases when the result of function calls are MemRegions.
+void clang_analyzer_lifetime_bound(int*);
----------------
isuckatcs wrote:

`void clang_analyzer_lifetime_bound(...);` should be sufficient. You want to match only the name of the function, and dump the arg.

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


More information about the cfe-commits mailing list