// HTML-WHOLE-FILE: [[@LINE+2]] | | // before
// HTML-FILTER-NOT: [[@LINE+1]] | | // before
// before any coverage // WHOLE-FILE: [[@LINE]]| |// before
// FILTER-NOT: [[@LINE-1]]| |// before
// HTML: [[@LINE+1]] | 161 | int main() {
int main() { // TEXT: [[@LINE]]| [[#C161:min(C,161)]]|int main(
int x = 0; // TEXT: [[@LINE]]| [[#C161]]| int x
if (x) { // TEXT: [[@LINE]]| [[#C161]]| if (x)
x = 0; // TEXT: [[@LINE]]| 0| x = 0
} else { // TEXT: [[@LINE]]| [[#C161]]| } else
x = 1; // TEXT: [[@LINE]]| [[#C161]]| x = 1
} // TEXT: [[@LINE]]| [[#C161]]| }
for (int i = 0; i < 100; ++i) { // TEXT: [[@LINE]]| [[C16K2]]| for (
x = 1; // TEXT: [[@LINE]]| [[C16K1]]| x = 1
} // TEXT: [[@LINE]]| [[C16K1]]| }
x = x < 10 ? x + 1 : x - 1; // TEXT: [[@LINE]]| [[#C161]]| x =
x = x > 10 ? // TEXT: [[@LINE]]| [[#C161]]| x =
x - 1: // TEXT: [[@LINE]]| 0| x
x + 1; // TEXT: [[@LINE]]| [[#C161]]| x
return 0; // TEXT: [[@LINE]]| [[#C161]]| return
} // TEXT: [[@LINE]]| [[#C161]]|}
// after coverage // WHOLE-FILE: [[@LINE]]| |// after
// FILTER-NOT: [[@LINE-1]]| |// after
// HTML-BINARY-NOT: 16
// HTML-WHOLE-FILE: [[@LINE-3]] | | // after
// HTML-FILTER-NOT: [[@LINE-4]] | | // after
| | | | | |