https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117426

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
   Last reconfirmed|                            |2024-11-03
           Keywords|                            |wrong-code
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Partition 0: size 12 align 2
        q       o


That is definitely wrong.
  _391 = _389 - _390;
  h_392 = (char *) _391;
  h_393 = h_392 + 1;
...
  o ={v} {CLOBBER(eos)};
  _399 = _396 + -2;
  q[_399] = 1;
  c = &p;
  *h_392 = 0;
  o ={v} {CLOBBER(eos)};
  _10 = q[1];


It does not realize h_392 could point to inside o due to complexity of the
definition.

Anyways this should be fixed with my patch to fix scope conflicts.

Reply via email to