[Bug c++/95963] New: [11 Regression] ICE: Segmentation fault (in contains_struct_check)

[Bug c++/95963] New: [11 Regression] ICE: Segmentation fault (in contains_struct_check)

[asolokha at gmx dot com]

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

            Bug ID: 95963
           Summary: [11 Regression] ICE: Segmentation fault (in
                    contains_struct_check)
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

g++-11.0.0-alpha20200628 snapshot (g:b26fd416fb0a734d3f3e56629b6dff2e3c25dd40)
ICEs when compiling gcc/testsuite/g++.dg/cpp1z/launder7.C or launder2.C w/
-Wnonnull:

% g++-11.0.0 -Wnonnull -c gcc/testsuite/g++.dg/cpp1z/launder7.C
gcc/testsuite/g++.dg/cpp1z/launder7.C: In function 'void bar(A*)':
gcc/testsuite/g++.dg/cpp1z/launder7.C:9:31: internal compiler error:
Segmentation fault
    9 |   __builtin_launder (p)->foo ();
      |                               ^
0x1011d1f crash_signal
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/toplev.c:328
0xad07cf contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/tree.h:3414
0xad07cf check_function_arguments_recurse(void (*)(void*, tree_node*, unsigned
long), void*, tree_node*, unsigned long)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/c-family/c-common.c:5820
0xad1162 check_function_nonnull
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/c-family/c-common.c:5315
0xad1162 check_function_arguments(unsigned int, tree_node const*, tree_node
const*, int, tree_node**, vec<unsigned int, va_heap, vl_ptr>*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/c-family/c-common.c:5764
0x884456 build_over_call
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/call.c:8868
0x88692c build_new_method_call_1
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/call.c:10348
0x88784f build_new_method_call(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, tree_node*, int, tree_node**, int)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/call.c:10423
0x9bf26a cp_parser_postfix_expression
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:7481
0x9a05a9 cp_parser_binary_expression
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:9609
0x9a224e cp_parser_assignment_expression
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:9914
0x9a2613 cp_parser_expression
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:10082
0x9a55d8 cp_parser_expression_statement
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:11742
0x9b0c33 cp_parser_statement
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:11538
0x9b24e8 cp_parser_statement_seq_opt
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:11889
0x9b25c8 cp_parser_compound_statement
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:11839
0x9caab5 cp_parser_function_body
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:23116
0x9caab5 cp_parser_ctor_initializer_opt_and_function_body
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:23167
0x9cdf96 cp_parser_function_definition_after_declarator
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:29063
0x9cefa9 cp_parser_function_definition_from_specifiers_and_declarator
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200628/work/gcc-11-20200628/gcc/cp/parser.c:28979

[Bug c++/95963] [11 Regression] ICE: Segmentation fault (in contains_struct_check)

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
   Last reconfirmed|                            |2020-06-29
             Status|UNCONFIRMED                 |ASSIGNED
                 CC|                            |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
5818      if (TREE_CODE (param) == CALL_EXPR)
5819        {
5820          tree type = TREE_TYPE (TREE_TYPE (CALL_EXPR_FN (param)));
We should add && CALL_EXPR_FN (param) to the condition.  I'll handle it.

[Bug c++/95963] [11 Regression] ICE: Segmentation fault (in contains_struct_check)

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r11-1697

[Bug c++/95963] [11 Regression] ICE: Segmentation fault (in contains_struct_check)

[webrown.cpp at gmail dot com]

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

W E Brown <webrown.cpp at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |webrown.cpp at gmail dot com

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:8dc933c12f489626339b3ba1a8e2dc23eb4de98e

commit r11-1728-g8dc933c12f489626339b3ba1a8e2dc23eb4de98e
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue Jun 30 11:42:54 2020 +0200

    c-family: Avoid ICEs on calls to internal functions [PR95963]

    The following testcase ICEs since recent Martin's -Wnonnull changes,
    we see a CALL_EXPR and ICE because CALL_EXPR_FN is NULL, which is
    valid for internal function calls.  Internal function calls don't have a
    function type, and will never have format_arg attribute on them nor will
    serve as the i18n routines -Wformat cares about.

    2020-06-30  Jakub Jelinek  <jakub@redhat.com>

            PR c++/95963
            * c-common.c (check_function_arguments_recurse): Don't crash on
            calls to internal functions.

            * g++.dg/cpp1z/launder9.C: New test.

[Bug c++/95963] [11 Regression] ICE: Segmentation fault (in contains_struct_check)

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.