Index: lib/AST/StmtDumper.cpp
===================================================================
--- lib/AST/StmtDumper.cpp	(revision 122493)
+++ lib/AST/StmtDumper.cpp	(working copy)
@@ -157,6 +157,7 @@
     // C++
     void VisitCXXNamedCastExpr(CXXNamedCastExpr *Node);
     void VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *Node);
+    void VisitCXXDefaultArgExpr(CXXDefaultArgExpr *Node);
     void VisitCXXThisExpr(CXXThisExpr *Node);
     void VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *Node);
     void VisitCXXConstructExpr(CXXConstructExpr *Node);
@@ -500,6 +501,12 @@
   OS << " " << (Node->getValue() ? "true" : "false");
 }
 
+void StmtDumper::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *Node) {
+  DumpExpr(Node);
+  OS << "\n";
+  DumpSubTree(Node->getExpr());
+}
+
 void StmtDumper::VisitCXXThisExpr(CXXThisExpr *Node) {
   DumpExpr(Node);
   OS << " this";
Index: lib/EntoSA/Checkers/ExprEngine.cpp
===================================================================
--- lib/EntoSA/Checkers/ExprEngine.cpp	(revision 122493)
+++ lib/EntoSA/Checkers/ExprEngine.cpp	(working copy)
@@ -753,7 +753,6 @@
     // C++ stuff we don't support yet.
     case Stmt::CXXBindTemporaryExprClass:
     case Stmt::CXXCatchStmtClass:
-    case Stmt::CXXDefaultArgExprClass:
     case Stmt::CXXDependentScopeMemberExprClass:
     case Stmt::ExprWithCleanupsClass:
     case Stmt::CXXNullPtrLiteralExprClass:
@@ -911,6 +910,12 @@
       break;
     }
 
+    case Stmt::CXXDefaultArgExprClass: {
+      const CXXDefaultArgExpr *DAE = cast<CXXDefaultArgExpr>(S);
+      Visit(DAE->getExpr(), Pred, Dst);
+      break;
+    }
+
     case Stmt::CXXDeleteExprClass: {
       const CXXDeleteExpr *CDE = cast<CXXDeleteExpr>(S);