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

    <tr>
        <th>Summary</th>
        <td>
            [libc] Fixed-point types reject negative literals in constexpr context, unlike unsigned integers
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            libc
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          kr-2003
      </td>
    </tr>
</table>

<pre>
    When using fixed-point types with negative literals in a constexpr context (like static_assert), the compiler rejects them with the error "value 0.0 is outside the range of representable values of type 'unsigned _Fract'". However, the same conversion works fine in runtime code.

<img width="1415" alt="Image" src="https://github.com/user-attachments/assets/7e4b98e8-d9ad-4dfa-a9ad-01c6385af9e0" />

https://godbolt.org/z/9ebq1Ev1G


</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx8ksFupDgQhp_GXEq0TBm6mwOHbBJ29wn2GBlcgDfG7rGL7mSefmQ6MyNNRiMhUfr5cf3l-nRKdvZEnWj-Es1ToTdeQuxeY4lSqmII5r37byEPW7J-hsm-kSkvwXoGfr9QgpvlBTzNmu2VwFmmqF0C60HDGHxiervEXDG9MQg8O_tKkFizHV90ShRZYCvwEXghGMN6sY4iRPqfRk5ZXO898meKMUQQiFftNgJ5kGAThI2TNbQ7ovYzQZgg0iVSIs96cAS7P2U9pwaBp83vgxt46aMeWeBJIB7gn3CjK8XveZJecyh_pZhs8HAL8TXBZD3lCePm2e4GQwchH_KjHu06w80aXoR6EohVXTUCEbTju_DvqmfKSorjXVmYL0moB4G9wH62vGzDYQyrwH5LFEvNrMdlJc9JYJ8vbS9OVA_tmc6labUpazPpUudKVuNRnRs9tSRzn3yser7n-6VVMENwfAhxFth_Fdi3NHypnq_V33d7YTplWtXqgrrqVKtayqpuiqUz7dkYc6Ijmmqa8HiqtMTjUY6E49DSVNgOJTZSqUo2dSubgzaDUjiqikYiaY6ilrRq6w7OXdecoLApbdRVSh3PsnB6IJd2LBGdHUaBmAGNXfaXwzYnUUtnE6efJ7Blt6O8_9A8Qf-J1ztYvyf2E68Zg83vxP7gxXqmmWIqtui6P2wuh_p4lZcYcleB_T5jXt7HmNcOvwUAAP__P1gmxw">