[Bug c/79082] -Wformat-truncation inconsistent behaviour

[msebor at gcc dot gnu.org]

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);