https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81272
--- Comment #2 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Martin Liška from comment #1) > Confirmed, it's not consistent. Let me fix that. Seven months later, it seems to me to be still not fixed.