[Bug c++/103809] New: spurious reporting of structure redefinition

[Bug c++/103809] New: spurious reporting of structure redefinition

[florin at iucha dot net]

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

            Bug ID: 103809
           Summary: spurious reporting of structure redefinition
           Product: gcc
           Version: 11.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: florin at iucha dot net
  Target Milestone: ---

Consider the following program:

/*********************************************************/
#include <concepts>

namespace priv
{
    template<typename Value>
    struct Struct {};
}

#ifdef SHOW_BUG

template<std::integral Integral>
struct priv::Struct<Integral> {};

// This way results in:
//  <source>:19:14: error: redefinition of 'struct priv::Struct<Integral>'
//       19 | struct priv::Struct<Float> {};
//          |              ^~~~~~~~~~~~~
template<std::floating_point Float>
struct priv::Struct<Float> {};

#else

namespace priv
{
    template<std::integral Integral>
    struct Struct<Integral> {};

    template<std::floating_point Float>
    struct Struct<Float> {};
}

#endif

int main() {}

/*********************************************************/

Compiling with "g++ -std=c++20 -DSHOW_BUG" results in 

<source>:19:14: error: redefinition of 'struct priv::Struct<Integral>'
   19 | struct priv::Struct<Float> {};
      |              ^~~~~~~~~~~~~
<source>:12:14: note: previous definition of 'struct priv::Struct<Integral>'
   12 | struct priv::Struct<Integral> {};
      |              ^~~~~~~~~~~~~~~~
ASM generation compiler returned: 1
<source>:19:14: error: redefinition of 'struct priv::Struct<Integral>'
   19 | struct priv::Struct<Float> {};
      |              ^~~~~~~~~~~~~
<source>:12:14: note: previous definition of 'struct priv::Struct<Integral>'
   12 | struct priv::Struct<Integral> {};
      |              ^~~~~~~~~~~~~~~~

Compiling without SHOW_BUG results in no error.

(Bug found by my colleague, Ramon Sibello).

[Bug c++/103809] spurious reporting of structure redefinition

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-12-22
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
      Known to fail|                            |10.3.0, 11.2.0, 12.0, 9.4.0
           Keywords|                            |rejects-valid

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Confirmed, not a regression.


template<typename T> concept Byte = sizeof(T) == 1;
template<typename T> concept NotByte = sizeof(T) != 1;

namespace priv
{
    template<typename Value>
    struct Struct {};
}

template<Byte T>
struct priv::Struct<T> {};

template<NotByte T>
struct priv::Struct<T> {};


103809.C:14:14: error: redefinition of 'struct priv::Struct<T>'
   14 | struct priv::Struct<T> {};
      |              ^~~~~~~~~
103809.C:11:14: note: previous definition of 'struct priv::Struct<T>'
   11 | struct priv::Struct<T> {};
      |              ^~~~~~~~~

[Bug c++/103809] wrong reporting of (template) struct redefinition when doing a more constrained template outside of the namespace

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> ---
dup

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