[Bug middle-end/91358] Wrong code with dynamic allocation and optional like class

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|wrong-code                  |
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |WONTFIX

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Indeed "speculating" [uninitialized] loads is something GCC frequently does if
it
knowns those loads do not trap.  I guess valgrind could be improved to check
only at uses of the uninit value?