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

Reply via email to