[Bug c++/105912] New: internal compiler error: in extract_call_expr, at cp/call.cc:7114

[Bug c++/105912] New: internal compiler error: in extract_call_expr, at cp/call.cc:7114

[ldalessandro at gmail dot com]

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

            Bug ID: 105912
           Summary: internal compiler error: in extract_call_expr, at
                    cp/call.cc:7114
           Product: gcc
           Version: 12.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ldalessandro at gmail dot com
  Target Milestone: ---

Created attachment 53113
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53113&action=edit
output from -freport-bug

ICE in complex constexpr/consteval context. I think this code is invalid.
Debian testing gcc-12.1.
-

[ 83%] Building CXX object tests/CMakeFiles/expressions.dir/expressions.cpp.o
/home/ldalessa/open/ttl/tests/expressions.cpp: In instantiation of ‘constexpr
bool contraction(ttl::utils::type_args<I>) [with T = int]’:
/home/ldalessa/open/ttl/tests/expressions.cpp:589:24:   required from
‘constexpr bool tests(ttl::utils::type_args<I>) [with T = int]’
/home/ldalessa/open/ttl/tests/expressions.cpp:600:19:   required from here
/home/ldalessa/open/ttl/tests/expressions.cpp:149:13: internal compiler error:
in extract_call_expr, at cp/call.cc:7114
  149 |   T dot = a(~i) * a(i);
      |             ^~
0x65a180 extract_call_expr(tree_node*)
        ../../src/gcc/cp/call.cc:7114
0x80b0cb tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        ../../src/gcc/cp/pt.cc:20971
0x819ea1 tsubst_copy_and_build_call_args
        ../../src/gcc/cp/pt.cc:19937
0x80ae60 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        ../../src/gcc/cp/pt.cc:20687
0x80a6a7 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        ../../src/gcc/cp/pt.cc:20322
0x81b618 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../src/gcc/cp/pt.cc:19491
0x822f79 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../src/gcc/cp/pt.cc:16770
0x822f79 tsubst_init
        ../../src/gcc/cp/pt.cc:16774
0x81dc83 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../src/gcc/cp/pt.cc:18643
0x81cb62 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../src/gcc/cp/pt.cc:18462
0x81cb62 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../src/gcc/cp/pt.cc:18476
0x81c158 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../src/gcc/cp/pt.cc:18462
0x81c158 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../src/gcc/cp/pt.cc:18833
0x81ab7c tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
        ../../src/gcc/cp/pt.cc:26412
0x81ab7c instantiate_body
        ../../src/gcc/cp/pt.cc:26412
0x81b439 instantiate_decl(tree_node*, bool, bool)
        ../../src/gcc/cp/pt.cc:26704
0x6d4962 cxx_eval_call_expression
        ../../src/gcc/cp/constexpr.cc:2664
0x6d6f68 cxx_eval_constant_expression
        ../../src/gcc/cp/constexpr.cc:6720
0x6d9011 cxx_eval_constant_expression
        ../../src/gcc/cp/constexpr.cc:6828
0x6d6ebe cxx_eval_constant_expression
        ../../src/gcc/cp/constexpr.cc:7044

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[ldalessandro at gmail dot com]

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

--- Comment #1 from Luke Dalessandro <ldalessandro at gmail dot com> ---
Somewhat reduced testcase:

    template <wchar_t> struct A {};
    template <wchar_t> struct B {};

    template <wchar_t a>
    static consteval auto operator~(A<a>) -> B<a> {
        return {};
    }

    A<'i'> i;

    template <class>
    auto test() -> bool {
        auto ii = ~i;      // ICE HERE
        return true;
    }

    int main()
    {
        bool i = test<int>();
    }

https://godbolt.org/z/rEf4neexc

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
                 CC|                            |mpolacek at gcc dot gnu.org
   Last reconfirmed|                            |2022-06-09
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Thanks for the reduction, confirmed.

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[mpolacek at gcc dot gnu.org]

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
The ICE started with r277733

commit f968ef9b8df2bc2287e5e7e87299e5a2a44e8c94
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Sat Nov 2 00:28:20 2019 +0100

    PR c++/88335 - Implement P1073R3: Immediate functions

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Marek Polacek from comment #3)
> The ICE started with r277733
> 
> commit f968ef9b8df2bc2287e5e7e87299e5a2a44e8c94
> Author: Jakub Jelinek <jakub@redhat.com>
> Date:   Sat Nov 2 00:28:20 2019 +0100
> 
>     PR c++/88335 - Implement P1073R3: Immediate functions

@Marek: Please add to CC author of a revision you bisected to.

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[ppalka at gcc dot gnu.org]

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

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

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

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 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:f70c18524221dcefa6cd26cee7b55503181bd912

commit r13-1688-gf70c18524221dcefa6cd26cee7b55503181bd912
Author: Patrick Palka <ppalka@redhat.com>
Date:   Wed Jul 13 14:02:08 2022 -0400

    c++: non-dependent call to consteval operator [PR105912]

    Here we're crashing when substituting a non-dependent call to a
    consteval operator, whose CALL_EXPR_OPERATOR_SYNTAX flag we try to
    propagate to the result, but the result isn't a CALL_EXPR since the
    selected function is consteval.  This patch fixes this by checking the
    result of extract_call_expr accordingly.  (Note that we can't check
    DECL_IMMEDIATE_FUNCTION_P here because we don't know which function was
    selected by overload resolution from here.)

            PR c++/105912

    gcc/cp/ChangeLog:

            * pt.cc (tsubst_copy_and_build) <case CALL_EXPR>: Guard against
            NULL_TREE extract_call_expr result.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/consteval31.C: New test.

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[ppalka at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.2

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:a074ae297d5dbd69e03c6c30f9cb7720685fdb62

commit r12-8606-ga074ae297d5dbd69e03c6c30f9cb7720685fdb62
Author: Patrick Palka <ppalka@redhat.com>
Date:   Thu Jul 21 12:59:44 2022 -0400

    c++: non-dependent call to consteval operator [PR105912]

    Here we're crashing when substituting a non-dependent call to a
    consteval operator, whose CALL_EXPR_OPERATOR_SYNTAX flag we try to
    propagate to the result, but the result isn't a CALL_EXPR since the
    selected function is consteval.  This patch fixes this by checking the
    result of extract_call_expr accordingly.  (Note that we can't check
    DECL_IMMEDIATE_FUNCTION_P here because we don't know which function was
    selected by overload resolution from here.)

            PR c++/105912

    gcc/cp/ChangeLog:

            * call.cc (extract_call_expr): Return a NULL_TREE on failure
            instead of asserting.
            * pt.cc (tsubst_copy_and_build) <case CALL_EXPR>: Guard against
            NULL_TREE extract_call_expr result.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/consteval31.C: New test.

    (cherry picked from commit f70c18524221dcefa6cd26cee7b55503181bd912)

[Bug c++/105912] internal compiler error: in extract_call_expr, at cp/call.cc:7114

[ppalka at gcc dot gnu.org]

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

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

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

--- Comment #7 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed for GCC 12.2/13