[Bug c/80515] New: __attribute__ ((__noreturn__)) false alarm for 'main'

[eggert at gnu dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80515

            Bug ID: 80515
           Summary: __attribute__ ((__noreturn__)) false alarm for 'main'
           Product: gcc
           Version: 6.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: eggert at gnu dot org
  Target Milestone: ---

For this one-line C program:

__attribute__ ((__noreturn__)) int main (void) { for (;;); }

GCC complains:

<built-in>: warning: function declared ‘noreturn’ has a ‘return’ statement

even though the 'main' function does not have a 'return' statement.