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

--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #5)
> 
> 
> 
>   # RANGE [irange] long unsigned int [0, 4096][18446744069414588418, +INF]

I should mention this range was there even before my patch. But for some reason
not used ....

>   _1625 = 4096 - header_read_1624;
>   _1578 = MAX_EXPR <header_read_1624, 4096>;
>   _2024 = _1578 - header_read_1624;
>   _1626 = &in_buf + header_read_1624;
> 
> 
> 
> _1631 = __read_alias (_1357, _1626, _1625);

Reply via email to