https://gcc.gnu.org/bugzilla/show_bug.cgi?id=21182
--- Comment #22 from Jeffrey A. Law <law at redhat dot com> --- Vlad -- I was thinking more in the sense of whether or not IRA is presented with something reasonable (ie, can be colored) vs unreasonable (can not be colored). The former is clearly possible with this source, but we well could be making the graph uncolorable with some of the early tree optimizations -- I certainly saw enough cprop/forwprop/dom transformations to give me concern that what we're presenting to IRA isn't colorable.