Infinite Loop

CoFlo 0.0.4′s rendering of an infinite loop.  Note the Impossible edge added between the last statement of the loop and the subgraph leading to the EXIT vertex.  This is added to maintain the CFG property that the EXIT vertex postdominates all other nodes in the graph and to maintain connectedness.

CoFlo 0.0.4's rendering of an infinite loop

The code this was generated from:

extern int printf();

int main()
{
 while(1)
 {
  // Should never leave this loop.
  printf("Looping forever.\n");
 }
 return 1;
}
Be Sociable, Share!