[Bug c++/114349] New: [14 regression] ICE when building qtwebengine (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[Bug c++/114349] New: [14 regression] ICE when building qtwebengine (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[sjames at gcc dot gnu.org]

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

            Bug ID: 114349
           Summary: [14 regression] ICE when building qtwebengine
                    (cxx_eval_call_expression, at cp/constexpr.cc:3027)
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sjames at gcc dot gnu.org
  Target Milestone: ---

Created attachment 57709
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57709&action=edit
quic_config.ii.xz

```
# g++ -c quic_config.ii -std=gnu++14
In file included from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/third_party/abseil-cpp/absl/container/internal/raw_hash_map.h:24,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/third_party/abseil-cpp/absl/container/node_hash_map.h:47,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/quiche/common/platform/impl/quiche_unordered_containers_impl.h:10,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/third_party/quiche/src/common/platform/api/quiche_unordered_containers.h:10,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/third_party/quiche/src/common/simple_linked_hash_map.h:26,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/quic/platform/impl/quic_containers_impl.h:14,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/third_party/quiche/src/quic/platform/api/quic_containers.h:8,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/third_party/quiche/src/quic/core/quic_types.h:18,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/third_party/quiche/src/quic/core/quic_data_reader.h:11,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/third_party/quiche/src/quic/core/crypto/transport_parameters.h:12,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/third_party/quiche/src/quic/core/quic_config.h:12,
                 from
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/net/third_party/quiche/src/quic/core/quic_config.cc:5:
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/third_party/abseil-cpp/absl/container/internal/raw_hash_set.h:
In instantiation of ‘void absl::container_internal::raw_hash_set<Policy, Hash,
Eq, Alloc>::swap(absl::container_internal::raw_hash_set<Policy, Hash, Eq,
Alloc>&) [with Policy = absl::container_internal::FlatHashMapPolicy<long
unsigned int, std::__cxx11::basic_string<char> >; Hash =
absl::hash_internal::Hash<long unsigned int>; Eq = std::equal_to<long unsigned
int>; Alloc = std::allocator<std::pair<const long unsigned int,
std::__cxx11::basic_string<char> > >]’:
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/third_party/abseil-cpp/absl/container/internal/raw_hash_set.h:911:5:
  required from ‘absl::container_internal::raw_hash_set<Policy, Hash, Eq,
Alloc>& absl::container_internal::raw_hash_set<Policy, Hash, Eq,
Alloc>::operator=(const absl::container_internal::raw_hash_set<Policy, Hash,
Eq, Alloc>&) [with Policy = absl::container_internal::FlatHashMapPolicy<long
unsigned int, std::__cxx11::basic_string<char> >; Hash =
absl::hash_internal::Hash<long unsigned int>; Eq = std::equal_to<long unsigned
int>; Alloc = std::allocator<std::pair<const long unsigned int,
std::__cxx11::basic_string<char> > >]’
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/third_party/abseil-cpp/absl/container/internal/raw_hash_map.h:31:7:
  required from here
../../../../qtwebengine-5.15.12_p20240122/src/3rdparty/chromium/third_party/abseil-cpp/absl/container/internal/raw_hash_set.h:1248:41:
internal compiler error: in cxx_eval_call_expression, at cp/constexpr.cc:3027
0x55787cc4db95 cxx_eval_call_expression
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:3027
0x55787e3763f2 cxx_eval_constant_expression
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:7535
0x55787e3762b0 cxx_eval_constant_expression
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:7661
0x55787e88d43e cxx_bind_parameters_in_call(constexpr_ctx const*, tree_node*,
tree_node*, bool*, bool*, bool*) [clone .constprop.0]
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:1885
0x55787e50b834 cxx_eval_call_expression
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:3035
0x55787e3763f2 cxx_eval_constant_expression
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:7535
0x55787eac67ef cxx_eval_logical_expression
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:5117
0x55787e3768f4 cxx_eval_constant_expression
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:7955
0x55787e36b978 cxx_eval_outermost_constant_expr
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:8833
0x55787e38618e cxx_constant_value(tree_node*, tree_node*, int)
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/constexpr.cc:8989
0x55787e37993c cxx_constant_value(tree_node*, int)
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/cp-tree.h:8671
0x55787e37993c build_noexcept_spec(tree_node*, int)
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/except.cc:1255
0x55787e30bb26 maybe_instantiate_noexcept(tree_node*, int)
        /usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/pt.cc:26893
0x55787e41f457 mark_used(tree_node*, int)
       
/usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/decl2.cc:5857
0x55787ebeee0b tsubst_baselink
        /usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/pt.cc:17168
0x55787e5d18e8 tsubst_expr(tree_node*, tree_node*, int, tree_node*)
        /usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/pt.cc:21101
0x55787e5cfc84 tsubst_expr(tree_node*, tree_node*, int, tree_node*)
        /usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/pt.cc:20735
0x55787e86f401 tsubst_stmt
        /usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/pt.cc:19438
0x55787e86f480 tsubst_stmt
        /usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/pt.cc:18416
0x55787e86f443 tsubst_stmt
        /usr/src/debug/sys-devel/gcc-14.0.9999/gcc-14.0.9999/gcc/cp/pt.cc:18398
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://bugs.gentoo.org/> for instructions.
```

```
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/14/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with:
/var/tmp/portage/sys-devel/gcc-14.0.9999/work/gcc-14.0.9999/configure
--host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr
--bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/14
--includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/14/include
--datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/14
--mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/14/man
--infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/14/info
--with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/14/include/g++-v14
--disable-silent-rules --disable-dependency-tracking
--with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/14/python
--enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt
--disable-werror --with-system-zlib --enable-nls --without-included-gettext
--disable-libunwind-exceptions --enable-checking=yes,extra,rtl,df
--with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 14.0.9999 p,
commit 4e3f1da7f6c300d2e89a00922177e6195d217e41' --with-gcc-major-version-only
--enable-libstdcxx-time --enable-lto --disable-libstdcxx-pch --enable-shared
--enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu
--enable-multilib --with-multilib-list=m32,m64 --disable-fixed-point
--enable-targets=all --enable-libgomp --disable-libssp --disable-libada
--disable-cet --disable-systemtap --disable-valgrind-annotations
--disable-vtable-verify --disable-libvtv --with-zstd --without-isl
--enable-default-pie --enable-host-pie --disable-host-bind-now
--enable-default-ssp --disable-fixincludes --with-build-config='bootstrap-O3
bootstrap-lto'
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.1 20240313 (experimental)
f6d9426b5bb3592fc33ea91420d13e4a1a64f8ab (Gentoo 14.0.9999 p, commit
4e3f1da7f6c300d2e89a00922177e6195d217e41)
```

[Bug c++/114349] [14 regression] ICE when building qtwebengine (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0
           Keywords|                            |ice-on-valid-code

[Bug c++/114349] [14 regression] ICE when building qtwebengine with -std=gnu++14 (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[sjames at gcc dot gnu.org]

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

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
ice-on-invalid reduction:
```
struct integral_constant {
} template <bool> using __bool_constant integral_constant;
template <template typename>
, typename, typename > using ExtractOrT integral_constant;
template <typename T> using GetPropagateOnContainerSwap T;
using propagate_on_container_swap =
    ExtractOrT<GetPropagateOnContainerSwap, int, __bool_constant<false>>;
struct Hash;
         template < class > constexpr IsNoThrowSwappable(__bool_constant< true
>;
         template < class Alloc > struct raw_hash_set {
  using allocator_type = Alloc;                   operator=(raw_hash_set )
noexcept(IsNoThrowSwappable< allocator_type >(                             
propagate_on_container_swap{      }              );        }
         struct flat_hash_map : raw_hash_set< int > {       }
         template < typename, typename, typename > using QuicHashMapImpl
flat_hash_map;
         template < typename Key, typename Value = Key > using QuicHashMap
QuicHashMapImpl< Key, Value, Hash >;
         typedef QuicHashMap< int > ParameterMap;
         ParameterMap custom_transport_parameters_to_send_;
         ParameterMap custom_parameters {
custom_parameters = custom_transport_parameters_to_send_
```

[Bug c++/114349] [14 regression] ICE when building qtwebengine with -std=gnu++14 (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Trying to reduce this again on GCC 13 preprocessed source with checking against
GCC 13 to avoid turning it into ice-on-invalid-code.

[Bug c++/114349] [14 regression] ICE when building qtwebengine with -std=gnu++14 (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-03-15
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.  Started with r14-9339-gdc6c3bfb59baab, so mine, sigh.

commit dc6c3bfb59baab28b998e18396c06087b6d9b0ed
Author: Marek Polacek <polacek@redhat.com>
Date:   Tue Mar 5 13:33:10 2024 -0500

    c++: ICE with noexcept and local specialization [PR114114]


I'll wait for Jakub's reduction.

[Bug c++/114349] [14 regression] ICE when building qtwebengine with -std=gnu++14 (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reduced testcase:
using A = struct {};
template <template <typename> class, typename, typename>
using B = A;
template <typename T>
using C = typename T::D;
struct E {
  using D = B<C, int, A>;
};
template <class> constexpr bool foo (A) { return false; }
template <class T> struct F {
  using G = T;
  using H = E;
  F(const F &); 
  void operator=(F) noexcept(foo <G> (H::D{}));
};
template <typename, typename, typename>
using I = F<int>;
template <typename K, typename V, typename H = K>
using J = I<K, V, H>;
struct K {
  typedef J<long, char> L;
  L k;
  K();
};
struct M {
  bool bar () const;
  K::L m;
};
K n;
bool M::bar () const { n.k = m; return true; }

[Bug c++/114349] [14 regression] ICE when building qtwebengine with -std=gnu++14 (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[sjames at gcc dot gnu.org]

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

--- Comment #5 from Sam James <sjames at gcc dot gnu.org> ---
From my overnight run, just for completeness:
```
struct a {};
template <int> using b = a;
template <template <typename> class, typename, typename> using c = a;
template <typename g> using d = g;
template <class> constexpr int e(b<1>) { return 1; }
template <class f> struct o {
  void operator=(o) noexcept(e<f>(c<d, int, b<1>>{}));
};
template <typename, typename, typename> using h = o<int>;
template <typename i, typename j, typename k = i> using l = h<i, j, k>;
l<int, int> m, n;
void p() { m = n; }
```

[Bug c++/114349] [14 regression] ICE when building qtwebengine with -std=gnu++14 (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:8651991fe2ea90a7276e91673b15b5c3865f14d7

commit r14-9659-g8651991fe2ea90a7276e91673b15b5c3865f14d7
Author: Marek Polacek <polacek@redhat.com>
Date:   Fri Mar 15 09:23:28 2024 -0400

    c++: ICE with noexcept and local specialization, again [PR114349]

    Patrick noticed that my r14-9339-gdc6c3bfb59baab patch is wrong;
    we're dealing with a noexcept-spec there, not a noexcept-expr, so
    setting cp_noexcept_operand et al is incorrect.  Back to the drawing
    board then.

    To fix noexcept84.C, we should probably avoid doing push_to_top_level
    in certain cases.  maybe_push_to_top_level didn't work here as-is, so
    I changed it to not push to top level if decl_function_context is
    non-null, when we are not dealing with a lambda.

    This also fixes c++/114349, introduced by r14-9339.

            PR c++/114349

    gcc/cp/ChangeLog:

            * name-lookup.cc (maybe_push_to_top_level): For a non-lambda,
            don't push to top level if decl_function_context is non-null.
            * pt.cc (maybe_instantiate_noexcept): Use maybe_push_to_top_level.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/noexcept85.C: New test.
            * g++.dg/cpp0x/noexcept86.C: New test.

[Bug c++/114349] [14 regression] ICE when building qtwebengine with -std=gnu++14 (cxx_eval_call_expression, at cp/constexpr.cc:3027)

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed.