https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78964
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- ++m is no different from m = m + 1;, both read the variable content before writing it again, and with the current infrastructure it would be terribly hard to figure out that the var is read solely to write its value again. Even trying to explain this in the documentation would be hard.