]> gcc.gnu.org Git - 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>
Wed, 22 Jan 2020 11:38:12 +0000 (12:38 +0100)
commit2b85c0882205c31987ac26ffc49351a3af3b537c
tree3e990b8c6ea83b58521a2877b35fb9e665f82f7e
parentd80f0a8dc9c2e5886bb79bddee2674e1d3f9d105
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
This page took 0.064814 seconds and 5 git commands to generate.