https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79082
--- Comment #8 from Martin Sebor <msebor at gcc dot gnu.org> ---
> case 3. You can see that in the dump created by the -ftree-dump-vrp option
> where the argument is assumed to include the negative subrange:
>
> Value ranges after VRP:
> ...
> iftmp.0_11: [-99, 99]
^^^^^^^^^^
That should have been iftmp.0_5:
iftmp.0_5: [-99, 99]
> ...
>
> snprintf (buffer_8(D), 3, "%2d", iftmp.0_5);
