[Bug c++/53078] New: [C++11] Wrong diagnostic "no return statement in function returning non-void" on

[Bug c++/53078] New: [C++11] Wrong diagnostic "no return statement in function returning non-void" on

[M8R-gt1qwe at mailinator dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53078

             Bug #: 53078
           Summary: [C++11] Wrong diagnostic "no return statement in
                    function returning non-void" on
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: M8R-gt1qwe@mailinator.com


GCC erroneously warns about a missing return in lambdas where the return type
is to be deduced as void.

Example:

$ cat a.c++
int main() { auto x = []{}; }
$ g++-4.8 -std=c++11 -Wall -Wextra -Werror -pedantic a.c++ 
a.c++: In lambda function:
a.c++:1:30: error: no return statement in function returning non-void
[-Werror=return-type]
cc1plus: all warnings being treated as errors
$ 

Neither of the following alternatives produces this diagnostic:

int main() { auto x = []{ return; }; }

int main() { auto x = []() -> void {}; }

[Bug c++/53078] [C++11] Wrong diagnostic "no return statement in function returning non-void" on lambdas

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53078

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-23 00:21:43 UTC ---
Are you *really* sure you are using current 4.8? I get:

paolo@poldo4:~/Work> g++ -std=c++11 -Wall -Wextra -Werror -pedantic 53078.C 
53078.C: In function ‘int main()’:
53078.C:1:19: error: variable ‘x’ set but not used
[-Werror=unused-but-set-variable]
 int main() { auto x = []{}; }
                   ^

[Bug c++/53078] [C++11] Wrong diagnostic "no return statement in function returning non-void" on lambdas

[M8R-gt1qwe at mailinator dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53078

--- Comment #2 from M8R-gt1qwe at mailinator dot com 2012-04-23 03:58:52 UTC ---
Ooops. That will teach me to make sure I update before filing a bug :S I was
running 20120401. You can close this. It doesn't manifest on 20120422.

[Bug c++/53078] [C++11] Wrong diagnostic "no return statement in function returning non-void" on lambdas

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53078

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |WORKSFORME

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-23 09:30:18 UTC ---
Ok (4_7-branch is also fine)

[Bug c++/53078] [C++11] Wrong diagnostic "no return statement in function returning non-void" on lambdas

[mattipee at yahoo dot co.uk]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53078

mattipee at yahoo dot co.uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mattipee at yahoo dot co.uk

--- Comment #4 from mattipee at yahoo dot co.uk 2012-04-24 08:34:17 UTC ---
Duplicate of Bug 52845

[Bug c++/53078] [C++11] Wrong diagnostic "no return statement in function returning non-void" on lambdas

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53078

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
   Last reconfirmed|                            |2012-04-24
                 CC|                            |paolo.carlini at oracle dot
                   |                            |com
         Resolution|WORKSFORME                  |
     Ever Confirmed|0                           |1

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-24 09:28:33 UTC ---
Re-open..

[Bug c++/53078] [C++11] Wrong diagnostic "no return statement in function returning non-void" on lambdas

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53078

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |DUPLICATE

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-24 09:29:09 UTC ---
... to close as duplicate.

*** This bug has been marked as a duplicate of bug 52845 ***