https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83531
Erik Schnetter <schnetter at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |schnetter at gmail dot com
--- Comment #7 from Erik Schnetter <schnetter at gmail dot com> ---
I don't think that people didn't notice. I rather think that they gave up
building the sanitizer. See also
https://github.com/spack/spack/tree/develop/var/spack/repos/builtin/packages/gcc
and
https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/gcc/darwin/headers-10.13-fix.patch
, which includes this fix automatically when GCC is built via Spack.
