[Bug c++/51367] New: [4.7 Regression] Broken diagnostic: 'pointer_type' not supported by dump_expr

[Bug c++/51367] New: [4.7 Regression] Broken diagnostic: 'pointer_type' not supported by dump_expr

[reichelt at gcc dot gnu.org]

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

             Bug #: 51367
           Summary: [4.7 Regression] Broken diagnostic: 'pointer_type' not
                    supported by dump_expr
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: reichelt@gcc.gnu.org


Trunk produces a broken diagnostic for the following code snippet:

========================================
template<typename T> void foo(T, T);

void bar(void* p)
{
  foo(0,p);
}
========================================

bug.cc: In function 'void bar(void*)':
bug.cc:5:10: error: no matching function for call to 'foo(int, void*&)'
bug.cc:5:10: note: candidate is:
bug.cc:1:27: note: template<class T> void foo(T, T)
bug.cc:1:27: note:   template argument deduction/substitution failed:
bug.cc:5:10: note:   conflicting deductions for parameter 'T' ('int' and
'#'pointer_type' not supported by dump_expr#<expression error>')

[Bug c++/51367] [4.7 Regression] Broken diagnostic: 'pointer_type' not supported by dump_expr

[reichelt at gcc dot gnu.org]

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
   Target Milestone|---                         |4.7.0

[Bug c++/51367] [4.7 Regression] Broken diagnostic: 'pointer_type' not supported by dump_expr

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-11-30
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-30 21:46:03 UTC ---
Mine, this is caused by PR51230, for sure.

[Bug c++/51367] [4.7 Regression] Broken diagnostic: 'pointer_type' not supported by dump_expr

[paolo at gcc dot gnu.org]

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

--- Comment #2 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2011-12-01 09:34:47 UTC ---
Author: paolo
Date: Thu Dec  1 09:34:43 2011
New Revision: 181876

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181876
Log:
/cp
2011-12-01  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51367
    * pt.c (unify_inconsistency): Use either %qT or %qE depending on
    whether parm is a type or non-type parameter.

/cp
2011-12-01  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51367
    * g++.dg/template/error47.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/template/error47.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51367] [4.7 Regression] Broken diagnostic: 'pointer_type' not supported by dump_expr

[paolo.carlini at oracle dot com]

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

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

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-12-01 09:35:46 UTC ---
Fixed.