80fbb85555
This is a fix for the coverage segment builder. If multiple regions must be popped off the active stack at once, and more than one of them end at the same location, emit a segment using the count from the most-recent completed region. Fixes PR35437, rdar://35760630 Testing: invoked llvm-cov on a stage2 build of clang, additional unit tests, check-profile llvm-svn: 319391
108 lines
3.0 KiB
C++
108 lines
3.0 KiB
C++
// RUN: llvm-cov show %S/Inputs/deferred-regions.covmapping -instr-profile %S/Inputs/deferred-regions.profdata -show-line-counts-or-regions -dump -path-equivalence=/tmp,%S %s 2>%t.markers > %t.out && FileCheck %s -input-file %t.out && FileCheck %s -input-file %t.markers -check-prefix=MARKER
|
|
|
|
void foo(int x) {
|
|
if (x == 0) { // CHECK: [[@LINE]]|{{ +}}2|
|
|
return; // CHECK-NEXT: [[@LINE]]|{{ +}}1|
|
|
}
|
|
|
|
} // CHECK: [[@LINE]]|{{ +}}1|
|
|
|
|
void bar() {
|
|
return;
|
|
|
|
} // CHECK: [[@LINE]]|{{ +}}1|
|
|
|
|
void for_loop() {
|
|
if (false)
|
|
return; // CHECK: [[@LINE]]|{{ +}}0|
|
|
|
|
for (int i = 0; i < 10; ++i) { // CHECK: [[@LINE]]|{{ +}}2|
|
|
if (i % 2 == 0) // CHECK: [[@LINE]]|{{ +}}2|
|
|
continue; // CHECK: [[@LINE]]|{{ +}}1|
|
|
|
|
if (i % 5 == 0) // CHECK: [[@LINE]]|{{ +}}1|
|
|
break; // CHECK: [[@LINE]]|{{ +}}0|
|
|
|
|
int x = i;
|
|
return; // CHECK: [[@LINE]]|{{ +}}1|
|
|
|
|
} // CHECK: [[@LINE]]|{{ +}}1|
|
|
}
|
|
|
|
struct Error {};
|
|
|
|
void while_loop() {
|
|
if (false)
|
|
return; // CHECK: [[@LINE]]|{{ +}}0|
|
|
|
|
int x = 0;
|
|
while (++x < 10) { // CHECK: [[@LINE]]|{{ +}}3|
|
|
if (x == 1) // CHECK: [[@LINE]]|{{ +}}2|
|
|
continue; // CHECK: [[@LINE]]|{{ +}}1|
|
|
|
|
while (++x < 4) { // CHECK: [[@LINE]]|{{ +}}1|
|
|
if (x == 3) // CHECK: [[@LINE]]|{{ +}}1|
|
|
break; // CHECK: [[@LINE]]|{{ +}}1|
|
|
// CHECK: [[@LINE]]|{{ +}}0|
|
|
while (++x < 5) {} // CHECK: [[@LINE]]|{{ +}}0|
|
|
} // CHECK: [[@LINE]]|{{ +}}0|
|
|
|
|
if (x == 0) // CHECK: [[@LINE]]|{{ +}}1|
|
|
throw Error(); // CHECK: [[@LINE]]|{{ +}}0|
|
|
// CHECK: [[@LINE]]|{{ +}}1|
|
|
while (++x < 9) { // CHECK: [[@LINE]]|{{ +}}6|
|
|
if (x == 0) // CHECK: [[@LINE]]|{{ +}}5|
|
|
break; // CHECK: [[@LINE]]|{{ +}}0|
|
|
|
|
}
|
|
}
|
|
}
|
|
|
|
void gotos() {
|
|
if (false) // CHECK: [[@LINE]]|{{ +}}1|
|
|
goto out; // CHECK: [[@LINE]]|{{ +}}0|
|
|
// CHECK: [[@LINE]]|{{ +}}1|
|
|
return; // CHECK: [[@LINE]]|{{ +}}1|
|
|
|
|
out: // CHECK: [[@LINE]]|{{ +}}0|
|
|
return;
|
|
}
|
|
|
|
void if_else(bool flag) {
|
|
if (flag) { // CHECK: [[@LINE]]|{{ +}}2|
|
|
return; // CHECK: [[@LINE]]|{{ +}}1|
|
|
} else { // CHECK: [[@LINE]]|{{ +}}1|
|
|
return; // CHECK: [[@LINE]]|{{ +}}1|
|
|
} // CHECK: [[@LINE]]|{{ +}}1|
|
|
}
|
|
|
|
int main() {
|
|
foo(0);
|
|
foo(1);
|
|
bar();
|
|
for_loop();
|
|
while_loop();
|
|
gotos();
|
|
if_else(true);
|
|
if_else(false);
|
|
return 0;
|
|
}
|
|
|
|
// MARKER: Highlighted line 17, 5 -> 11
|
|
// MARKER-NEXT: Marker at 19:3 = 1
|
|
// MARKER-NEXT: Marker at 19:27 = 1
|
|
// MARKER-NEXT: Highlighted line 24, 7 -> 12
|
|
// MARKER-NEXT: Highlighted line 36, 5 -> 11
|
|
// MARKER-NEXT: Highlighted line 47, 7 -> 14
|
|
// MARKER-NEXT: Highlighted line 47, 14 -> 21
|
|
// MARKER-NEXT: Highlighted line 47, 21 -> 23
|
|
// MARKER-NEXT: Highlighted line 47, 23 -> 25
|
|
// MARKER-NEXT: Highlighted line 47, 25 -> ?
|
|
// MARKER-NEXT: Highlighted line 48, 1 -> 6
|
|
// MARKER-NEXT: Highlighted line 51, 7 -> 20
|
|
// MARKER-NEXT: Marker at 53:5 = 1
|
|
// MARKER-NEXT: Highlighted line 55, 9 -> 14
|
|
// MARKER-NEXT: Highlighted line 63, 5 -> 13
|
|
// MARKER-NEXT: Highlighted line 67, 1 -> ?
|
|
// MARKER-NEXT: Highlighted line 68, 1 -> 8
|