[clang] [LifetimeSafety] Propagate loans through the GNU binary conditional (PR #204439)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Thu Jun 18 01:00:07 PDT 2026


================
@@ -523,6 +530,9 @@ void FactsGenerator::VisitConditionalOperator(const ConditionalOperator *CO) {
 
   bool FirstFlow = true;
   auto HandleFlow = [&](const Expr *E) {
+    // An arm with no origins (e.g. a `throw`/void arm) carries no loans.
+    if (!getOriginsList(*E))
+      return;
----------------
Xazax-hun wrote:

Oh, will double check!

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


More information about the cfe-commits mailing list