[Bug tree-optimization/122225] New: [15/16 Regression] ICE in dom with -O1 -fprofile-use -fno-thread-jumps

[sjames at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 122225
           Summary: [15/16 Regression] ICE in dom with -O1 -fprofile-use
                    -fno-thread-jumps
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sjames at gcc dot gnu.org
                CC: pinskia at gcc dot gnu.org, sjames at gcc dot gnu.org,
                    ville.voutilainen at gmail dot com, zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu

Created attachment 62527
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62527&action=edit
signature.cpp

+++ This bug was initially created as a clone of Bug #122185 +++

Splitting out https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122185#c19

"""
This is probably the best I can provide:
$ x86_64-pc-linux-gnu-gcc -fno-thread-jumps -O -fprofile-use -std=gnu++20
signature4.cpp -w
signature4.cpp: In member function 'ValueType
nlohmann::NLOHMANN_JSON_NAMESPACE_CONCAT0::basic_json<
<template-parameter-1-1>, <template-parameter-1-2>, <template-parameter-1-3>
>::get_impl(int) [with ValueType = std::__cxx11::basic_string<char>; typename
std::enable_if<nlohmann::NLOHMANN_JSON_NAMESPACE_CONCAT0::detail::has_from_json<nlohmann::NLOHMANN_JSON_NAMESPACE_CONCAT0::basic_json<
<template-parameter-1-1>, <template-parameter-1-2>, <template-parameter-1-3> >,
ValueType>::value, int>::type <anonymous> = 0; StringType =
std::__cxx11::basic_string<char>; BooleanType = bool; CustomBaseClass = void]':
signature4.cpp:58:163: error: invalid conversion in return statement
   58 | :enable_if_t<           detail::has_from_json< basic_json_t, ValueType
>::value, int > = 0 >   ValueType get_impl(int) noexcept(noexcept(      
from_json(std::declval< basic_json_t >, std::declval< ValueType >))) {
      |                                                                        
                                 ^~~~~~~~
struct basic_string

const struct basic_string *

# VUSE <.MEM_76>
return _13;
during GIMPLE pass: dom
signature4.cpp:58:163: internal compiler error: verify_gimple failed
0x2ef576c internal_error(char const*, ...)
        /repo/gcc-trunk/gcc/diagnostic-global-context.cc:786
0x19782fd verify_gimple_in_cfg(function*, bool, bool)
        /repo/gcc-trunk/gcc/tree-cfg.cc:5603
0x17d448a execute_function_todo
        /repo/gcc-trunk/gcc/passes.cc:2097
0x17d495e execute_todo
        /repo/gcc-trunk/gcc/passes.cc:2149
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
"""