https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117367
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
CC| |jakub at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The testcase is garbage or reduced to garbage, there are tons of UBs in it.
E.g.
int32_t *t = &e, j, k;
for (; j < 3; j++)
j is uninitialized here.
h(53, 0) -> v(53, p) ->
d = c;
while (n) {
d++;
as c is char c[];, d++ is another UB. So is later dereferencing it.
