[clang] [llvm] [analyzer] Implemented a base of detecing lifetimebound annotation (PR #200145)
Benedek Kaibas via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 8 01:42:08 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*);
+void clang_analyzer_lifetime_bound(int&);
+void clang_analyzer_lifetime_bound(A*);
+void clang_analyzer_lifetime_bound(A&);
-struct A {};
+// These are the cases when the result of function calls are MemRegions.
----------------
benedekaibas wrote:
Since we discussed to focus on `lvalue` references first I did not want to include `rvalue` references, etc. But your are right that those should be included in the test as well to have a better coverage. I will add them to it.
https://github.com/llvm/llvm-project/pull/200145
More information about the cfe-commits
mailing list