https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81592
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |law at redhat dot com
Resolution|--- |DUPLICATE
--- Comment #3 from Jeffrey A. Law <law at redhat dot com> ---
I'm going mark this as a DUP of 82123. Ultimately the problem here is a lack
of good range information in gimple-ssa-sprintf which is addressed by the same
bits as 82123.
WRT c#1 and the similarities with alloca warnings -- there's no good reason why
the same technique we're going to use in the sprintf code couldn't also be used
in the alloca code. We just convert it to a dom walker, embed the evrp
analysis and query the evrp data. We should have a BZ to track this issue in
gimple-ssa-warn-alloca.
WRT c#2. I think the way to go will be to re-test once the fix for 82123 is
installed and file bugs for anything still triggering the warning.
*** This bug has been marked as a duplicate of bug 82123 ***