[Bug middle-end/19410] Overlapping memcpy with big struct copies (ACATS c64106a)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 23:36 -------
If this is anything, this is a testuite bug:
                    REC2 := PKG.REC2;
REC2 is passed in:
          PKG.CHK_RECTYPE1 (PKG.REC1, PKG.REC2, PKG.REC3);

Or a middle-end one for using memcpy as it assumes the two structs are going to point to two diffrent 
positions.

This can be reproduced with the following C example:
struct A
{
  int a[1024];
};
void g(struct A *a, struct A *b)
{
  *a = *b;
}
struct A c;
int main(void)
{
  g(&c, &c);
}

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|ada                         |middle-end
     Ever Confirmed|                            |1
           Keywords|                            |wrong-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-01-12 23:36:15
               date|                            |
            Summary|ACATS c64106a - valgrind    |Overlapping memcpy with big
                   |detects wrong code          |struct copies (ACATS
                   |(overlapping memcpy)        |c64106a)
            Version|tree-ssa                    |4.0.0


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