https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123374
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> --- pointer-query is NOT the issue here and is correct. But rather the range of `sizeof (in_buf) - header_read` which is: # RANGE [irange] long unsigned int [0, 4096][18446744069414588418, +INF] _1625 = 4096 - header_read_1624; But as I mentioned that range was there before my patch. Oh get_size_range still uses the legacy ranges ....
