]> git.ipfire.org Git - people/ms/gcc.git/commit
tree-optimization/93381 fix integer offsetting in points-to analysis
authorRichard Biener <rguenther@suse.de>
Wed, 22 Jan 2020 11:38:12 +0000 (12:38 +0100)
committerRichard Biener <rguenther@suse.de>
Fri, 14 Feb 2020 10:50:15 +0000 (11:50 +0100)
commitb00c3228041bfb450e3fec21fe424f5f322f23b3
tree73e222a58f9d62e3945648ca0b58a98341bae731
parent03d2b1d79740c5b2d05bbf84af2dbaf2e1e80ebb
tree-optimization/93381 fix integer offsetting in points-to analysis

We were incorrectly assuming a merge operation is conservative enough
for not explicitely handled operations but we also need to consider
offsetting within fields when field-sensitive analysis applies.

2020-01-22  Richard Biener  <rguenther@suse.de>

PR tree-optimization/93381
* tree-ssa-structalias.c (find_func_aliases): Assume offsetting
throughout, handle all conversions the same.

* gcc.dg/torture/pr93381.c: New testcase.
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr93381.c [new file with mode: 0644]
gcc/tree-ssa-structalias.c