[llvm-branch-commits] [clang] [LifetimeSafety] Implement support for lifetimebound attribute (PR #158489)

Gábor Horváth via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Mon Sep 22 07:15:34 PDT 2025


================
@@ -508,7 +545,7 @@ class FactGenerator : public ConstStmtVisitor<FactGenerator> {
       return;
     // An ImplicitCastExpr node itself gets an origin, which flows from the
     // origin of its sub-expression (after stripping its own parens/casts).
-    addAssignOriginFact(*ICE, *ICE->getSubExpr());
+    addOriginFlowFact(*ICE, *ICE->getSubExpr());
----------------
Xazax-hun wrote:

Shouldn't most of these kill the origin first?

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


More information about the llvm-branch-commits mailing list