https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86519
--- Comment #11 from Qing Zhao <qing.zhao at oracle dot com> --- > to reply: Comment #10 from Martin Sebor <msebor at gcc dot gnu.org> — thanks for the details. However, I do not feel comfortable for the compiler to change an undefined buggy code. I think that it’s better to let the user to correct his/her own buggy code. What the compiler should do is just tell the user that his/her code is wrong, and why it’s wrong. the user should know better how to correct his code.