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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
There is an aliasing issue in the code.


(long *)(long long[]){0, 0}

gets passed to func as the argument `long *o`.


And then o is read as:
```
if (*o < 1) {
```

But the compound literal type was `long long[2]` and was written to as `long
long` and then it is read as `long` but that is undefined behavior there.

Reply via email to