================
@@ -218,9 +227,18 @@ void FactsGenerator::VisitMaterializeTemporaryExpr(
const MaterializeTemporaryExpr *MTE) {
if (!hasOrigin(MTE))
return;
- // A temporary object's origin is the same as the origin of the
- // expression that initializes it.
- killAndFlowOrigin(*MTE, *MTE->getSubExpr());
+ const Expr *Child = MTE->getSubExpr()->IgnoreImpCasts();
+ if (const CXXBindTemporaryExpr *BTE =
+ dyn_cast<const CXXBindTemporaryExpr>(Child)) {
+ // Issue a loan to MTE for the storage location represented by BTE
+ const Loan *L = createLoan(FactMgr, BTE);
+ OriginID OID = FactMgr.getOriginMgr().getOrCreate(*MTE);
+ CurrentBlockFacts.push_back(FactMgr.createFact<IssueFact>(L->getID(),
OID));
+ } else {
+ // A temporary object's origin is the same as the origin of the
+ // expression that initializes it.
+ killAndFlowOrigin(*MTE, *MTE->getSubExpr());
----------------
usx95 wrote:
nit: reuse `Child` here.
https://github.com/llvm/llvm-project/pull/172007
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
