[Bug tree-optimization/77648] [5/6/7 Regression] Setting conversion to a integer to double to 0 3/4 through a loop

[rguenth at gcc dot gnu.org]

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

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Sep 21 07:38:33 2016
New Revision: 240303

URL: https://gcc.gnu.org/viewcvs?rev=240303&root=gcc&view=rev
Log:
2016-09-21  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/77648
        * tree-ssa-structalias.c (process_constraint): Handle all DEREF
        with complex RHS.
        (make_transitive_closure_constraints): Adjust comment.
        (make_any_offset_constraints): New function.
        (handle_rhs_call): Make sure to first expand a pointer to all
        subfields before transitively closing it.
        (handle_const_call): Likewise.  Properly expand returned
        pointers as well.
        (handle_pure_call): Likewise.

        * gcc.dg/torture/pr77648-1.c: New testcase.
        * gcc.dg/torture/pr77648-2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr77648-1.c
    trunk/gcc/testsuite/gcc.dg/torture/pr77648-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-structalias.c