https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89788
Thomas Schwinge <tschwinge at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target|i?86-intelmic | CC| |tschwinge at gcc dot gnu.org --- Comment #6 from Thomas Schwinge <tschwinge at gcc dot gnu.org> --- This liboffloadmic code is gone after commit r13-3652-ge4cba49413ca429dc82f6aa2e88129ecb3fdd943 "Remove support for Intel MIC offloading", but I'm leaving this PR open, as it's not specifically about liboffloadmic code, but rather about a missing GCC compile-time diagnostic, as I understand this.