[Bug c++/53158] New: [C++11] Bogus error in loop condition

[Bug c++/53158] New: [C++11] Bogus error in loop condition

[zeratul976 at hotmail dot com]

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

             Bug #: 53158
           Summary: [C++11] Bogus error in loop condition
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zeratul976@hotmail.com


For the following code:

int main()
{
    auto a = []() { return true; };
    auto b = []() { return a(); };
    int c, d;
    while (b() && c < d)
    {
    }
}

GCC produces the following errors:

test.cpp: In lambda function:
test.cpp:4:28: error: 'a' is not captured
     auto b = []() { return a(); };
                            ^
test.cpp: In function 'int main()':
test.cpp:6:23: error: invalid operands of types 'void' and 'int' to binary
'operator!='
     while (b() && c < d)
                       ^

The first error is correct, and fixing it makes both errors go away. However,
the second error is bogus: operator!= is not being called anywhere.

[Bug c++/53158] [C++11] Bogus error in loop condition

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-05-07
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com
   Target Milestone|---                         |4.8.0
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-07 15:56:56 UTC ---
Mine.

[Bug c++/53158] [C++11] Bogus error in loop condition

[paolo.carlini at oracle dot com]

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

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-07 18:38:34 UTC ---
void foo();

void bar(int a, int b)
{
  if (foo() && a < b)
    ;
}

[Bug c++/53158] [C++11] Bogus error in loop condition

[paolo at gcc dot gnu.org]

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

--- Comment #3 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-05-10 21:14:15 UTC ---
Author: paolo
Date: Thu May 10 21:14:09 2012
New Revision: 187380

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187380
Log:
/cp
2012-05-10  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53158
    * cvt.c (ocp_convert): Error out early for void -> bool conversions.
    * typeck.c (decay_conversion): Use error_at.
    * call.c (build_integral_nontype_arg_conv, convert_like_real,
    convert_arg_to_ellipsis, perform_implicit_conversion_flags,
    initialize_reference): Likewise.
    * cvt.c (warn_ref_binding): Add location_t parameter.
    (cp_convert_to_pointer, convert_to_reference, ocp_convert,
    convert_to_void, ): Use error_at and warning_at.

/c-family
2012-05-10  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53158
    * c-common.c (warnings_for_convert_and_check): Use warning_at.

/testsuite
2012-05-10  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53158
    * g++.dg/cpp0x/lambda/lambda-err2.C: New.
    * g++.dg/parse/error26.C: Tweak dg-error column number.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-err2.C
Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-common.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/cvt.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/parse/error26.C

[Bug c++/53158] [C++11] Bogus error in loop condition

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-10 21:16:29 UTC ---
Done.