[COMMITTED] test to verify -Wformat-overflow uses context-sensitive ranges

Martin Sebor msebor@gmail.com
Fri Jan 14 17:10:57 GMT 2022


Converting the strlen/sprintf pass to Ranger has considerably
improved the accuracy of -Wformat-overflow warnings: they can avoid
triggering for safe input even at -O0 while at the same time detect
provable overflow.  The conversion didn't come with any tests so in
r12-6591 I committed one that verifies both of these improvements.

https://gcc.gnu.org/pipermail/gcc-cvs/2022-January/359299.html

Martin


More information about the Gcc-patches mailing list