https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93381

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Guenther <rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:2b85c0882205c31987ac26ffc49351a3af3b537c

commit r10-6141-g2b85c0882205c31987ac26ffc49351a3af3b537c
Author: Richard Biener <rguent...@suse.de>
Date:   Wed Jan 22 12:38:12 2020 +0100

    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  <rguent...@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.

Reply via email to