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

    <tr>
        <th>Summary</th>
        <td>
            Backport "Fix assertion failure in SMT conversion for unary operator on floats"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:static analyzer,
            release:backport
      </td>
    </tr>

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

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

<pre>
    While rebasing our fork I observed that 3674421c4bc0cd3b65b8f1feaaf7038ac2d47ca8 is on `main` but missing from `release/16.x`.
I think we should backport this crash fix to clang-16.
WDYT @haoNoQ @Xazax-hun ?
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxEkU-P2ywQxj8NvowSYbCNc_Ah-0aW9vBWqrrStscBj2MaAhGDt9n99JWjXfUE0k88PH-Q2Z8j0SDaJ9GeKlzLkvLAhfCyYKhsmt6H18UHgkwW2cczpDXDnPIFniFZpvxGE5QFC-jONI2qXWOddJO2XWv7uZ4JcTZS9-jU1BiHPXiGFEF08oo-ik6CXQtcPT_k55yuG8sUCJmEGutufxed3At5EvL4DGXx8QJ_CHhJa5jAorvcUi4bYHAZeYHZ36EkcAHjeVd3n29fT79eQDRywfQtfd9uP_ED77tljSD0WE2Dng76gBUNdWdM15tGmWoZmnays2ytrrHHQ21k0x6kRWNkS6ZvsPKDkkpLLeu6q400ez31Ztay0XPrqJuNaCRd0Yd9CG_XfcrnyjOvNHS1PJgqoKXAjxGUengW-sgFi3eAEcP7B2WhlFD_CaW-itHHr-Abak9VHjbxnV3PLBoZPBf-913xJdDw9FWVUGr0d0BmysWnCDP6sGYCH-HH_y_gUnyjzA-SMqwR8zukG2UsKW_rzSFhYaFUteYwLKXcWOijUKNQ49mXZbV7l65CjZuDz2N3y-k3uSLU-EjPQo2PAv4GAAD__5B-z_0">