https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86972
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |msebor at gcc dot gnu.org Resolution|--- |INVALID --- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> --- The result of pointer addition or subtraction must point at an existing element of an array or just past the last one, otherwise the behavior is undefined. In the test case in comment #0 the subtraction doesn't satisfy this requirement and the warning correctly points that out. What makes you think otherwise?