https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92957
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |49774
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
restrict info is there, the only issue is we have different cliques from
different inline instances (I guess).
<bb 2> [local count: 1073741824]:
_5 = MEM[(union any &)b_2(D) clique 3 base 2].st;
if (_5 <= 3)
goto <bb 3>; [50.00%]
else
goto <bb 4>; [50.00%]
<bb 3> [local count: 536870913]:
MEM[(union any *)a_4(D) clique 3 base 1].st = _5;
MEM[(union any &)b_2(D) clique 3 base 2].st = 0;
goto <bb 5>; [100.00%]
<bb 4> [local count: 536870913]:
# PT = nonlocal escaped
_3 = (void *) _5;
MEM[(struct exception_ptr *)a_4(D) clique 4 base 1]._M_exception_object = _3;
MEM[(union any *)b_2(D) clique 3 base 2].st = 0;
<bb 5> [local count: 1073741824]:
_6 = MEM[(const union any *)a_4(D) clique 2 base 1];
_7 = _6 + 18446744073709551614;
if (_7 <= 1)
goto <bb 6>; [41.00%]
else
goto <bb 7>; [59.00%]
<bb 6> [local count: 440234148]:
_8 = MEM[(int &)b_2(D) + 8 clique 6 base 0];
MEM[(struct _Head_base *)a_4(D) + 8B clique 6 base 1]._M_head_impl = _8;
<bb 7> [local count: 1073741824]:
return;
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49774
[Bug 49774] [meta-bug] restrict qualification aliasing issues
