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

    <tr>
        <th>Summary</th>
        <td>
            [coverage] functions with `std::string`, `std::vector` etc as parameter introduce bogus branches
        </td>
    </tr>

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

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

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

<pre>
    ## Triggering conditions

- Decision contains at least two conditions
- One condition is a function call
- This function takes one of `std::vector`, `std::string` etc as parameter

## Effects

```text
   28|      1|    if (f1(s)
 ------------------
  |  Branch (28:9): [True: 1, False: 0]
  |  Branch (28:9): [True: 0, False: 1]
  ------------------
   29|      1| &&
   30|      1|        false_condition)
  ------------------
  | Branch (30:9): [True: 0, False: 1]
  ------------------
   31|      0| return 1;
```

```text
   33|      1|    if (true_condition
  ------------------
  |  Branch (33:9): [True: 1, False: 0]
  |  Branch (33:9): [True: 0, False: 1]
 ------------------
   34|      1|        &&
   35|      1| f0(v))
  ------------------
  |  Branch (35:9): [True: 0, False: 1]
 ------------------
   36|      0|        return 1;
```

## How to reproduce

(Compiler explorer [link](https://godbolt.org/#z:OYLghAFBqd5QCxAYwPYBMCmBRdBLAF1QCcAaPECAMzwBtMA7AQwFtMQByARg9KtQYEAysib0QXACx8BBAKoBnTAAUAHpwAMvAFYTStJg1DIApACYAQuYukl9ZATwDKjdAGFUtAK4sGe1wAyeAyYAHI%2BAEaYxCAArGakAA6oCoRODB7evnrJqY4CQSHhLFEx8baY9vkMQgRMxASZPn5cFVXptfUEhWGR0XoKdQ1N2a2DXT3FpRIAlLaoXsTI7BzmAMzByN5YANQma26DxMHA%2B9gmGgCC65vbmHsHAG6YDiRnF9dXwQQ7VBoQg3QIBAz1exH2bm%2BZx2jxmewA7FYrjsUTtiJgCIsGDsNPskdd4QARD4fb6/LgAghAkBHE47BRwkyIj6otEYrE7Lh4klEklfQS/MwQRnM5Go9GY4jY3FrfFM4lXUkCqhrCBkvAi/GsiUcrmynkKz6XMksJjBYUIrWowHA2lGencsUom0gl5EcEHKFrbAwx1G1lkgjELyYAD6aAY%2BGqD0JnL9AeVYiU4YEUfSMZx8dR6ozMrlTp2eCoO2oFIZLNZqPMADYaxXK78k2GI2mBDN65WdVK4/rFQWiyWgyGU5G0gIO6y62ZawXWX8ILD27Pxezu3r85dWQB6Lc7ABiJB2aBYiXqeAUAh2BAQmCUvy8DAc6dSwGYktvO1oqFQAGtfsFMD5Tds2LCAh2bVMxwYCcq2nOtlxRKghRmJdgIbLtsXXICA1AlU1VQhsUSnGc0MrKgmxHVsGAIwiMJ7DdtVXaU/XlD4ODmWhOFiXg/A4LRSFQTg3Gsax6QWJZ7nWHhSAITR2LmH84g0fROEkHi5IEzheAUEBlNkvj2NIOBYBgRAUFQE86GichKGPRIrJiLZDGAUMhwYH8%2BDoAhoh0iAIg0iJgnqABPThpMC5hiGCgB5CJtDdMLeGPNhBGihhaFCgzSCwCIvGANwxFoHTuF4LBTSMcQsvwdEn2eYr%2BMwVQXi8byNO%2BSpEv0PAImIEKPCwDSgzwFhOueYgIhSTBCUwcrgFoE45LmKgDGABQADU8EwAB3aLEkYTr%2BEEEQxHYKQZEERQVHULLdFaAwjBQETLC6iIdMgOZUESapioAWioRJiFQGh6B%2B4Ijh%2B4BGGiJhvJ2P60DGphIZ%2B01Ens%2B1QYUYLBhmgA6HZeFQMbjiwN7hTaN10hcSMRhaUhAgAqZ%2BlaXIoNpnIUigyY%2BhiMZKkpgROmGTxmgGfmn0FoZukZnmBil9mxil7mSmZuYL0WZZZhUjhuNIXj%2BMEjgdlUAAOasfurSQj3u4BB2Ddy4QgXBCEPKSZl4fStBQ0hFNiZTOI4NTSBGtZq1xyQTckABOE21jWKR4SjyQzASfXCa02xdJkxajNMiAkCITwbIgepVs4H6foUBBUC2n6esMZAbwUfZCTQB8CF4UuFGUQxKiEautrT0g7Ic0JWBWU3zct63nLth8f3d%2BmoxIPAgVaQ7hFEcQzo3y61A027g4EJg0Gd90AAkmAUCxMEYS4WtQXaoaBEqj%2BYU/l%2BIJ/eOklhj7QWo%2BAf7aSpMEDOgJgg9xCLQfuNdgEyW/LQAAkkCWgtBHgsB%2BgjNyHkgy31XlnLavVEiJQ4lxdSWVDZoIwVgomJYnJGB%2BgIDKcJJ4Wytgw22YF7YLxLGfV2Zh46kB2B4Sy9BiB7EEVwRent5KkBvEwLAMRyYByDiNasaxcaxC4H7Lg1Zqwm3iBoWI8ITZ6w0obbSWdZHe19v7TgawKEGwzjYshHAzBOPThwD2i05hjVSM4SQQA)):

```shell
cat > test.cpp << EOF
#include <string>
#include <vector>

int f0(std::vector<int> v) {
    return 0;
}

int f1(std::string s) {
    return 1;
}

int f2() {
    return 0;
}

int f3(int i) {
    return 1;
}

int main() {
    std::string s;
    std::vector<int> v;

    int true_condition = 1;
    int false_condition = 0;
    int i = 0;

    if (f1(s)
        &&
 false_condition)
        return 1;

    if (true_condition
        &&
        f0(v))
        return 1;

 // For comparison these function signatures look fine

    if (true_condition
        &&
        f2())
        return 1;

 if (f3(i)
        &&
        false_condition)
        return 1;

    return 0;
}
EOF
clang++ -fprofile-instr-generate -fcoverage-mapping test.cpp -o test
./test
llvm-profdata merge default.profraw -o default.profdata
llvm-cov show -show-branches=count -instr-profile default.profdata test
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysWFuTqjqw_jXMCzWrICDowzwk3ERBBxUVX05FCCFycwAF_fWn0LmtNTN777PPpiwml-7O190h019wXTNaEPLEDRA30B_wqUnK6qlNSNGUh1N-fNiX0eWJAxIHJH5VMUpJxQrKh2URsYaVRc0JOifA-_uR10nIalYWvUCDWVHzuOEzguuGb9ryi9ojPy_IxyjPah7z8akIb70QZ9mb3Cph9cdMg1NS82VB-DLmOUWom4iTICfBMwmbsuIUgQPabxN10-PmFIEnTcjjmj_iCuekIdVnB14dNeKYhM1vrvUmb7-GdM19iOd5MORUjb894muLxTwHhrHIgWHNgdGr6OOX583GTQ1VuAiTXhEMOQmOekUJ8twAraoT6Zti75CJs_rWE7iB_n80IPxmQPxk4GdsPBj97h8HlP73Ni0JX9zvn7hf5X_es_oRhb8Jw4cTkvAfOiF9YLvhrUhzqgpe5CT0R27_PuGS9EPCm-r02eV_5O9nh6X_Z9p_MvBjxP4qYPK3af0z-YPfpWKBA8Nzj-Cf5vsz_MF_CF_5Pd-vzz9M-_0EGJct35R8RY5VGZ1C8rvIUCvzI8tIxZPumJUVqXrMGSvSHiAYJk1zrPtzB5gcMGkZ7cus-VVW9DYgXTkJzgOHJtBEL9HA0zoYtM8BcrUcLSLkQFP0tBDiZ0OD7rVFjQtV6LVm43roAhd0NG28wICXmu0Fbwu1bogQnJaoWEHow_Gxhe4ZmsFq2UyoqNvwCLUAeqfglGajHVy1-vQQQcv0GziVa4uILbwQeAng2ObAACBo4KDTIKwsnEKolFq5mOtIJeeimrwEsuYtx4ljGt1wj4PROXU9unA7uNw9F4PQXG-PTewbycZaCNtyGnniDGCgb1eSeVzYMHNwua1XtoquOXSv6DIbBHDm5RgoeueO4Q3AiOYW1TRlcN7n43oMLSXQ2aIwR9G29Tx1jUqPSp6N4FUk3Rjs85vWrgOHLictVM2gOtT-qmETqtm1pdez5zqNItmDC12O9woHTIdCmsAUjQ1ZRYs2vdgHpWyMoDJUJ5HTzEiz2FtywHRbb1G4A6scWYF8CCSzik1XzrZ-qr0klYbSM2QcMK2a-WGVX4p0elW2blpPDijw7WpTtmMIMosUYe2XuUCzgREa46lZ7WHbiZaYpfRgOJcA6gqGwc0R60UXJoUzgmQdMF8ODD9eurtuGC2U8upW2eoIiFbOQWnaO2e2e3l2oR7gbjtVhymwbJAjfaYMNtF6KnPArExvwy4berH8gSVQe65cFLDD7XazHdqODtTnjlxPUjUcRBsPKU6oQsQmCGAUsO0LgT5MAIJervnny1CHoRItWytIm_NcLF9MD1pNXJuuPlhFNXA0mID92u3aQAtfQDFvsm4xpckin0TU3jtNvd3aGhRh5otrL6n9ZWGFgltNad6N17UF7Za5E1WPmvUW-xwwt5kuz_V8k8xNtu2_Hig7i6Xprahk1bhTvM1kpxabcbKE9moBnHw8lKkQL-ZGOmYD27gmBPoGymbp-QBm9hwFiC6gb3rGULFYmEyt54VdTZiz0y3ou0kbjIe3HOglTMpEYNCmApvQ4gWi51VydLVBwiyNooE2afTIdYj1PEuQxZIEmxq9LrVWs88WnLWdWY5XJ1N20Grphl59biOjACSobubddu1t2XB_mc1v_eXROAvP0M5tY_qstfqSXlszmZ9IQO1kuUKa34YVNUtDHjj5lOoWRB7U_aHRQiRhx0iD1d2wYRheNw6m3s4wFt567DtOZGLYHpBnrBxNYXbk0vnON5b4yEq4YeViwkzPShR005ftQ3JvIMtik-Q8Ac-KoFvHxN7dxgXRKOpbS_QCP3BQklOojHfE9Nz9gbUzNVnhmSgk4dJdJNhPIIUvd9UMb-1ydixsn9HLfasnzN1N0yNdzHNr1eXUivNCMMvdKd0VOWLZKO9YpubLfHcKHGGz2-0S_5CcZvb2cI-jcaBR5kM4x3V8qpbeQTrJCAE9usge3SLNeJ4ud5kcLxvkCYk5Y7vV3JZnqyWymt2L2F28VZhCNDeAeNhMF_LycPGucBlvNSyALpqkHT7MXAZTzV61e5uS47qWx0pc-gj5GigUUrs7uG_9eKetPDTUTNk_mZbvdVNm4FNTrQSq2qEw2aCNL13DRpEKp0mGsRTdHMjLzn6GdI09NTGN0LuW0kURoQBUKhsTKljRSIAwzaGvda4RLOVN421xiZHxco9A0H8m2a1pTzhgknmaJQfV25T3szxW8fLoGvqcTigddZrjxadZRI3Lpj8FPQjTVNvQBo1pfd8B9DC7jFN6kcRtVjj4vDbYxJOzLlpu1vqutNs1LfNJUEysV3lbn4aTiby5NLQFIDDVwOkcK16DXSIrKQJIXl5GiCHVMNbtghTNYJqis9E60F1cAnTR2QzXuAtxp8lj1aHi7qXNJYbKjT20VzulFcr9frmJdmMijs7qiuJ2aljt9RDUyRhe0fx5lbQ6YMIgOayXrrz0PPhahUjw24quTsgbsQhxw3OSwTekbn6FxyPPSRonabwxN9_rAVaE2Ski_dQri5CM7yZfucf75O3NiuZeGf1JUSSNFU2_dF8y8ZyK3uuXt0pF-KhUVP2LTfGzzTsuvv7JlPiXpgAHhv8OhMSBYd9g_2rhHLPiu6W_uiV9N_s1kO9rvQv3y_xemvOcpH-C9Sb0B2e5SQlfpNgf459mv6V931XOP7Ojn-rUPxb5nmp8W6Pf6dg3hflfL3WvW3mzrPiwzI-4YnVPuhNSkw8OXjNa4OZUkZrPyjLlY1aQ_wjw64b8x3hfg3_bjX8d_L9lqH-bg5-_i_czI8xwQTmAOID4x_hYlTHLyCMr6qZ6pKQgFW4I_xiH5ZlUmJLHHB-P_T5_P4Qey1v7bu0XB8yPXpad88feZIQbzOekooSPSIxPWfOrH65w26t_HuolPymH5Zmvk7LlH_v34_7GwUjNSXpYnoqGfwX6CvuLpU_I3g_Uh-hJikbSCD-QJ1GVgKAMBqrykDzFsQTkYSyoQxxiWVBHqiSNBmQkiThU9zF5YE9AALIoAkEQxZGk_IpHKlHjUFCEoaCMhoSTBZJjlv3qsfcU6oHV9Yk8iaIyEsBDhvckq2_XVwA0ZZn1tOvNTQ4AbqA_VE-3gf2J1pwsZKxu6g9rDWuy2_XXWza4gf6-x2u-ZU3y_T3SnxdM7zdPXy6Y-pPjziL5fUlPNf8W8odTlT39wRVZk5z2v8Iy7_-tZ-e3P306DiRsOGDe_K85YL6G4PwE_jcAAP__tQyvGw">