https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103724
--- Comment #5 from Frank Heckenbach <f.heckenb...@fh-soft.de> --- (In reply to Richard Biener from comment #4) > One thing we could do is annotate struct loop * with the (high level) > optimizations we've applied so that when we emit this warning we could say > > note: this loop is the copy generated by loop unswitching where b == 0 > > or so. Or maybe at least show > > note: this loop was unswitched If this is meant to apply to user-visible warnings, I'm not sure I'd like it. I usually run with -Werror, and this would still be a warning turned error then, wouldn't it?