[Bug tree-optimization/94021] -Wformat-truncation false positive due to excessive integer range

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94021

--- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> ---
Since the merge with the sprintf pass, the strlen pass has an instance of EVRP
that it passes to sprintf to get range info from (it also uses it itself in
places).