diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1378,10 +1378,10 @@ "Prepare for object destruction"); PreImplicitCall PP(DtorDecl, varDecl->getLocation(), LCtx, &PT); Pred = Bldr.generateNode(PP, state, Pred); - Bldr.takeNodes(Pred); if (!Pred) return; + Bldr.takeNodes(Pred); VisitCXXDestructor(varType, Region, Dtor.getTriggerStmt(), /*IsBase=*/false, Pred, Dst, CallOpts); @@ -1452,10 +1452,10 @@ "Prepare for object destruction"); PreImplicitCall PP(getDtorDecl(DTy), DE->getBeginLoc(), LCtx, &PT); Pred = Bldr.generateNode(PP, State, Pred); - Bldr.takeNodes(Pred); if (!Pred) return; + Bldr.takeNodes(Pred); VisitCXXDestructor(DTy, ArgR, DE, /*IsBase=*/false, Pred, Dst, CallOpts); } @@ -1528,10 +1528,10 @@ "Prepare for object destruction"); PreImplicitCall PP(DtorDecl, Member->getLocation(), LCtx, &PT); Pred = Bldr.generateNode(PP, State, Pred); - Bldr.takeNodes(Pred); if (!Pred) return; + Bldr.takeNodes(Pred); VisitCXXDestructor(T, FieldVal.getAsRegion(), CurDtor->getBody(), /*IsBase=*/false, Pred, Dst, CallOpts);