clang/test/Tooling/clang-diff-topdown.cpp

   1 // RUN: %clang_cc1 -E %s > %t.src.cpp
   2 // RUN: %clang_cc1 -E %s > %t.dst.cpp -DDEST
   3 // RUN: clang-diff -dump-matches -stop-diff-after=topdown %t.src.cpp %t.dst.cpp -- -std=c++11 | FileCheck %s
   4 //
   5 // Test the top-down matching of identical subtrees only.
   6
   7 #ifndef DEST
   8
   9 void f1()
  10 {
  11   // Match some subtree of height greater than 2.
  12   // CHECK: Match CompoundStmt(3) to CompoundStmt(3)
  13   // CHECK: Match CompoundStmt(4) to CompoundStmt(4)
  14   // CHECK: Match NullStmt(5) to NullStmt(5)
  15   {{;}}
  16
  17   // Don't match subtrees that are smaller.
  18   // CHECK-NOT: Match CompoundStmt(6)
  19   // CHECK-NOT: Match NullStmt(7)
  20   {;}
  21
  22   // Greedy approach - use the first matching subtree when there are multiple
  23   // identical subtrees.
  24   // CHECK: Match CompoundStmt(8) to CompoundStmt(8)
  25   // CHECK: Match CompoundStmt(9) to CompoundStmt(9)
  26   // CHECK: Match NullStmt(10) to NullStmt(10)
  27   {{;;}}
  28 }
  29
  30 int x;
  31
  32 namespace src {
  33   int x;
  34   int x1 = x + 1;
  35   int x2 = ::x + 1;
  36 }
  37
  38 class A { int x = 1 + 1; void f() { int x1 = x; } };
  39
  40 #else
  41
  42
  43 void f1() {
  44
  45   {{;}}
  46
  47   {;}
  48
  49   {{;;}}
  50   // CHECK-NOT: Match {{.*}} to CompoundStmt(11)
  51   // CHECK-NOT: Match {{.*}} to CompoundStmt(12)
  52   // CHECK-NOT: Match {{.*}} to NullStmt(13)
  53   {{;;}}
  54
  55   // CHECK-NOT: Match {{.*}} to NullStmt(14)
  56   ;
  57 }
  58
  59 int x;
  60
  61 namespace dst {
  62   int x;
  63   // CHECK: Match DeclRefExpr: :x(17) to DeclRefExpr: :x(22)
  64   int x1 = x + 1;
  65   // CHECK: Match DeclRefExpr: x(21) to DeclRefExpr: x(26)
  66   int x2 = ::x + 1;
  67 }
  68
  69 class B {
  70   // Only the class name changed; it is not included in the field value,
  71   // therefore there is no update.
  72   // CHECK: Match FieldDecl: :x(int)(24) to FieldDecl: :x(int)(29)
  73   // CHECK-NOT: Update FieldDecl: :x(int)(24)
  74   int x = 1+1;
  75   void f() {
  76     // CHECK: Match MemberExpr: :x(32) to MemberExpr: :x(37)
  77     // CHECK-NOT: Update MemberExpr: :x(32)
  78     int x1 = B::x;
  79   }
  80
  81 };
  82
  83 #endif