Bug#846075: gcc-7: Missing files avx5124fmapsintrin.h

[Sylvestre Ledru <sylvestre@debian.org>]

Source: gcc-7
Severity: important

Hello,

Present in gcc-snapshot, avx5124fmapsintrin.h is missing in the gcc-7 package.
it is included from:
/usr/lib/gcc/x86_64-linux-gnu/7/include/immintrin.h

avx5124vnniwintrin.h is also missing

Thanks,
Sylvestre

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (900, 'testing'), (600, 'unstable'), (300, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.6.0-1-amd64 (SMP w/12 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)