Example 7: A sample algorithm with funciton pointers

Repeat
        loop for each p in PCG
	     do intra-procedural analysis, update p.Exit and r.Entry
        end loop

        update the PCG using new function pointer aliases
        
	loop for each new procedure p added to PCG
	    initialize p.Entry and p.Exit
        end loop

Until,  for each p in PCG,  p.Entry and p.Exit converge