https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103534
--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> --- So it seems that this warning did find a real issue with the library, but one that was hard to connect to the actual wording of the message (and didn't affect the original testcase). In particular, "specified bound" doesn't make sense when we're considering values deduced from VRP. Is there any way to print the VRP "backtrace" as part of a warning?