aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/AggExprVisitor.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/StaticAnalyzer/Core/AggExprVisitor.cpp')
-rw-r--r--lib/StaticAnalyzer/Core/AggExprVisitor.cpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Core/AggExprVisitor.cpp b/lib/StaticAnalyzer/Core/AggExprVisitor.cpp
index 0936d61784..53441f0d82 100644
--- a/lib/StaticAnalyzer/Core/AggExprVisitor.cpp
+++ b/lib/StaticAnalyzer/Core/AggExprVisitor.cpp
@@ -50,6 +50,8 @@ void AggExprVisitor::VisitCastExpr(CastExpr *E) {
case CK_NoOp:
case CK_ConstructorConversion:
case CK_UserDefinedConversion:
+ // FIXME: The CFG is fully linearised, so a recursive visit is probably not
+ // needed anymore.
Visit(E->getSubExpr());
break;
}
@@ -60,6 +62,8 @@ void AggExprVisitor::VisitCXXConstructExpr(CXXConstructExpr *E) {
}
void AggExprVisitor::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
+ // FIXME: The CFG is fully linearised, so a recursive visit is probably not
+ // needed anymore.
Eng.Visit(E, Pred, DstSet);
}