[clang] [LifetimeSafety] Track origins for lifetimebound calls returning record types (PR #187917)
Utkarsh Saxena via cfe-commits
cfe-commits at lists.llvm.org
Sun Mar 29 13:17:29 PDT 2026
================
@@ -688,9 +707,9 @@ void FactsGenerator::handleFunctionCall(const Expr *Call,
ArgList = getRValueOrigins(Args[I], ArgList);
}
if (isGslOwnerType(Args[I]->getType())) {
- // GSL construction creates a view that borrows from arguments.
- // This implies flowing origins through the list structure.
- flow(CallList, ArgList, KillSrc);
+ CurrentBlockFacts.push_back(FactMgr.createFact<OriginFlowFact>(
----------------
usx95 wrote:
Can you also add the mentioned tests as well.
https://github.com/llvm/llvm-project/pull/187917
More information about the cfe-commits
mailing list