[Bug c++/65370] New: [5 Regression] rejects valid code on powerpc64le-linux-gnu

[Bug c++/65370] New: [5 Regression] rejects valid code on powerpc64le-linux-gnu

[doko at gcc dot gnu.org]

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

            Bug ID: 65370
           Summary: [5 Regression] rejects valid code on
                    powerpc64le-linux-gnu
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org

Created attachment 34999
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34999&action=edit
preprocessed source

from ppl-1.1, r221254 on powerpc64le-linux-gnu. works on all other
architectures, and with 4.9:

$ g++ -c C_Polyhedron.ii 
In file included from algorithms.hh:28:0,
                 from C_Polyhedron.cc:28:
Pointset_Powerset_defs.hh:1402:37: error: redeclaration of 'template<class QH>
Parma_Polyhedra_Library::Pointset_Powerset<PSET>::Pointset_Powerset(const
Parma_Polyhedra_Library::Pointset_Powerset<QH>&,
Parma_Polyhedra_Library::Complexity_Class) [with QH = QH; PSET =
Parma_Polyhedra_Library::NNC_Polyhedron]' may not have default arguments
[-fpermissive]

[Bug c++/65370] [5 Regression] rejects valid code on powerpc64le-linux-gnu

[doko at gcc dot gnu.org]

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

--- Comment #1 from Matthias Klose <doko at gcc dot gnu.org> ---
reduced test case:

namespace Parma_Polyhedra_Library {
class NNC_Polyhedron;
enum Complexity_Class { ANY_COMPLEXITY };
template <typename PSET> class Pointset_Powerset;
}
template <typename PSET> class Parma_Polyhedra_Library::Pointset_Powerset {
  template <typename QH>
  Pointset_Powerset(const Pointset_Powerset<QH> &,
                    Complexity_Class = ANY_COMPLEXITY);
};

namespace Parma_Polyhedra_Library {
template <>
template <typename QH>
Pointset_Powerset<NNC_Polyhedron>::Pointset_Powerset(
    const Pointset_Powerset<QH> &, Complexity_Class);
}

[Bug c++/65370] [5 Regression] rejects valid code on powerpc64le-linux-gnu

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
             Target|                            |powerpc64le-linux-gnu
           Priority|P3                          |P1
   Target Milestone|---                         |5.0

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Does it work with a cross? ...

[Bug c++/65370] [5 Regression] rejects valid code on powerpc64le-linux-gnu

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|powerpc64le-linux-gnu       |
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-03-10
                 CC|                            |trippels at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Fails on all archs.

[Bug c++/65370] [5 Regression] r213519 causes: error: redeclaration of 'template... may not have default arguments [-fpermissive]

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|paolo.carlini at oracle dot com    |
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Mine.

[Bug c++/65370] [5 Regression] r213519 causes: error: redeclaration of 'template... may not have default arguments [-fpermissive]

[paolo at gcc dot gnu.org]

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

--- Comment #6 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Tue Mar 10 22:20:41 2015
New Revision: 221337

URL: https://gcc.gnu.org/viewcvs?rev=221337&root=gcc&view=rev
Log:
/cp
2015-03-10  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/65370
    * decl.c (duplicate_decls): Call check_redeclaration_no_default_args
    only if the location of newdecl doesn't match the location of olddecl.

/testsuite
2015-03-10  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/65370
    * g++.dg/other/default11.C: New.
    * g++.dg/other/default12.C: Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/other/default11.C
    trunk/gcc/testsuite/g++.dg/other/default12.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/65370] [5 Regression] r213519 causes: error: redeclaration of 'template... may not have default arguments [-fpermissive]

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
           Assignee|paolo.carlini at oracle dot com    |unassigned at gcc dot gnu.org

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed.