https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67728
--- Comment #18 from Marc Glisse <glisse at gcc dot gnu.org> --- Ah, I managed to reproduce. GMP has a nice "CFLAGS= -g -DNO_ASM" in its Makefile, but gcc overrides it by calling make CFLAGS=-g. Not much we can do from the GMP side (and ISL is innocent). Well, maybe the definition of NO_ASM could move to config.h, but I don't think gcc should be doing what it is doing. I think this issue was already described in another PR.