https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81928 --- Comment #11 from Matthieu Brucher <matthieu.brucher at gmail dot com> --- Oh, and if this is always false, why isn't it the case in debug mode? It is then a bug according to what you said.