[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gcc-bugs
Subject:    [Bug c/103502] -Wstrict-aliasing=3 doesn't warn on what is documented as UB
From:       "stsp at users dot sourceforge.net via Gcc-bugs" <gcc-bugs () gcc ! gnu ! org>
Date:       2021-11-30 22:07:40
Message-ID: bug-103502-4-BlFZO58Aas () http ! gcc ! gnu ! org/bugzilla/
[Download RAW message or body]

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

--- Comment #5 from Stas Sergeev <stsp at users dot sourceforge.net> ---
Note that this code example
is trivial. If the warning have
disappeared as a false-negative,
then I am surprised you close this
as NOTABUG, as there is definitely
something to fix or improve here.
Not detecting such a trivial case
is a bug.

If OTOH gcc actually deduced that
this code is safe, then I am more
than happy, but this have to be
confirmed explicitly.
You inserted the seemingly redundant
"not" in your sentence, so I am not
sure what you actually meant to say.=
[prev in list] [next in list] [prev in thread] [next in thread]