Bug#879740: gcc-8: Missing cetintrin.h header

[Sylvestre Ledru <sylvestre@debian.org>]

Source: gcc-8
Severity: important

Hello,

cetintrin.h is missing from the package:
 /usr/lib/gcc/x86_64-linux-gnu/8/include/immintrin.h:93:10: fatal error: cetintrin.h: No such file or directory
  #include <cetintrin.h>
           ^~~~~~~~~~~~~
 compilation terminated.

----------
# cat foo2.c
#include <immintrin.h>

# g++-8 -Wall -Werror foo2.c
In file included from foo2.c:1:0:
/usr/lib/gcc/x86_64-linux-gnu/8/include/immintrin.h:93:10: fatal error: cetintrin.h: No such file or directory
 #include <cetintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.