[Bug c++/56418] New: <brace-enclosed initializer list> errors do not show the types (makes it hard to debug)

[Bug c++/56418] New: <brace-enclosed initializer list> errors do not show the types (makes it hard to debug)

[msclrhd at gmail dot com]

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

             Bug #: 56418
           Summary: <brace-enclosed initializer list> errors do not show
                    the types (makes it hard to debug)
    Classification: Unclassified
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: msclrhd@gmail.com


Created attachment 29518
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29518
Example of the problem.

When you have something like:

    foo({ 1, 2, 3 });

vs:

    foo(Bar(1, 2, 3));

the error message is hard to diagnose. See the attached foo.cpp for an example.

In the foo.cpp example, the lines that pass the wrong argument via explicit
construction ([5] and [7]) tell the user exactly what the problem is:

    foo.cpp:12:21: note: candidates are:
    foo.cpp:2:14: note: Foo::Foo(int, float, Bar)
    foo.cpp:2:14: note:   no known conversion for argument 3 from ‘int’ to
‘Bar’

whereas the lines that pass the arguments using the initializer list syntax are
impossible to diagnose from the error message:

    foo.cpp:18:21: error: invalid initialization of reference of type ‘const
Foo&’ from expression of type ‘<brace-enclosed initializer list>’
    foo.cpp:4:6: error: in passing argument 1 of ‘void foo(const Foo&)’

[Bug c++/56418] <brace-enclosed initializer list> errors do not show the types (makes it hard to debug)

[manu at gcc dot gnu.org]

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manu at gcc dot gnu.org

--- Comment #1 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-02-21 20:26:24 UTC ---
Clang doesn't do much better:

test.cc:18:3: error: no matching function for call to 'foo'
  foo({ 1, 2.3, 123 }); // error -- argument mismatch [8]
  ^~~
test.cc:4:6: note: candidate function not viable: cannot convert initializer
list argument to 'const Foo'
void foo(const Foo &f);
     ^

but at least it doesn't print ‘<brace-enclosed initializer list>’.

[Bug c++/56418] <brace-enclosed initializer list> errors do not show the types (makes it hard to debug)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |trivial
           Keywords|                            |diagnostic

[Bug c++/56418] <brace-enclosed initializer list> errors do not show the types (makes it hard to debug)

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-08-06