Why does gcc not have a warning option for &x+k where x is an identifier or result of . or -> operator and k!=0,1 (!=0 if dereferenced)?
-
-
And here's the resulting bug report: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87192 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Compilers ought to warn about it early after frontend is done, no need to bring big guns like VRP. Should also change the OOB pointer to something more likely to raise alarms at runtime, e.g. (void*)-4096
-
Yes, I think it's using heavy machinery and failing where simple machinery would catch most of the interesting cases... I also just filed https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87192 …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.