1 // RUN: %strip_comments > %t.stripped.c 2 // RUN: %clang_cc1 -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name switchmacro.c %t.stripped.c | FileCheck %s 3 4 #define FOO(x) (void)x 5 6 // CHECK: foo 7 int foo(int i) { // CHECK-NEXT: File 0, [[@LINE]]:16 -> {{[0-9]+}}:2 = #0 8 switch (i) { // CHECK-NEXT: Gap,File 0, [[@LINE]]:14 -> {{[0-9]+}}:11 = 0 9 default: // CHECK-NEXT: File 0, [[@LINE]]:3 -> {{[0-9]+}}:11 = #2 10 if (i == 1) // CHECK-NEXT: File 0, [[@LINE]]:9 -> [[@LINE]]:15 = #2 11 return 0; // CHECK: File 0, [[@LINE]]:7 -> [[@LINE]]:15 = #3 12 // CHECK-NEXT: File 0, [[@LINE-1]]:15 -> [[@LINE+3]]:5 = (#2 - #3) 13 // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:5 -> [[@LINE+2]]:8 = (#2 - #3) (Expanded file = 1) 14 // CHECK-NEXT: File 0, [[@LINE+1]]:8 -> {{[0-9]+}}:11 = (#2 - #3) 15 FOO(1); 16 case 0: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+1]]:13 = ((#2 + #4) - #3) 17 return 2; // CHECK-NEXT: Gap,File 0, [[@LINE]]:13 -> [[@LINE+6]]:3 = #5 18 19 // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:3 -> [[@LINE+2]]:6 = 0 20 // CHECK-NEXT: File 0, [[@LINE+1]]:6 -> {{[0-9]+}}:11 = 0 21 FOO(1); 22 // CHECK-NEXT: File 0, [[@LINE+1]]:3 -> {{[0-9]+}}:11 = #5 23 label: ; 24 } 25 } 26 27 // PR26825 - Crash when exiting macro expansion containing a switch 28 // CHECK: bar 29 #define START { while (0) { switch (0) { 30 #define END }}} 31 void bar() { 32 START // CHECK: File 0, [[@LINE]]:8 -> [[@LINE+2]]:6 33 default: ; 34 END 35 } 36 37 // PR27948 - Crash when handling a switch partially covered by a macro 38 // CHECK: baz 39 #define START2 switch (0) default: 40 void baz() { 41 for (;;) 42 START2 return; // CHECK: Expansion,File 0, [[@LINE]]:5 -> [[@LINE]]:11 = #1 (Expanded file = 1) 43 } 44 45 int main(int argc, const char *argv[]) { 46 foo(3); 47 return 0; 48 } 49