This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/79257] spurious -Wformat-overflow=1 warning with -O2 and sanitizer
- From: "law at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 20 Feb 2018 18:52:44 +0000
- Subject: [Bug middle-end/79257] spurious -Wformat-overflow=1 warning with -O2 and sanitizer
- Auto-submitted: auto-generated
- References: <bug-79257-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79257
--- Comment #11 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Author: law
Date: Tue Feb 20 18:52:07 2018
New Revision: 257852
URL: https://gcc.gnu.org/viewcvs?rev=257852&root=gcc&view=rev
Log:
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.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/gimple-ssa-sprintf.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/builtin-unreachable-6.c