1*67e74705SXin Li // Tests for macro expansion backtraces. The RUN and CHECK lines are grouped
2*67e74705SXin Li // below the test code to reduce noise when updating them.
3*67e74705SXin Li
4*67e74705SXin Li #define M1(A, B) ((A) < (B))
5*67e74705SXin Li #define M2(A, B) M1(A, B)
6*67e74705SXin Li #define M3(A, B) M2(A, B)
7*67e74705SXin Li #define M4(A, B) M3(A, B)
8*67e74705SXin Li #define M5(A, B) M4(A, B)
9*67e74705SXin Li #define M6(A, B) M5(A, B)
10*67e74705SXin Li #define M7(A, B) M6(A, B)
11*67e74705SXin Li #define M8(A, B) M7(A, B)
12*67e74705SXin Li #define M9(A, B) M8(A, B)
13*67e74705SXin Li #define M10(A, B) M9(A, B)
14*67e74705SXin Li #define M11(A, B) M10(A, B)
15*67e74705SXin Li #define M12(A, B) M11(A, B)
16*67e74705SXin Li
f(int * ip,float * fp)17*67e74705SXin Li void f(int *ip, float *fp) {
18*67e74705SXin Li if (M12(ip, fp)) { }
19*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -fmacro-backtrace-limit 5 %s 2>&1 \
20*67e74705SXin Li // RUN: | FileCheck %s -check-prefix=CHECK-LIMIT
21*67e74705SXin Li // CHECK-LIMIT: macro-backtrace.c:18:7: warning: comparison of distinct pointer types ('int *' and 'float *')
22*67e74705SXin Li // CHECK-LIMIT: if (M12(ip, fp)) { }
23*67e74705SXin Li // CHECK-LIMIT: macro-backtrace.c:15:19: note: expanded from macro 'M12'
24*67e74705SXin Li // CHECK-LIMIT: #define M12(A, B) M11(A, B)
25*67e74705SXin Li // CHECK-LIMIT: macro-backtrace.c:14:19: note: expanded from macro 'M11'
26*67e74705SXin Li // CHECK-LIMIT: #define M11(A, B) M10(A, B)
27*67e74705SXin Li // CHECK-LIMIT: note: (skipping 7 expansions in backtrace; use -fmacro-backtrace-limit=0 to see all)
28*67e74705SXin Li // CHECK-LIMIT: macro-backtrace.c:6:18: note: expanded from macro 'M3'
29*67e74705SXin Li // CHECK-LIMIT: #define M3(A, B) M2(A, B)
30*67e74705SXin Li // CHECK-LIMIT: macro-backtrace.c:5:18: note: expanded from macro 'M2'
31*67e74705SXin Li // CHECK-LIMIT: #define M2(A, B) M1(A, B)
32*67e74705SXin Li // CHECK-LIMIT: macro-backtrace.c:4:23: note: expanded from macro 'M1'
33*67e74705SXin Li // CHECK-LIMIT: #define M1(A, B) ((A) < (B))
34*67e74705SXin Li
35*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -fno-caret-diagnostics %s 2>&1 \
36*67e74705SXin Li // RUN: | FileCheck %s -check-prefix=CHECK-NO-CARETS
37*67e74705SXin Li // CHECK-NO-CARETS: macro-backtrace.c:18:7: warning: comparison of distinct pointer types ('int *' and 'float *')
38*67e74705SXin Li // CHECK-NO-CARETS-NEXT: macro-backtrace.c:15:19: note: expanded from macro 'M12'
39*67e74705SXin Li // CHECK-NO-CARETS-NEXT: macro-backtrace.c:14:19: note: expanded from macro 'M11'
40*67e74705SXin Li // CHECK-NO-CARETS-NEXT: macro-backtrace.c:13:19: note: expanded from macro 'M10'
41*67e74705SXin Li // CHECK-NO-CARETS-NEXT: note: (skipping 6 expansions in backtrace; use -fmacro-backtrace-limit=0 to see all)
42*67e74705SXin Li // CHECK-NO-CARETS-NEXT: macro-backtrace.c:6:18: note: expanded from macro 'M3'
43*67e74705SXin Li // CHECK-NO-CARETS-NEXT: macro-backtrace.c:5:18: note: expanded from macro 'M2'
44*67e74705SXin Li // CHECK-NO-CARETS-NEXT: macro-backtrace.c:4:23: note: expanded from macro 'M1'
45*67e74705SXin Li
46*67e74705SXin Li // Check that the expansion notes respect the same formatting options as
47*67e74705SXin Li // other diagnostics.
48*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -fdiagnostics-format vi %s 2>&1 \
49*67e74705SXin Li // RUN: | FileCheck %s -check-prefix=CHECK-NOTE-FORMAT
50*67e74705SXin Li // CHECK-NOTE-FORMAT: macro-backtrace.c +18:7: warning:
51*67e74705SXin Li // CHECK-NOTE-FORMAT: macro-backtrace.c +15:19: note:
52*67e74705SXin Li // CHECK-NOTE-FORMAT: macro-backtrace.c +14:19: note:
53*67e74705SXin Li // CHECK-NOTE-FORMAT: note:
54*67e74705SXin Li // CHECK-NOTE-FORMAT: macro-backtrace.c +6:18: note:
55*67e74705SXin Li // CHECK-NOTE-FORMAT: macro-backtrace.c +5:18: note:
56*67e74705SXin Li // CHECK-NOTE-FORMAT: macro-backtrace.c +4:23: note:
57*67e74705SXin Li }
58