[Bug tree-optimization/90856] [10 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1)

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Less undefined testcase also failing at -O3:

typedef struct { int v; } S1;
typedef struct { S1 s1[32]; } S2;

S1 clearS1() { S1 s; s.v = 1; return s; }

void
clearS2(__seg_gs S2 *p, int n)
{
  for (int i = 0; i < n; ++i)
    p->s1[i] = clearS1();
}

on trunk the issue is SRAs new build_reconstructed_reference which
fails to propagate address-space information from the base to the
model reference.

Testing patch.