tree-optimization/96522 - transfer of flow-sensitive info in copy_ref_info
authorRichard Biener <rguenther@suse.de>
Thu, 27 Aug 2020 09:48:15 +0000 (11:48 +0200)
committerRichard Biener <rguenther@suse.de>
Thu, 27 Aug 2020 12:25:55 +0000 (14:25 +0200)
commiteb68d9d828f94d28afa5900fbf3072bbcd64ba8a
tree98453eeb9ed43135a20f67b3aa90d011c4b2265d
parentcb3874dcf82bc80c2552ef62f57cf08c28fc686a
tree-optimization/96522 - transfer of flow-sensitive info in copy_ref_info

This removes the bogus tranfer of flow-sensitive info in copy_ref_info
plus fixes one oversight in FRE when flow-sensitive non-NULLness was added to
points-to info.

2020-08-27  Richard Biener  <rguenther@suse.de>

PR tree-optimization/96522
* tree-ssa-address.c (copy_ref_info): Reset flow-sensitive
info of the copied points-to.  Transfer bigger alignment
via the access type.
* tree-ssa-sccvn.c (eliminate_dom_walker::eliminate_stmt):
Reset all flow-sensitive info.

* gcc.dg/torture/pr96522.c: New testcase.
gcc/testsuite/gcc.dg/torture/pr96522.c [new file with mode: 0644]
gcc/tree-ssa-address.c
gcc/tree-ssa-sccvn.c