[llvm-branch-commits] [clang] [LifetimeSafety] Add support for GSL Pointer types (PR #154009)

Yitzhak Mandelbaum via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Fri Sep 5 06:51:45 PDT 2025


================
@@ -478,6 +478,31 @@ class FactGenerator : public ConstStmtVisitor<FactGenerator> {
     }
   }
 
+  void VisitCXXConstructExpr(const CXXConstructExpr *CCE) {
+    if (!isGslPointerType(CCE->getType()))
+      return;
+    if (CCE->getNumArgs() != 1)
+      return;
+    if (hasOrigin(CCE->getArg(0)))
+      addAssignOriginFact(*CCE, *CCE->getArg(0));
+    else
+      // This could be a new borrow.
+      handleFucntionCall(CCE, CCE->getConstructor(),
----------------
ymand wrote:

typo

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


More information about the llvm-branch-commits mailing list