[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