https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93491
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixing this FAILs the testcase for PR88087
FAIL: gcc.dg/tree-ssa/pr88087.c scan-tree-dump pre "Eliminated: 1"
which exactly asks for this kind of transform:
int f();
int d;
void c()
{
for (;;)
{
f();
int (*fp)() __attribute__((const)) = (void *)f;
d = fp();
}
}
/* We shouldn't ICE and hoist the const call of fp out of the loop. */
