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)>>>
}
}
