[Bug middle-end/82123] [7/8 regression] spurious -Wformat-overflow warning for converted vars

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aldyh at gcc dot gnu.org,
                   |                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This is the typical case of value range info being more precise during vrp pass
(where we have ASSERT_EXPRs) rather than elsewhere (where we don't have them
and pin_3 here is set before the condition).  Supposedly the planed on demand
value range stuff could help there, but I have no idea for ETA on that.