This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/88367] [9 Regression] -fno-delete-null-pointer-checks doesn't work properly
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 05 Dec 2018 17:15:47 +0000
- Subject: [Bug c/88367] [9 Regression] -fno-delete-null-pointer-checks doesn't work properly
- Auto-submitted: auto-generated
- References: <bug-88367-4@http.gcc.gnu.org/bugzilla/>
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]