https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97806
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
int b;
long c;
int g();
void h(long *);
void i(long *);
void d() {
int e, f = b - e;
if (g())
h(&c + f);
else
i(&c + f);
__builtin_memset(0, 0, f * 8);
}
heh, quite simple - so much for test coverage :/
