https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80862 Bug 80862 depends on bug 73350, which changed state.
Bug 73350 Summary: AVX512: GCC optimizes away rounding flags https://gcc.gnu.org/bugzilla/show_bug.cgi?id=73350 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
