https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119707
Jakub Jelinek changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Target Milestone|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119707
--- Comment #7 from GCC Commits ---
The releases/gcc-14 branch has been updated by Jakub Jelinek
:
https://gcc.gnu.org/g:008ba21711a4aef3b6d6e7d3dbbe2f2265e29ff8
commit r14-11657-g008ba21711a4aef3b6d6e7d3dbbe2f2265e29ff8
Author: Jakub Jelinek
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119707
--- Comment #6 from Jakub Jelinek ---
Fixed on the trunk so far.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119707
--- Comment #5 from GCC Commits ---
The master branch has been updated by Jakub Jelinek :
https://gcc.gnu.org/g:b57d7ef4bdda8f939d804bfe40123cb9e4b447b3
commit r15-9376-gb57d7ef4bdda8f939d804bfe40123cb9e4b447b3
Author: Jakub Jelinek
Date: F
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119707
Jakub Jelinek changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119707
--- Comment #3 from Jakub Jelinek ---
__attribute__((noipa)) unsigned _BitInt(256)
foo (_BitInt(129) x)
{
return (unsigned _BitInt(255)) x;
}
int
main ()
{
if (foo (-1) !=
0x7fffuw
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119707
Jakub Jelinek changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119707
--- Comment #2 from Jakub Jelinek ---
Further simplified
__attribute__((noipa)) unsigned _BitInt(256)
foo (unsigned _BitInt(256) x, _BitInt(129) y)
{
return x - (unsigned _BitInt(255)) y;
}
int
main ()
{
if (foo (0, -1) !=
0x800
