https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111123
--- Comment #1 from Andrea Griffini <agriff at tin dot it> --- Forgot to say that -O3 is needed to see the warning (this is however expected)
agriff at tin dot it via Gcc-bugs Wed, 23 Aug 2023 13:12:36 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111123
--- Comment #1 from Andrea Griffini <agriff at tin dot it> --- Forgot to say that -O3 is needed to see the warning (this is however expected)