[clang] [LifetimeSafety] Revamp how accesses and uses are handled (PR #225799)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 24 06:02:44 PDT 2026


================
@@ -138,12 +141,17 @@ class FactsGenerator : public ConstStmtVisitor<FactsGenerator> {
   /// If so, creates a `TestPointFact` and returns true.
   bool handleTestPoint(const CXXFunctionalCastExpr *FCE);
 
-  // Treats an expression as a use of the referenced object. It will be
-  // checked for use-after-free unless it is later marked as being written to
-  // (e.g. on the left-hand side of an assignment in the case of a DeclRefExpr).
-  void handleUse(const Expr *E);
+  bool namesDeclStorage(const OriginList *List) const;
+
+  OriginList *readValue(const Expr *E);
----------------
Xazax-hun wrote:

Ooops, my bad. Docs were in the cpp file, now they are moved to the header. 

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


More information about the cfe-commits mailing list