https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79942
Bug ID: 79942 Summary: Wrong declaration of __builtin_cpu_init Product: gcc Version: 5.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: barannikov88 at gmail dot com Target Milestone: --- According to documentation, __builtin_cpu_init has return type 'void', but is created as returning 'int'. gcc/config/i386/i386.c static void ix86_init_platform_type_builtins (void) { make_cpu_type_builtin ("__builtin_cpu_init", IX86_BUILTIN_CPU_INIT, INT_FTYPE_VOID, false); make_cpu_type_builtin ("__builtin_cpu_is", IX86_BUILTIN_CPU_IS, INT_FTYPE_PCCHAR, true); make_cpu_type_builtin ("__builtin_cpu_supports", IX86_BUILTIN_CPU_SUPPORTS, INT_FTYPE_PCCHAR, true); } This is probably a typo.