}
}
}
-
- /* Within unreachable code, there might be memory loops without Phis. */
- if (phi_list == NULL)
- return;
+ /* no Phis no fun */
+ assert(phi_list != NULL && "DFS found a loop without Phi");
/* for now, we cannot handle more than one input (only reducible cf) */
if (phi_list->next != NULL)