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