https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108230
--- Comment #5 from David Shin <shin.david at gmail dot com> --- Indeed, no warning on trunk! Sorry, should have checked trunk version before reporting this.
shin.david at gmail dot com via Gcc-bugs Mon, 26 Dec 2022 19:10:31 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108230
--- Comment #5 from David Shin <shin.david at gmail dot com> --- Indeed, no warning on trunk! Sorry, should have checked trunk version before reporting this.