[Bug target/60205] No ABI warning for AVX-512

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60205

--- Comment #1 from Uroš Bizjak <ubizjak at gmail dot com> ---
Created attachment 32158
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32158&action=edit
Proposed patch

Patch that implements AVX512F warnings.