[Bug c++/105838] [11/12 Regression] g++ 12.1.0 runs out of memory or time when building const std::vector of std::strings

["fxcoudert at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> changed:

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

--- Comment #25 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
The new test (g++.dg/tree-ssa/initlist-opt5.C) fails on darwin. The gimple dump
is like this:

void f (const char * p)
{
  const struct basic_string * retval.0;
  const struct basic_string * D.24981;
  const struct basic_string * D.24982;
  long int D.24983;
  struct allocator D.24824;
  struct initializer_list lst;
  const struct basic_string D.24980[72];

  try
    {
      lst = {};
      lst._M_len = 72;
      D.24981 = &D.24980;
      D.24982 = D.24981;
      D.24983 = 71;
      try
        {
          _4 = D.24982;
          try
            {
              std::allocator<char>::allocator (&D.24824);
              try
                {
                  std::__cxx11::basic_string<char>::basic_string (_4, "aahing",
&D.24824);
                  D.24982 = D.24982 + 32;
                  D.24983 = D.24983 + -1;
                  _5 = D.24982;
                  std::__cxx11::basic_string<char>::basic_string (_5, "aaliis",
&D.24824);
                  D.24982 = D.24982 + 32;
                  D.24983 = D.24983 + -1;
                  _6 = D.24982;
                  std::__cxx11::basic_string<char>::basic_string (_6, "aarrgh",
&D.24824);
                  D.24982 = D.24982 + 32;
                  D.24983 = D.24983 + -1;
                  _7 = D.24982;
[...]
                  std::__cxx11::basic_string<char>::basic_string (_75,
"absent", &D.24824);
                  D.24982 = D.24982 + 32;
                  D.24983 = D.24983 + -1;
                  retval.0 = D.24981;
                  D.24983 = 71;
                  lst._M_array = &D.24980;
                }
              finally
                {
                  std::allocator<char>::~allocator (&D.24824);
                }
            }
          finally
            {
              D.24824 = {CLOBBER(eol)};
            }
        }
      catch
        {
          {
            const struct basic_string * D.24984;

            if (D.24981 != 0B) goto <D.27734>; else goto <D.27735>;
            <D.27734>:
            _1 = 71 - D.24983;
            _2 = (sizetype) _1;
            _3 = _2 * 32;
            D.24984 = D.24981 + _3;
            <D.27736>:
            if (D.24984 == D.24981) goto <D.27737>; else goto <D.27738>;
            <D.27738>:
            D.24984 = D.24984 + 18446744073709551584;
            std::__cxx11::basic_string<char>::~basic_string (D.24984);
            goto <D.27736>;
            <D.27737>:
            goto <D.27739>;
            <D.27735>:
            <D.27739>:
          }
        }
      try
        {
          g (&lst);
        }
      finally
        {
          {
            const struct basic_string * D.24985;

            D.24985 = &D.24980 + 2304;
            <D.27740>:
            if (&D.24980 == D.24985) goto <D.27741>; else goto <D.27742>;
            <D.27742>:
            D.24985 = D.24985 + 18446744073709551584;
            std::__cxx11::basic_string<char>::~basic_string (D.24985);
            goto <D.27740>;
            <D.27741>:
          }
        }
    }
  finally
    {
      lst = {CLOBBER(eol)};
      D.24980 = {CLOBBER(eol)};
    }
}


__attribute__((always_inline))
void std::allocator<char>::allocator (struct allocator * const this)
{
  try
    {
      {
        std::__new_allocator<char>::__new_allocator (this);
        try
          {

          }
        catch
          {
            std::__new_allocator<char>::~__new_allocator (this);
          }
      }
    }
  catch
    {
      <<<eh_must_not_throw (terminate)>>>
    }
}


__attribute__((always_inline))
void std::__new_allocator<char>::__new_allocator (struct __new_allocator *
const this)
{
  try
    {
      {

      }
    }
  catch
    {
      <<<eh_must_not_throw (terminate)>>>
    }
}


__attribute__((always_inline))
void std::allocator<char>::~allocator (struct allocator * const this)
{
  try
    {
      {
        try
          {

          }
        finally
          {
            std::__new_allocator<char>::~__new_allocator (this);
          }
      }
    }
  catch
    {
      <<<eh_must_not_throw (terminate)>>>
    }
}


void std::__new_allocator<char>::~__new_allocator (struct __new_allocator *
const this)
{
  try
    {
      {

      }
    }
  catch
    {
      <<<eh_must_not_throw (terminate)>>>
    }
}