projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d80f0a8) | patch
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>
Wed, 22 Jan 2020 11:38:12 +0000 (12:38 +0100)
commit2b85c0882205c31987ac26ffc49351a3af3b537c
tree3e990b8c6ea83b58521a2877b35fb9e665f82f7etree
parentd80f0a8dc9c2e5886bb79bddee2674e1d3f9d105commit | diff
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 diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/torture/pr93381.c [new file with mode: 0644] blob
gcc/tree-ssa-structalias.c diff | blob | history