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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
             Blocks|                            |121364
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org

--- Comment #13 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
There is a missing copy prop :
```
  .ASAN_MARK (UNPOISON, &D.70391, 2);
  MEM[(struct tc_optional_base *)&D.70391].m_initialized = 0;
  D.70392 = D.70391;
  .ASAN_MARK (POISON, &D.70391, 2);
  D.70363 = D.70392;
  return D.70363;
```

I handle GIMPLE_RETURN, we can remove the `D.70363 = D.70392;` statement and
that will cause SRA not to do the SRA and then there is no warning.

So mine.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121364
[Bug 121364] [meta-bug] copy prop for aggregates

Reply via email to