]> gcc.gnu.org Git - gcc.git/commit
tree-optimization/115236 - more points-to *ANYTHING = x fixes
authorRichard Biener <rguenther@suse.de>
Mon, 27 May 2024 08:41:02 +0000 (10:41 +0200)
committerRichard Biener <rguenther@suse.de>
Tue, 28 May 2024 12:35:35 +0000 (14:35 +0200)
commitc08b0d3f7b3539b26031de31d88dea6b94474577
tree6a39dd8f4b636828d32f683173046cfcf4fd0a4b
parent19cc61111120087619b496732b249b48b1fbe27e
tree-optimization/115236 - more points-to *ANYTHING = x fixes

The stored-to ANYTHING handling has more holes, uncovered by treating
volatile accesses as ANYTHING.  We fail to properly build the
pred and succ graphs, in particular we may not elide direct nodes
from receiving from STOREDANYTHING.

PR tree-optimization/115236
* tree-ssa-structalias.cc (build_pred_graph): Properly
handle *ANYTHING = X.
(build_succ_graph): Likewise.  Do not elide direct nodes
from receiving from STOREDANYTHING.

* gcc.dg/pr115236.c: New testcase.
gcc/testsuite/gcc.dg/pr115236.c [new file with mode: 0644]
gcc/tree-ssa-structalias.cc
This page took 0.069758 seconds and 6 git commands to generate.