1*1c25a3bfSNAKAMURA Takumi // HTML-WHOLE-FILE: <td class='line-number'><a name='L[[@LINE+2]]' href='#L[[@LINE+2]]'><pre>[[@LINE+2]]</pre></a></td><td class='skipped-line'></td><td class='code'><pre>// before 2*1c25a3bfSNAKAMURA Takumi // HTML-FILTER-NOT: <td class='line-number'><a name='L[[@LINE+1]]' href='#L[[@LINE+1]]'><pre>[[@LINE+1]]</pre></a></td><td class='skipped-line'></td><td class='code'><pre>// before 3*1c25a3bfSNAKAMURA Takumi // before any coverage // WHOLE-FILE: [[@LINE]]| |// before 4*1c25a3bfSNAKAMURA Takumi // FILTER-NOT: [[@LINE-1]]| |// before 5*1c25a3bfSNAKAMURA Takumi // HTML: <td class='line-number'><a name='L[[@LINE+1]]' href='#L[[@LINE+1]]'><pre>[[@LINE+1]]</pre></a></td><td class='covered-line'><pre>161</pre></td><td class='code'><pre>int main() { 6*1c25a3bfSNAKAMURA Takumi int main() { // TEXT: [[@LINE]]| [[#C161:min(C,161)]]|int main( 7*1c25a3bfSNAKAMURA Takumi int x = 0; // TEXT: [[@LINE]]| [[#C161]]| int x 8*1c25a3bfSNAKAMURA Takumi 9*1c25a3bfSNAKAMURA Takumi if (x) { // TEXT: [[@LINE]]| [[#C161]]| if (x) 10*1c25a3bfSNAKAMURA Takumi x = 0; // TEXT: [[@LINE]]| 0| x = 0 11*1c25a3bfSNAKAMURA Takumi } else { // TEXT: [[@LINE]]| [[#C161]]| } else 12*1c25a3bfSNAKAMURA Takumi x = 1; // TEXT: [[@LINE]]| [[#C161]]| x = 1 13*1c25a3bfSNAKAMURA Takumi } // TEXT: [[@LINE]]| [[#C161]]| } 14*1c25a3bfSNAKAMURA Takumi 15*1c25a3bfSNAKAMURA Takumi for (int i = 0; i < 100; ++i) { // TEXT: [[@LINE]]| [[C16K2]]| for ( 16*1c25a3bfSNAKAMURA Takumi x = 1; // TEXT: [[@LINE]]| [[C16K1]]| x = 1 17*1c25a3bfSNAKAMURA Takumi } // TEXT: [[@LINE]]| [[C16K1]]| } 18*1c25a3bfSNAKAMURA Takumi 19*1c25a3bfSNAKAMURA Takumi x = x < 10 ? x + 1 : x - 1; // TEXT: [[@LINE]]| [[#C161]]| x = 20*1c25a3bfSNAKAMURA Takumi x = x > 10 ? // TEXT: [[@LINE]]| [[#C161]]| x = 21*1c25a3bfSNAKAMURA Takumi x - 1: // TEXT: [[@LINE]]| 0| x 22*1c25a3bfSNAKAMURA Takumi x + 1; // TEXT: [[@LINE]]| [[#C161]]| x 23*1c25a3bfSNAKAMURA Takumi 24*1c25a3bfSNAKAMURA Takumi return 0; // TEXT: [[@LINE]]| [[#C161]]| return 25*1c25a3bfSNAKAMURA Takumi } // TEXT: [[@LINE]]| [[#C161]]|} 26*1c25a3bfSNAKAMURA Takumi // after coverage // WHOLE-FILE: [[@LINE]]| |// after 27*1c25a3bfSNAKAMURA Takumi // FILTER-NOT: [[@LINE-1]]| |// after 28*1c25a3bfSNAKAMURA Takumi // HTML-BINARY-NOT: <td class='covered-line'><pre>16 29*1c25a3bfSNAKAMURA Takumi // HTML-WHOLE-FILE: <td class='line-number'><a name='L[[@LINE-3]]' href='#L[[@LINE-3]]'><pre>[[@LINE-3]]</pre></a></td><td class='skipped-line'></td><td class='code'><pre>// after 30*1c25a3bfSNAKAMURA Takumi // HTML-FILTER-NOT: <td class='line-number'><a name='L[[@LINE-4]]' href='#L[[@LINE-4]]'><pre>[[@LINE-4]]</pre></a></td><td class='skipped-line'></td><td class='code'><pre>// after 31