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

    <tr>
        <th>Summary</th>
        <td>
            [LLVM-COV] a statement after calling 'assert()' function is wrongly marked as 'not executed'
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            runtime libraries,
            tools:llvm-cov
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          MaggieYingYi
      </td>
    </tr>
</table>

<pre>
    $ clang -v
```
clang version 16.0.0 (https://github.com/llvm/llvm-project.git 4a77d96903c996076c9df0f696a7ba7ca2de966a)
Target: x86_64-unknown-linux-gnu
```

$ clang -w -O0 -g -fcoverage-mapping -fprofile-instr-generate=main.profraw main.cpp
$ ./a.out
$ llvm-profdata merge main.profraw -o main.profdata
$ llvm-cov show a.out -instr-profile=main.profdata main.cpp > main.gcov
$ cat main.gcov
```
    1|       |#include <assert.h>
    2|      1|int do_add(int a, int b) { return a + b; }
    3|      1|int main(void) {
    4|      1|  assert(true);
    5|      0|  int res = do_add(10, 20);
    6|      1|  return res;
    7|      1|}
```

Line 5 is wrongly marked as 'not executed'.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyVVMFu4yAQ_Rp8QbYwjnE4-NAk21OrXlaVeqoIYIctgQjjpP37HZy0btoedi0rZpiZx3szQ7ZevbWILrC0wvU4PyKyQeQGMXJ5J_PsPOowGO9wyQpSEIzochfjYUDVDaK38PYm7sZtIf0eDGuP75_8EPwfLWMBAXghmkZxxkklOWekYZKrjnSMM9FsRSMFVZozJhDl57N_i9DrCIfg1yV7Zot8dC_On1xujRtf896NP1K-_M7KTjh_IDiHVSc9SBG9zvficDDJ2QHFzlidGzfEkPfaQUDUqNrshXFF8gZxwpMhD4cZvACNovBjnLfeJXdKRIH3GujjK5Tcz3aK-ZIK7PCw8yc84eILpQvBz4zO-BdKGFW_zkYPAJ_Ui_ht-7pSGJ4SNWt8fmCFaGWctKPSgLoWw6BDLHZwwJxAPxJSqnERK_8slIKhSAa0b43TYgt9BMgVDjqOwWEBY7OC3WoFu5sZr_qGl0gD2tEbdcGYoxdX0RifKUJ0DKNOk1N9Cq4_gsm0SuBBDyBtM5MuSWJMyddk9uWkiwzIvwprrsI-lP04k3fGaVxjM-BT8K63byA1vGgFKqA4jfMR61ctx6iBWFNkui0ZW7Ky5AuSqbZSvOIiiyZa3aJ6dXf3eJ-vHx5RvYHqDhHGdq9TC7qoA7Tf2jThgPRRpKSRNrgbnYzpPv8jk2wMtv2_Gw-mGYYRikVva7jyJNu1NeVE1DXnSlK2rHnTMFVJqruu1pVc8syKrbZDkoYoDaOLZq-xNdsggklINHUKPtF7m6i8X5rkqTeZaSmhtCxLVtYlJ_BPVUoq67qBw6paSokWRMNw2SIlFj70WWgnjO3YD-C0ZojD7ISymd7pqdYJX4xx50N7L_re6Ceo7ZPJJpHtpPAvGBiOLg">