[clang] [LifetimeSafety] Add multi-block support to buildOriginFlowChain (PR #204592)

via cfe-commits cfe-commits at lists.llvm.org
Thu Jun 18 06:54:23 PDT 2026


================
@@ -235,20 +290,17 @@ class AnalysisImpl
       CurrOID = SrcOriginID;
     }
 
-    // FIXME: Ideally, this return is unreachable and should be an assert
-    // because we expect to always finish at an IssueFact. But since current
-    // traversal is limited to a single CFG block, multi-block OriginFlowChain
-    // construction might miss the IssueFact. We should add llvm_unreachable
-    // here once multi-block support is implemented.
-    return {};
+    return {OriginFlowChain, false};
----------------
NeKon69 wrote:

Oh, yes, that makes sense!

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


More information about the cfe-commits mailing list