https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81601
--- Comment #12 from Aldy Hernandez <aldyh at redhat dot com> ---
The warning occurs in vrp1, not evrp, but for the record...
evrp dump:
tcp_chrono_set (struct tcp_sock * tp)
{
int type;
<unnamed-unsigned:2> _1;
int _2;
unsigned char _3;
unsigned char _4;
<bb 2> :
_1 = tp_11(D)->chrono_type;
_2 = (int) _1;
if (_1 == 0)
goto <bb 3>; [INV]
else
goto <bb 5>; [INV]
<bb 3> :
_3 = BIT_FIELD_REF <*tp_11(D), 8, 96>;
_4 = _3 & 3;
if (_4 != 0)
goto <bb 4>; [INV]
else
goto <bb 5>; [INV]
<bb 4> :
tp_11(D)->chrono_stat[-1] = 1234;
<bb 5> :
return;
}
vrp1 dump with ASSERT_EXPRs:
<bb 2> [local count: 1073741825]:
_1 = tp_6(D)->chrono_type;
tp_8 = ASSERT_EXPR <tp_6(D), tp_6(D) != 0B>;
if (_1 == 0)
goto <bb 3>; [50.00%]
else
goto <bb 5>; [50.00%]
<bb 3> [local count: 536870912]:
_2 = BIT_FIELD_REF <*tp_8, 8, 96>;
_3 = _2 & 3;
if (_3 != 0)
goto <bb 4>; [50.00%]
else
goto <bb 5>; [50.00%]
<bb 4> [local count: 268435456]:
tp_8->chrono_stat[-1] = 1234;
vrp1 dump after ASSERT_EXPRs have been removed:
<bb 2> [local count: 1073741825]:
_1 = tp_6(D)->chrono_type;
if (_1 == 0)
goto <bb 3>; [50.00%]
else
goto <bb 5>; [50.00%]
<bb 3> [local count: 536870912]:
_2 = BIT_FIELD_REF <*tp_6(D), 8, 96>;
_3 = _2 & 3;
if (_3 != 0)
goto <bb 4>; [50.00%]
else
goto <bb 5>; [50.00%]
<bb 4> [local count: 268435456]:
tp_6(D)->chrono_stat[-1] = 1234;
On Wed, Jan 17, 2018 at 2:19 PM, law at redhat dot com
<gcc-bugzi...@gcc.gnu.org> wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81601
>
> --- Comment #11 from Jeffrey A. Law <law at redhat dot com> ---
> What do the dumps look like? In particular evrp & vrp1?
>
> --
> You are receiving this mail because:
> You are on the CC list for the bug.
> You are the assignee for the bug.
