On Tue, 26 Feb 2019 at 16:49, Sebastian Bauer <mail@xxxxxxxxxxxxxxxxxxx> wrote:
>
> Hi,
>
> I encountered a potential optimization problem with recent g++ versions
> that can be viewed with following code snipped (stripped down from a
> larger legacy code-base):
>
> ---8<---
>
> #include <stdio.h>
> #include <stdlib.h>
> #include <memory.h>
>
> struct OBJ {
> void *operator new (size_t size)
> {
> void *p = malloc(size);
> memset(p, 0x1, size);
> return p;
> }
>
> int a;
>
> OBJ() {
> }
> };
>
> extern OBJ *oo;
>
> int bug() {
> oo = new OBJ;
> return oo->a;
> }
>
> ---<8---
>
> With gcc trunk and an optimization level of 1, bug() will not return
> 0x01010101 (it will return an uninitialized/undefined value). Instead,
> the call to memset() is completely optimized out. I tried older versions
> as well, and it seems that the problem are starting to appear with gcc 6
> (so gcc 5 seems to be fine).
>
> The various settings can be tried out here as well:
>
> https://godbolt.org/z/HdpTdc
>
> If I have not missed something then Clang and the VisualC compiler seem
> to produce the output that I would expect in this case.
>
> Since this is a strange construct anyway, I'm not sure if this is just
> some undefined behaviour (in which gcc is right to optimize it out) or a
> real bug in gcc. Any suggestions (e.g., if a bug shall be reported or
> not) are appreciated.
Your code is invalid, see
https://gcc.gnu.org/gcc-6/porting_to.html#flifetime-dse
