[Bug rtl-optimization/23561] nonoverlapping_memrefs_p returns true even for overlapping memory references

[jakub at gcc dot gnu dot org]

------- Additional Comments From jakub at gcc dot gnu dot org  2005-08-25 15:47 -------
> That is invalid as a.a2 is only 5 in size and "HELLO" is 6 in size.
I know it overlaps into the next field.  Whether it is invalid is unclear to me.
How about memcpy ((char *) &a + offsetof (struct A, a2), "HELLO", 6)?
Is there supposed to be any semantic difference between the 2?

-- 


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