re PR middle-end/82123 (spurious -Wformat-overflow warning for converted vars)
authorJeff Law <law@redhat.com>
Tue, 20 Feb 2018 18:52:07 +0000 (11:52 -0700)
committerJeff Law <law@gcc.gnu.org>
Tue, 20 Feb 2018 18:52:07 +0000 (11:52 -0700)
commitaa67d03c30f907fd47adfadff3fb7c58c0b437d1
tree6272d72d919142c308a094654059224031a33978
parent2db63ab20cdbd39e2ef83e41f34bb4ef8bcfb337
re PR middle-end/82123 (spurious -Wformat-overflow warning for converted vars)

PR middle-end/82123
PR tree-optimization/81592
PR middle-end/79257
* gimple-ssa-sprintf.c: Include alloc-pool.h, vr-values.h and
gimple-ssa-evrp-analyze.h
(class sprintf_dom_walker): Add after_dom_children member function.
Add evrp_range_analyzer member.
(sprintf_dom_walker::before_dom_children): Call into the EVRP
range analyzer as needed.
(sprintf_dom_walker::after_dom_children): New member function.

* gcc.dg/builtin-unreachable-6.c: Turn off VRP.

From-SVN: r257852
gcc/ChangeLog
gcc/gimple-ssa-sprintf.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/builtin-unreachable-6.c