https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88367
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The dumps aren't very readable with all the instrumentations.
Anyway, if I look at -fdump-tree-all-lineno dumps, I see:
[/root/src/vzkernel/lib//kmapset.c:47:8] goto <bb 19>; [100.00%]
...
<bb 19> [local count: 2396963771]:
# link_a_99 = PHI <[/root/src/vzkernel/lib//kmapset.c:43:9] _96(13),
[/root/src/vzkernel/lib//kmapset.c:52:10] _115(18)>
# link_b_101 = PHI <[/root/src/vzkernel/lib//kmapset.c:45:9] _98(13),
[/root/src/vzkernel/lib//kmapset.c:54:10] _117(18)>
# DEBUG link_b => link_b_101
# DEBUG link_a => link_a_99
[/root/src/vzkernel/lib//kmapset.c:47:9] _118 =
[/root/src/vzkernel/lib//kmapset.c:47:9]
&[/root/src/vzkernel/lib//kmapset.c:47:16] link_a_99->ma
p_link;
[/root/src/vzkernel/lib//kmapset.c:47:8] if (_118 != 0B)
goto <bb 14>; [96.34%]
else
goto <bb 20>; [3.66%]
still in thread1 dump, but not in vrp1 dump.
In -fdump-tree-vrp1-lineno-details-alias dump I see:
Visiting statement:
[/root/src/vzkernel/lib//kmapset.c:47:9] # PT = nonlocal escaped null
_118 = [/root/src/vzkernel/lib//kmapset.c:47:9]
&[/root/src/vzkernel/lib//kmapset.c:47:16] link_a_99->map_link;
Found new range for _118: struct hlist_node * ~[0B, 0B]
