https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113012
--- Comment #8 from Jakub Jelinek ---
Slightly more readable testcase:
int *
foo (int x, int y, int z, int w)
{
int *p = __builtin_malloc (z * sizeof (int));
int *q = p - 1;
while (--x > 0)
{
if (w + 1 > y)
q = p - 1;
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113012
--- Comment #7 from Jakub Jelinek ---
Obviously we shouldn't ICE on this.
But, saying 0 as usable size on such UB pointer is I think completely valid
(making it clear that you can't really dereference such pointer nor anything
derived from it, e
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113012
Richard Biener changed:
What|Removed |Added
Priority|P1 |P2
Target Milestone|14.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113012
Richard Biener changed:
What|Removed |Added
Priority|P3 |P1
--- Comment #6 from Richard Biener
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113012
--- Comment #5 from Jakub Jelinek ---
(In reply to Andrew Pinski from comment #3)
> Note I am not shocked that xorg has undefined code in it too.
Do you know about any large package which doesn't have any undefined code in
it?
Anyway, this is
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113012
Andrew Pinski changed:
What|Removed |Added
See Also||https://gcc.gnu.org/bugzill