[Bug target/85100] __builtin_cpu_supports avx does not verify OS supports it

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85100

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |luto at kernel dot org

--- Comment #13 from H.J. Lu <hjl.tools at gmail dot com> ---
*** Bug 55307 has been marked as a duplicate of this bug. ***