[Bug tree-optimization/58404] New: &noninvariant_address not forwproped into ->handled_component

["jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58404

            Bug ID: 58404
           Summary: &noninvariant_address not forwproped into
                    ->handled_component
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org

On:

struct S { int s; };
S a[1024];

void
foo ()
{
  for (int i = 0; i < 1024; i++)
    {
      S &r = a[i];
      r.s++;
    }
}

we don't forwprop
  r_4 = &a[i_9];
  r_4->s = 2;
even when a[i_9].s is valid is_gimple_val.  Seen on libgomp.c++/simd-6.C on
gomp-4_0-branch.