[FIXED] infinite loop. The code in ExtendedCallGraph did not consider cycles in def-use chains. For instance, with instructions like these     %2 = phi i64 [ %5, %1 ], [ ptrtoint (void ()** @__init_array_start to i64), %.preheader ]     %5 = add i64 %2, 8
[FIXED] infinite loop.
The code in ExtendedCallGraph did not consider cycles in def-use chains.
For instance, with instructions like these
    %2 = phi i64 [ %5, %1 ], [ ptrtoint (void ()** @__init_array_start to i64), %.preheader ]
    %5 = add i64 %2, 8

ashish-gehani/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM