================
@@ -358,13 +513,13 @@ llvm::SmallVector<Fact *>
FactsGenerator::issuePlaceholderLoans() {
llvm::SmallVector<Fact *> PlaceholderLoanFacts;
for (const ParmVarDecl *PVD : FD->parameters()) {
- if (hasOrigin(PVD)) {
- const PlaceholderLoan *L =
- FactMgr.getLoanMgr().createLoan<PlaceholderLoan>(PVD);
- OriginID OID = FactMgr.getOriginMgr().getOrCreate(*PVD);
- PlaceholderLoanFacts.push_back(
- FactMgr.createFact<IssueFact>(L->getID(), OID));
- }
+ OriginList *List = getOriginsList(*PVD);
+ if (!List)
+ continue;
+ const PlaceholderLoan *L =
+ FactMgr.getLoanMgr().createLoan<PlaceholderLoan>(PVD);
+ PlaceholderLoanFacts.push_back(
----------------
usx95 wrote:
This directly effects annotation suggestions. We could do that but we would
need to silence the annotation suggestions for inner origins because
lifetimebound cannot express those.
https://github.com/llvm/llvm-project/pull/168344
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
