https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103121
--- Comment #15 from Martin Sebor <msebor at gcc dot gnu.org> --- The call is made from the strlen pass which still does apparently use EVRP. I believe Aldy's been moving it away from it (some of his changes are still pending) as have I, so things are still in flux. I don't know the exact status but I didn't expect I'd get the wrong result from EVRP, just less accurate than with ranger. I also didn't realize that debug_ranger() didn't show me the same ranges I get from a call range_of_expr(). Live and learn I guess. In any case, short of finishing the strlen migration to ranger I don't see what can be done to avoid the warning in this case.
