llvm-project

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
84