public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/115079] New: unexpected error with partial specialization of template<auto...>
@ 2024-05-13 22:31 420 at zerberste dot es
  2024-05-14 15:23 ` [Bug c++/115079] " mpolacek at gcc dot gnu.org
  2024-05-15 12:58 ` ppalka at gcc dot gnu.org
  0 siblings, 2 replies; 3+ messages in thread
From: 420 at zerberste dot es @ 2024-05-13 22:31 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 115079
           Summary: unexpected error with partial specialization of
                    template<auto...>
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 420 at zerberste dot es
  Target Milestone: ---

Consider the following code snippet
```cpp
template <typename...>
struct TypeList {};

template <auto...>
struct Proxy;

template <typename U, typename... Ts, Ts U::*... Ptr>
struct Proxy<Ptr...> {
    using alternatives = TypeList<Ts...>;
};

struct Bare {
    int alt_0;
};
template struct Proxy<&Bare::alt_0>;
```
https://gcc.godbolt.org/z/41T89b64a

Clang accepts this, GCC does not. Up until GCC 8 it did provide a slightly more
helpful error message, but I do not think it should error to begin with.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug c++/115079] unexpected error with partial specialization of template<auto...>
  2024-05-13 22:31 [Bug c++/115079] New: unexpected error with partial specialization of template<auto...> 420 at zerberste dot es
@ 2024-05-14 15:23 ` mpolacek at gcc dot gnu.org
  2024-05-15 12:58 ` ppalka at gcc dot gnu.org
  1 sibling, 0 replies; 3+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2024-05-14 15:23 UTC (permalink / raw)
  To: gcc-bugs

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2024-05-14
     Ever confirmed|0                           |1
                 CC|                            |mpolacek at gcc dot gnu.org

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug c++/115079] unexpected error with partial specialization of template<auto...>
  2024-05-13 22:31 [Bug c++/115079] New: unexpected error with partial specialization of template<auto...> 420 at zerberste dot es
  2024-05-14 15:23 ` [Bug c++/115079] " mpolacek at gcc dot gnu.org
@ 2024-05-15 12:58 ` ppalka at gcc dot gnu.org
  1 sibling, 0 replies; 3+ messages in thread
From: ppalka at gcc dot gnu.org @ 2024-05-15 12:58 UTC (permalink / raw)
  To: gcc-bugs

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

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

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

--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
dup of PR86933 I think

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2024-05-15 12:58 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-05-13 22:31 [Bug c++/115079] New: unexpected error with partial specialization of template<auto...> 420 at zerberste dot es
2024-05-14 15:23 ` [Bug c++/115079] " mpolacek at gcc dot gnu.org
2024-05-15 12:58 ` ppalka at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).