https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31393 Bug 31393 depends on bug 28378, which changed state.
Bug 28378 Summary: Intrinsic extensions should be deselectable via command line https://gcc.gnu.org/bugzilla/show_bug.cgi?id=28378 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |WONTFIX
