public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/99815] New: ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193
@ 2021-03-29 10:56 hewillk at gmail dot com
  2021-03-29 17:56 ` [Bug c++/99815] [11 Regression] " mpolacek at gcc dot gnu.org
                   ` (3 more replies)
  0 siblings, 4 replies; 5+ messages in thread
From: hewillk at gmail dot com @ 2021-03-29 10:56 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 99815
           Summary: ICE: in placeholder_type_constraint_dependent_p, at
                    cp/pt.c:28193
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

https://godbolt.org/z/4vx18beMW

template <typename...> concept C = true;

template <typename... Ts>
auto bar(Ts...) { C<Ts...> auto x = 0; }



<source>:4:37: internal compiler error: in
placeholder_type_constraint_dependent_p, at cp/pt.c:28193
    4 | auto bar(Ts...) { C<Ts...> auto x = 0; }
      |                                     ^
0x1cfb7f9 internal_error(char const*, ...)
        ???:0
0x6ba871 fancy_abort(char const*, int, char const*)
        ???:0
0x90a81a do_auto_deduction(tree_node*, tree_node*, tree_node*, int,
auto_deduction_context, tree_node*, int)
        ???:0
0x7b1dd4 cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
        ???:0
0x8e12ad c_parse_file()
        ???:0
0xa600a2 c_common_parse_file()
        ???:0
Please submit a full bug report,
with preprocessed source if appropriate.

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

* [Bug c++/99815] [11 Regression] ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193
  2021-03-29 10:56 [Bug c++/99815] New: ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193 hewillk at gmail dot com
@ 2021-03-29 17:56 ` mpolacek at gcc dot gnu.org
  2021-03-29 20:02 ` ppalka at gcc dot gnu.org
                   ` (2 subsequent siblings)
  3 siblings, 0 replies; 5+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2021-03-29 17:56 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-03-29
           Priority|P3                          |P1
   Target Milestone|---                         |11.0
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
            Summary|ICE: in                     |[11 Regression] ICE: in
                   |placeholder_type_constraint |placeholder_type_constraint
                   |_dependent_p, at            |_dependent_p, at
                   |cp/pt.c:28193               |cp/pt.c:28193
                 CC|                            |mpolacek at gcc dot gnu.org,
                   |                            |ppalka at gcc dot gnu.org

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.  Started with r11-7540.

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

* [Bug c++/99815] [11 Regression] ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193
  2021-03-29 10:56 [Bug c++/99815] New: ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193 hewillk at gmail dot com
  2021-03-29 17:56 ` [Bug c++/99815] [11 Regression] " mpolacek at gcc dot gnu.org
@ 2021-03-29 20:02 ` ppalka at gcc dot gnu.org
  2021-03-31  2:58 ` cvs-commit at gcc dot gnu.org
  2021-03-31  2:59 ` ppalka at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: ppalka at gcc dot gnu.org @ 2021-03-29 20:02 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |ppalka at gcc dot gnu.org

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

* [Bug c++/99815] [11 Regression] ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193
  2021-03-29 10:56 [Bug c++/99815] New: ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193 hewillk at gmail dot com
  2021-03-29 17:56 ` [Bug c++/99815] [11 Regression] " mpolacek at gcc dot gnu.org
  2021-03-29 20:02 ` ppalka at gcc dot gnu.org
@ 2021-03-31  2:58 ` cvs-commit at gcc dot gnu.org
  2021-03-31  2:59 ` ppalka at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-03-31  2:58 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:0bbf0edbfc782f8e4e416d5fbd1b52a515adb585

commit r11-7920-g0bbf0edbfc782f8e4e416d5fbd1b52a515adb585
Author: Patrick Palka <ppalka@redhat.com>
Date:   Tue Mar 30 22:54:37 2021 -0400

    c++: placeholder type constraint and argument pack [PR99815]

    When checking dependence of a placeholder type constraint, if the first
    template argument of the constraint is an argument pack, we need to
    expand it in order to properly separate the implicit 'auto' argument
    from the rest.

    gcc/cp/ChangeLog:

            PR c++/99815
            * pt.c (placeholder_type_constraint_dependent_p): Expand
            argument packs to separate the first non-pack argument
            from the rest.

    gcc/testsuite/ChangeLog:

            PR c++/99815
            * g++.dg/cpp2a/concepts-placeholder5.C: New test.

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

* [Bug c++/99815] [11 Regression] ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193
  2021-03-29 10:56 [Bug c++/99815] New: ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193 hewillk at gmail dot com
                   ` (2 preceding siblings ...)
  2021-03-31  2:58 ` cvs-commit at gcc dot gnu.org
@ 2021-03-31  2:59 ` ppalka at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: ppalka at gcc dot gnu.org @ 2021-03-31  2:59 UTC (permalink / raw)
  To: gcc-bugs

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

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

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

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed.

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

end of thread, other threads:[~2021-03-31  2:59 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-29 10:56 [Bug c++/99815] New: ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193 hewillk at gmail dot com
2021-03-29 17:56 ` [Bug c++/99815] [11 Regression] " mpolacek at gcc dot gnu.org
2021-03-29 20:02 ` ppalka at gcc dot gnu.org
2021-03-31  2:58 ` cvs-commit at gcc dot gnu.org
2021-03-31  2:59 ` 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).