https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141
--- Comment #17 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > No, we don't have any issue on Darwin internally with a compiler configured > --with-stage1-ldflags=-static-libstdc++ --with-boot-ldflags=-static-libstdc++ > (but it's on Darwin 14.5.0 and 15.5.0). As said in comment 3, I do (this PR) with darwin16: caused by r251781 ada/sem_ch7.adb, i.e., your change.
