<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/54581>54581</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [LLVM-COV] The statement following the return is marked for execution
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          zhangxy-97
      </td>
    </tr>
</table>

<pre>
    ```
$ clang -v

clang version 11.0.0
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /usr/local/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.4.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9.3.0
Found candidate GCC installation: /usr/local/bin/../lib/gcc/x86_64-pc-linux-gnu/10.2.0
Selected GCC installation: /usr/local/bin/../lib/gcc/x86_64-pc-linux-gnu/10.2.0
Candidate multilib: .;@m64
Selected multilib: .;@m64
```
Source code:
```
    1|       |#include <stdlib.h>
    2|       |#define TRUE 1
    3|      0|void myExit() { exit(0); }
    4|       |
    5|      1|int main() {
    6|      1|   int one = 1;
    7|      1|   if (one) {
    8|      1|      int counter = 0;
    9|      1|      while (counter < 2) {
   10|      1|         return 0;
   11|      1|         counter++;
   12|      0|      }
   13|      1|   }
   14|      1|}
   15|       |
```
The increase statement on line 11 should not execute.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1VVFvmzAQ_jXwYgUZGwI88NAkzTSp06S16-sEthO8OnaETZru1--ckFDSaA9Tg5Bt7r777sO-g9rwtzKY4v7GiwDfBSRBTFV6jSa73nIYj7adaK00GsVxhKM-4qlq18IF9A7t8-mvaTLp9Is2r3qipO72k7XuelzTioqjjeFCefTWWLk_ur5q6yqlBF_I1rsCsuxsC6MyrFIw11IfkUvTaY5YpbnklRPoy3yO5DG6cqBsHC1rGNeMwdhrGzSRZXoDyig9bctn0mY3oIySWyjNP5-yiOj_KX1XO2QZRdczbdkoWYwjcsr2KJRgTvAbp5mfX2fTKSd9MPBHAZ0FCd5Mkwsx_wJd9PKj6VomEIOOA_RVCIIrDrI5Ol6wCgiVmqmOCxTQuXUcckVNQO-HAHIZwMVKaoGefvy8B7Yzjp5xGFY7I0H92_1euoDkASkgeIbE8RHDM7wMmBZDfDLOc7anZ7uXLrVDm8rv_ol0QE5HSJg82Gj_agsw0XfQ7AN0BYecA_gDa34J7YkZlKcT7YEcj8iLKxGvjVTCpxjC5rC1F8lifCUUrla4rtXjNHF8HdsnCMjM3-8DyOiETls9HEFMLxlH3mTkHbnSK2d3UXtPjYBtY_BXsAJBdzmxEYfjQcpXUxwj25hOcaSNgzoRrHMiCnlJeUGLKnTSKVEG6ezh4fnbZP79OUgXyHMOVCujlHmV8ONyYO-3TFool_YFWmll2p4XmjrsWlU2zm2t7xWy9B0sXdPVETMb39Rqd5om29b8hm6ER2ltJ6z_8idpHodNiTNGWR6nqyrFFCfFqsJTWNEi5lOW5UWoqloo63WD3lCWBBOCKclwEcMiigWLaZ0xLOq85jmF9hZQ3SryiSPTrsO2PGiou7UFp5LW2cFZWSvXWogTf9W5xrTlnwb-3vu3SZGFB8XlQe5f-aBCmA">