[Bug c++/100344] New: compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[Bug c++/100344] New: compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[unlvsur at live dot com]

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

            Bug ID: 100344
           Summary: compiler ICE internal compiler error: in build_call_a,
                    at cp/call.c:38
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: unlvsur at live dot com
  Target Milestone: ---

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[unlvsur at live dot com]

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

--- Comment #1 from cqwrteur <unlvsur at live dot com> ---
D:\hg\fast_io\.tmp\dragonboxtest>g++ -o a a.cc -Ofast -std=c++20 -s -flto
-march=native -Wall -Wextra
In file included from ../../include/fast_io_core_impl/codecvt/impl.h:7,
                 from ../../include/fast_io_core.h:91,
                 from ../../include/fast_io_freestanding.h:12,
                 from ../../include/fast_io_hosted.h:17,
                 from ../../include/fast_io.h:9,
                 from a.cc:1:
../../include/fast_io_core_impl/codecvt/general.h: In instantiation of
'constexpr dest_char_type*
fast_io::details::codecvt::general_code_cvt_full(const src_char_type*, const
src_char_type*, dest_char_type*) [with fast_io::encoding_scheme src_encoding =
fast_io::encoding_scheme::execution_charset; fast_io::encoding_scheme encoding
= fast_io::encoding_scheme::utf_le; src_char_type = char; dest_char_type =
char16_t]':
../../include/fast_io_hosted/platforms/win32_path_dealer.h:25:109:   required
from 'constexpr fast_io::details::win32_path_dealer::win32_path_dealer(const
from_char_type*, std::size_t) [with from_char_type = char; std::size_t = long
long unsigned int]'
../../include/fast_io_hosted/platforms/win32.h:99:42:   required from 'void*
fast_io::details::win32_create_file_impl(fast_io::basic_cstring_view<char_type>,
const fast_io::details::win32_open_mode&) [with char_type = char]'
../../include/fast_io_hosted/platforms/win32.h:775:69:   required from
'fast_io::basic_win32_file<ch_type>::basic_win32_file(fast_io::cstring_view,
fast_io::open_mode, fast_io::perms) [with ch_type = char; fast_io::cstring_view
= fast_io::basic_cstring_view<char>]'
../../include/fast_io_hosted/file_loaders/win32_file_loader.h:61:13:   required
from 'auto
fast_io::win32::details::win32_load_file_impl(fast_io::basic_cstring_view<char_type>,
fast_io::perms) [with char_type = char]'
../../include/fast_io_hosted/file_loaders/win32_file_loader.h:112:48:  
required from here
../../include/fast_io_core_impl/codecvt/general.h:430:98: internal compiler
error: in build_call_a, at cp/call.c:381
  430 |                 return
general_code_cvt_full<get_execution_charset_encoding_scheme<src_char_type>(src_encoding),
      |                                             
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2021-04-29
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Testcase?

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[unlvsur at live dot com]

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

--- Comment #3 from cqwrteur <unlvsur at live dot com> ---
(In reply to Marek Polacek from comment #2)
> Testcase?

i can only provide preprocess file

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[unlvsur at live dot com]

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

--- Comment #4 from cqwrteur <unlvsur at live dot com> ---
Created attachment 50713
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50713&action=edit
Preprocess

sorry. the file was too large.

It looks like it is an issue related to constexpr evaluation.

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|1                           |0
           Keywords|                            |needs-reduction
             Status|WAITING                     |UNCONFIRMED

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[dcb314 at hotmail dot com]

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

David Binderman <dcb314 at hotmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com

--- Comment #5 from David Binderman <dcb314 at hotmail dot com> ---
Created attachment 50718
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50718&action=edit
gzipped C++ source code

I see a similar error. Preprocessed C++ source code attached.

I will reduce the code, using cvise.

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[dcb314 at hotmail dot com]

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

--- Comment #6 from David Binderman <dcb314 at hotmail dot com> ---
The bug first seems to occur sometime between git hash 
b58dc0b803057c0e, dated 20210429, and 17f2908fcf058e14, dated
20210430.

I have a poor record with git bisect, so I will leave that 
to someone else more competent.

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[dcb314 at hotmail dot com]

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

--- Comment #7 from David Binderman <dcb314 at hotmail dot com> ---
Reduced C++ code seems to be:

template <int __v> struct integral_constant {
  static constexpr int value = __v;
};
template <typename> constexpr long find_index() { return 1; }
template <typename... Ts>
using find_index_checked = integral_constant<find_index<Ts...>()>;
template <typename> class Trans_NS_mpark_variant {};
template <long, typename... Ts> void get(Trans_NS_mpark_variant<Ts...>);
template <typename... Ts> void get(Trans_NS_mpark_variant<Ts...> v) {
  get<find_index_checked<Ts...>::value>(v);
}
void TestBody() {
  Trans_NS_mpark_variant<float> w;
  get(w);
}

[Bug c++/100344] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[unlvsur at live dot com]

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

--- Comment #8 from cqwrteur <unlvsur at live dot com> ---
I think this relates to the changes jicama did yesterday. Maybe he can help us
fix it?

[Bug c++/100344] [12 Regression] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0
           Keywords|needs-reduction             |ice-on-valid-code
   Last reconfirmed|2021-04-29 00:00:00         |2021-04-30
             Status|UNCONFIRMED                 |NEW
            Summary|compiler ICE internal       |[12 Regression] compiler
                   |compiler error: in          |ICE internal compiler
                   |build_call_a, at            |error: in build_call_a, at
                   |cp/call.c:38                |cp/call.c:38
           Priority|P3                          |P1
     Ever confirmed|0                           |1

--- Comment #9 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed, started with r12-295.

[Bug c++/100344] [12 Regression] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[ppalka at gcc dot gnu.org]

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

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

[Bug c++/100344] [12 Regression] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[unlvsur at live dot com]

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

--- Comment #10 from cqwrteur <unlvsur at live dot com> ---
(In reply to Marek Polacek from comment #9)
> Confirmed, started with r12-295.

thank you

[Bug c++/100344] [12 Regression] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[cvs-commit at gcc dot gnu.org]

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

--- Comment #11 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:eef4fa6968ae0682679c27dae06409db3d113d5d

commit r12-391-geef4fa6968ae0682679c27dae06409db3d113d5d
Author: Patrick Palka <ppalka@redhat.com>
Date:   Mon May 3 13:35:26 2021 -0400

    c++: mark_used and ADL with template-id [PR100344]

    My r11-295 patch for PR68942 didn't consider that the callee of an
    ADL-eligible function call can be a TEMPLATE_ID_EXPR, and we don't want
    to disable mark_used when substituting into the template arguments of
    this TEMPLATE_ID_EXPR because the arguments are clearly used regardless
    of the outcome of ADL.  In the first testcase below, this oversight
    causes us to trip over the assert in build_call_a for the call to
    find_index<int> because the function no longer had its TREE_USED bit set
    from mark_used.

    So this patch restricts the original fix to disable mark_used only when
    the callee is a FUNCTION_DECL, which seems to be the only case that
    matters for PR68942.  For instance, in the second testcase below we
    already don't mark_used the deleted function specialization even before
    r11-295.

    gcc/cp/ChangeLog:

            PR c++/68942
            PR c++/100344
            * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: Set tf_conv
            only when the callee is a FUNCTION_DECL.

    gcc/testsuite/ChangeLog:

            PR c++/68942
            PR c++/100344
            * g++.dg/template/call8.C: New test.
            * g++.dg/template/koenig12a.C: New test.

[Bug c++/100344] [12 Regression] compiler ICE internal compiler error: in build_call_a, at cp/call.c:38

[ppalka at gcc dot gnu.org]

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

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

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

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