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

    <tr>
        <th>Summary</th>
        <td>
            Implement P1774 (`[[assume(...)]]`)
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    Clang has the similar functionality under [`[[gnu:assume(...)]]`](https://clang.llvm.org/docs/AttributeReference.html#assume), but it'd be nice to support the standardized one.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106654
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx0kctq3DAUhp_meCNi5CPftPBiksE0tLSlL1Bk6YytIkuDLg3J0xdP0pQWCkJaSPrPx_-plOzqiSbo7qE7V6rkLcTp45dPp8-PDx-qJZjn6cEpv7JNJZY3Ysnu1qnILsXrbINXzuZnVryhyI6Unt-y7ldfQJxUSmUnwLGua0AJ3flYx5sz4LjlfE0gToAz4KyPObVzP_c6xBVwNkEnwPmUc7RLyfSNLhTJa6q3vDtA8TtdAj6wpWRmM-Bg2ELMW00sB5bK9RpifkXPyhsVjX0hw4KnGvgZ-Ol1_5tl1bpefXkDWcr6Yp1TgHPawtP3pay1Xi2I2RoQ54b3fddWZhJGCqkqmpp-lB0K0WC1TUaYjrpmxEurL0JiO5imF8ilID72i6nshBwFH5q-6XnTYS1J9bITWg6t4aNU0HLalXXv5VQ2pUJTL0bZVk4t5NJNIaKnJ3a7BMTDaJyOP3dLWRO03NmU05-UbLOj6XG_OtrJZ_a1GYaWAY7vFv_rD2VVopv-ac3mrSy1DjvgfEx5O-6uMfwgnQHnG9th9cb-KwAA___2-8UX">