http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59642
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Marc Glisse from comment #1) > I've noticed the same in other PRs, normally we manage to track the actual > value of *p, but we don't manage that when *p was written by __builtin_mem*, > which should still be doable: PR 58483 has an example with memcpy.