https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78969
--- Comment #15 from Martin Sebor <msebor at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #14)
> Martin: Can you please take a look at the last comment?
There is very little to go on in comment #13. Please provide a complete test
case that reproduces the warning you think is a false positive.
The warning for the test case in comment #0 and comment #4 was fixed by r257857
in GCC 8.0.1:
r257857 | law | 2018-02-20 13:59:22 -0500 (Tue, 20 Feb 2018) | 8 lines
PR middle-end/82123
PR tree-optimization/81592
PR middle-end/79257
* gimple-ssa-sprintf.c (format_integer): Query EVRP range analyzer
for range data rather than using global data.
* gcc.dg/pr81592.c: New test.
* gcc.dg/pr82123.c: New test.
The test cases in comment #11 and comment #12 still trigger a warning with GCC
9 so I'm tempted to treat those as separate (and move them to a bug of their
own) and resolve this bug as fixed.
