https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86134
--- Comment #9 from Manuel López-Ibáñez <lopezibanez at gmail dot com> --- That makes sense as well. Adding further logic to silence the warning or to make the warning not become an error is what I think is a bad idea. I like also your more explicit wording.