[Bug c++/102593] New: [10/11/12 Regression] ICE in cp_oacc_check_attachments, at cp/semantics.c:6561

[Bug c++/102593] New: [10/11/12 Regression] ICE in cp_oacc_check_attachments, at cp/semantics.c:6561

[gscfq@t-online.de]

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

            Bug ID: 102593
           Summary: [10/11/12 Regression] ICE in
                    cp_oacc_check_attachments, at cp/semantics.c:6561
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Changed between 20191215 and 20200105 :


$ cat z1.cc
template <class>
void f ()
{
  struct t { int a; };
  #pragma acc data detach (t.a)
  ;
}


$ g++-12-20211003 -c z1.cc -fopenacc
z1.cc: In function 'void f()':
z1.cc:5:32: internal compiler error: Segmentation fault
    5 |   #pragma acc data detach (t.a)
      |                                ^
0xe17d4f crash_signal
        ../../gcc/toplev.c:331
0x8f6da6 cp_oacc_check_attachments
        ../../gcc/cp/semantics.c:6561
0x90842a finish_omp_clauses(tree_node*, c_omp_region_type)
        ../../gcc/cp/semantics.c:7850
0x897fb4 cp_parser_oacc_all_clauses
        ../../gcc/cp/parser.c:39710
0x8b3009 cp_parser_oacc_data
        ../../gcc/cp/parser.c:44231
0x8b3009 cp_parser_omp_construct
        ../../gcc/cp/parser.c:46870
0x8897b9 cp_parser_pragma
        ../../gcc/cp/parser.c:47594
0x8905b7 cp_parser_statement
        ../../gcc/cp/parser.c:12266
0x8913d4 cp_parser_statement_seq_opt
        ../../gcc/cp/parser.c:12722
0x89148f cp_parser_compound_statement
        ../../gcc/cp/parser.c:12671
0x8af888 cp_parser_function_body
        ../../gcc/cp/parser.c:24902
0x8af888 cp_parser_ctor_initializer_opt_and_function_body
        ../../gcc/cp/parser.c:24953
0x8afd36 cp_parser_function_definition_after_declarator
        ../../gcc/cp/parser.c:31083
0x8b0c57 cp_parser_function_definition_from_specifiers_and_declarator
        ../../gcc/cp/parser.c:30999
0x8b0c57 cp_parser_init_declarator
        ../../gcc/cp/parser.c:22436
0x8b35b6 cp_parser_single_declaration
        ../../gcc/cp/parser.c:31586
0x8b37d5 cp_parser_template_declaration_after_parameters
        ../../gcc/cp/parser.c:31151
0x8b3f9b cp_parser_explicit_template_declaration
        ../../gcc/cp/parser.c:31417
0x8b3f9b cp_parser_template_declaration_after_export
        ../../gcc/cp/parser.c:31436
0x8b61f9 cp_parser_declaration
        ../../gcc/cp/parser.c:14759

[Bug c++/102593] [10/11/12 Regression] ICE in cp_oacc_check_attachments, at cp/semantics.c:6561

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |10.4

[Bug c++/102593] [10/11/12 Regression] ICE in cp_oacc_check_attachments, at cp/semantics.c:6561

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
           Priority|P3                          |P2

[Bug c++/102593] [10/11/12 Regression] ICE in cp_oacc_check_attachments, at cp/semantics.c:6561 since r10-5596-g519d7496beac32c2

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |julian at codesourcery dot com,
                   |                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2021-10-11
             Status|UNCONFIRMED                 |NEW
            Summary|[10/11/12 Regression] ICE   |[10/11/12 Regression] ICE
                   |in                          |in
                   |cp_oacc_check_attachments,  |cp_oacc_check_attachments,
                   |at cp/semantics.c:6561      |at cp/semantics.c:6561
                   |                            |since
                   |                            |r10-5596-g519d7496beac32c2

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r10-5596-g519d7496beac32c2, it was rejected before the revision.

[Bug c++/102593] [10/11/12 Regression] ICE in cp_oacc_check_attachments, at cp/semantics.c:6561 since r10-5596-g519d7496beac32c2

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |ice-on-invalid-code
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
I'm not entirely clear on the restrictions on the var-list argument, but "t.a"
can't be valid: "t" is a type, not an expression. 
cp_parser_omp_var_list_no_open mysteriously goes out of its way to accept it
anyway:

          if (identifier_p (name))
            decl = cp_parser_lookup_name_simple (parser, name,
token->location);

this lookup will return any kind of decl.  I don't know what this code is
trying to allow, but the effect is to build a nonsense COMPONENT_REF which
understandably confuses later code.

[Bug c++/102593] [10/11/12/13 Regression] ICE in cp_oacc_check_attachments, at cp/semantics.c:6561 since r10-5596-g519d7496beac32c2

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug c++/102593] [11/12/13/14 Regression] ICE in cp_oacc_check_attachments, at cp/semantics.c:6561 since r10-5596-g519d7496beac32c2

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.