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

    <tr>
        <th>Summary</th>
        <td>
            [LLVM-COV] Multiple terminating instructions are 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|       |
    4|      0|void myExit() { exit(0); }
    5|       |
    6|       |int tmp = 0;
    7|      1|int main() {
    8|      1|   while (1) {
    9|      1|      int *ptr_b = 0;
   10|      1|      if (!ptr_b) {
   11|      1|         exit(0);
   12|      1|         break;
   13|      1|      }
   14|      1|   }
   15|      1|   return 0;
   16|      1|   myExit();
   17|      0|   tmp++;
   18|      0|   ;
   19|      0|}
```
The termination instructions on lines 11, 12, 15, and 16 should only be executed once in total.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1VsmO2zgQ_Rr6QligqP2gQ7fdHgRIECDpyTWgRNriNE0aXDrufP0UvUtx5jBIEwK3elX1WFSV1Bn-1qKSnB6yROQB0Rz3iukNnr-edg79ce9VWCeNxmmakOSk8czsRniUPeB9XX4v83nQL9r80HMlddjPNzqccIMVjOOt4UJF9M44uT-KPmjnmVKCL6WNIkRXwVnolemZgrGT-ohcmaA57pnmkjMv8F-LBZZHbeaB2VhbdtBv-h76E7crJ7oq3sFkUpzD8ifNVu9gMsnfg2n95002Sfb_mN68O3SVJPc97fqRs5Qk9Oztq1Ci94K_s5vF5TjboLyMymA_Qdkjysm2zCdk_gs0yeWvJthe4B4yDtB3IRhaiqoFPjaYIZpJ3avABUbZwnkOvpIBZU9XBTpV4GIttcDPX_5-AmsXXDbGXfbzyz6B2auRcKq3p730iNaINgB-xOK4JLCGQ8LW8qpf_MZuOdqX2mO_3cEpluAHAnXBVRdcesJtWby9s_Mrsh4hYfgxSAWBoXX6C7aZYqFF24g-7Lz93v1KJCX3VNb4wCQ9KE29pOkdFWjjcF3h9D68g1L8MgJmd4C3QU_zKWAkLaZSK3ywenLecoq6vfYRshq9IjDATSL6GJ9bWD2FjaTNSHrhO0mB50FgL-xW6kNyHzLdhj7OHYY15K1wMfB0EeMZ-yL2kLZwIuwGExQHoHrDnYCLEH2IeWo0pJ7U2BuoG8mMtxlvsobNvPRKtKh4_Pjx26f54vM3VCzxp5jUO3VDBD62IyLMQn1g9gUsr409uQHJLFjVDt7vXExxuoqFR_ohdElvtrEWqdfzMN9Z8w8UEVhK54Jw8YOVFzWZDW3Hmirta85pz3lRVn0t8iJfp4Q1JSvKYqZYJ5SLvIHvTLaUUEoyWpG6aEidEFKwWvRNWmVluq46qEoCkkol0XFi7GZm2wOHLmwcCJV03l2FzDm50UKc7bPgB2PbnwP8dOzf5k01OzBuD3T_BcmzbL8">