[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.



More information about the Gcc-patches mailing list