https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116672
Sam James <sjames at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sjames at gcc dot gnu.org
--- Comment #3 from Sam James <sjames at gcc dot gnu.org> ---
Note that in terms of "checking", it's a known issue that -Wstrict-aliasing is
deficient.
i.e. violations aren't always diagnosed, but they are optimised-based-on-them.
The reasons for that are complicated.
But of course richi is right anyway -- optimising or not doesn't mean it
doesn't know the rules. If you can show an example which you believe complies
with the rules but GCC gets the wrong result, then of course we should look at
it.
