https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87879
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- You'd need dataflow information that's not available at that point in the front end to know that the initializer is indeed the value of fmt at that point in the code.