return void from void function is allowed.

["Igor Bukanov" <igor dot bukanov at gmail dot com>]

---------- Forwarded message ----------
From: Igor Bukanov <igor.bukanov@gmail.com>
Date: Oct 31, 2006 9:48 PM
Subject: Re: return void from void function is allowed.
To: Mike Stump <mrs@apple.com>


On 10/31/06, Mike Stump <mrs@apple.com> wrote:
> This is valid in C++.

My copy of 1997 C++ public draft contains:

6.6.3  The return statement
...
2 A return statement without an expression can be used only in functions
 that  do not return a value, that is, a function with the return value
 type   void,   a   constructor   (_class.ctor_),   or   a   destructor
 (_class.dtor_).   A  return  statement  with an expression can be used
 only in functions returning a value; the value of  the  expression  is
 returned  to  the caller of the function.  If required, the expression
 is implicitly converted to the return type of the function in which it
 appears.   A return statement can involve the construction and copy of
 a temporary object (_class.temporary_).  Flowing  off  the  end  of  a
 function  is  equivalent  to  a  return with no value; this results in
 undefined behavior in a value-returning function.

My reading of that is C++ does not allow return void-expression from
void function. Was it changed later?

> And final thought, wrong mailing list...   gcc-help would have been
better.

I thought bugs in GCC can be discussed here. Sorry if it is a wrong assumption.

Regards, Igor