Fixed #108: Two different matchers did match the same statement.

AutoStmtHandler.cpp

@@ -18,23 +18,18 @@ using namespace clang;
 using namespace clang::ast_matchers;
 //-----------------------------------------------------------------------------
 
+namespace clang::ast_matchers {
+
 // XXX: recent clang source has a declType matcher. Try to figure out a migration path.
 const internal::VariadicDynCastAllOfMatcher<Type, DecltypeType> myDecltypeType;
 //-----------------------------------------------------------------------------
+}  // namespace clang::ast_matchers
 
 namespace clang::insights {
 
 AutoStmtHandler::AutoStmtHandler(Rewriter& rewrite, MatchFinder& matcher)
 : InsightsBase(rewrite)
 {
-
-    static const auto isAutoAncestor =
-        hasAncestor(varDecl(anyOf(hasType(autoType().bind("autoType")),
-                                  hasType(qualType(hasDescendant(autoType().bind("autoType")))),
-                                  /* decltype and decltype(auto) */
-                                  hasType(myDecltypeType().bind("dt")),
-                                  hasType(qualType(hasDescendant(myDecltypeType().bind("dt")))))));
-
     matcher.addMatcher(varDecl(unless(anyOf(isExpansionInSystemHeader(),
                                             isMacroOrInvalidLocation(),
                                             isAutoAncestor,

ImplicitCastHandler.cpp

@@ -25,6 +25,7 @@ ImplicitCastHandler::ImplicitCastHandler(Rewriter& rewrite, MatchFinder& matcher
         anyOf(isExpansionInSystemHeader(),
               isMacroOrInvalidLocation(),
               isTemplate,
+              isAutoAncestor,
               hasAncestor(functionDecl()),
               hasAncestor(userDefinedLiteral()),
               hasAncestor(implicitCastExpr(hasMatchingCast())), /* will be catch by the walk down */

InsightsMatchers.h

@@ -18,12 +18,24 @@
 namespace clang {
 namespace ast_matchers {
 
+// XXX: recent clang source has a declType matcher. Try to figure out a migration path.
+extern const internal::VariadicDynCastAllOfMatcher<Type, DecltypeType> myDecltypeType;
+//-----------------------------------------------------------------------------
+
 /* don't replace stuff in template definitions */
 static const auto isTemplate = anyOf(hasAncestor(classTemplateDecl()),
                                      hasAncestor(functionTemplateDecl()),
                                      hasAncestor(classTemplateSpecializationDecl()));
 //-----------------------------------------------------------------------------
 
+static const auto isAutoAncestor =
+    hasAncestor(varDecl(anyOf(hasType(autoType().bind("autoType")),
+                              hasType(qualType(hasDescendant(autoType().bind("autoType")))),
+                              /* decltype and decltype(auto) */
+                              hasType(myDecltypeType().bind("dt")),
+                              hasType(qualType(hasDescendant(myDecltypeType().bind("dt")))))));
+//-----------------------------------------------------------------------------
+
 /// \brief Shut up a unused variable warnings
 #define SILENCE                                                                                                        \
     (void)Finder;                                                                                                      \

tests/Issue106.cpp

@@ -1,9 +1,8 @@
 int main()
 {
-    auto p = new int[2][3][4];
+    auto p = new int[3][3][4];
 
-//    auto z = new int[1];
+    auto z = new int[1];
 
-//    auto x = new int;
+    auto x = new int;
 }
-

tests/Issue106.expect

@@ -1,6 +1,7 @@
 int main()
 {
-  int (*p)[3][4] = new int [2][3][4];
+  int (*p)[3][4] = new int [3][3][4];
+  int * z = new int[1];
+  int * x = new int;
 }
 
-

tests/Issue108.cpp

@@ -0,0 +1,11 @@
+auto gp = new int[2][3][4];
+
+auto gz = new int[1];
+
+auto gx = new int;
+
+auto gu = new int[0x2][0x3][0x4];
+
+int main()
+{
+}