================
@@ -665,15 +665,23 @@ void FactsGenerator::handlePlacementNew(const CXXNewExpr
*NE,
if (PlacementList)
CurrentBlockFacts.push_back(FactMgr.createFact<OriginFlowFact>(
NewList->getOuterOriginID(), PlacementList->getOuterOriginID(), true));
+ return true;
}
void FactsGenerator::VisitCXXNewExpr(const CXXNewExpr *NE) {
OriginList *NewList = getOriginsList(*NE);
const Expr *Init = NE->getInitializer();
- if (NE->getNumPlacementArgs() == 1) {
- handlePlacementNew(NE, NewList);
- } else {
+ bool HandledAsPlacementNew = false;
+ if (NE->getNumPlacementArgs() == 1)
+ HandledAsPlacementNew = handlePlacementNew(NE, NewList);
+
+ // Treat ordinary new and replaceable global allocation forms as heap
+ // allocations.
+ const FunctionDecl *OperatorNew = NE->getOperatorNew();
+ if (!HandledAsPlacementNew &&
+ (NE->getNumPlacementArgs() == 0 ||
+ (OperatorNew && OperatorNew->isReplaceableGlobalAllocationFunction())))
{
----------------
zeyi2 wrote:
I added a new test case to cover this. Thanks for reviewing!
https://github.com/llvm/llvm-project/pull/202286
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
