c/5725: "no return statement in function returning non-void" on legal pthread style code

[mec@shout.net]

>Number:         5725
>Category:       c
>Synopsis:       "no return statement in function returning non-void" on legal pthread style code
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Mon Feb 18 13:26:00 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     mec@shout.net
>Release:        gcc HEAD 20020216
>Organization:
>Environment:
red hat linux 7.2
native i686-pc-linux-gnulibc2.2
>Description:
% cat return-bug.c
void * philosopher (void *);

void *
philosopher (void * data)
{
  int * counter = (int *) data;
  for (;;)
    ++*counter;
}

% gcc -c return-bug.c
return-bug.c: In function 'philosopher':
return-bug.c:9: warning: no return statement in function returning non-void

% gcc -v

Reading specs from /berman/fsf/_today_/berman/native/install/gcc/HEAD/lib/gcc-lib/i686-pc-linux-gnu/3.1/specs
Configured with: /berman/fsf/_today_/source/gcc/HEAD/configure --prefix=/berman/fsf/_today_/berman/native/install/gcc/HEAD --disable-shared --with-gnu-as --with-as=/berman/fsf/_today_/berman/native/install/binutils/HEAD/bin/as --with-gnu-ld --with-ld=/berman/fsf/_today_/berman/native/install/binutils/HEAD/bin/ld
Thread model: single
gcc version 3.1 20020216 (experimental)

See also: http://gcc.gnu.org/ml/gcc-patches/2002-02/msg00034.html

This pattern of code occurs often in pthread code.  The return type of the thread function is "void *" but there's often no need for the thread function to return.
>How-To-Repeat:
Compile the given program.
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: