[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 03:37:12 PDT 2026


================
@@ -0,0 +1,163 @@
+#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
+#include "clang/StaticAnalyzer/Core/Checker.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
+#include "llvm/Support/raw_ostream.h"
+#include "AllocationState.h"
+#include "clang/Analysis/Analyses/LifetimeSafety/LifetimeAnnotations.h"
+
+
+using namespace clang;
+using namespace ento;
+using namespace clang::lifetimes;
----------------
benedekaibas wrote:

Resolved here: [9733f25](https://github.com/llvm/llvm-project/pull/200145/commits/9733f253c9b8a218cd8de83ef4a922d8810fd6fb)

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


More information about the cfe-commits mailing list