https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93583
--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> --- void *bar(const char*); static void *__attribute__((malloc,noinline)) foo(const char *p) { return bar (p); } int main(int argc, char **argv) { foo (argv[0]); return 0; } doesn't ICE on x86_64