Uncomment loop detection.

This commit is contained in:
Can Bölük 2020-08-22 06:34:14 +02:00
parent e9323a0dbb
commit 38c882e75f

View file

@ -308,13 +308,12 @@ namespace vtil
{
// Determine whether we're in a loop or not.
//
bool potential_loop = true;
bool potential_loop = false;
// Determine whether this block can be the entry/exit to a loop.
//
//for ( auto& it : it_list )
// potential_loop |= it.block->owner->has_path( it.block, lookup.at.block );
//potential_loop &= it_list.size() > 1;
for ( auto& next : lookup.at.block->prev )
potential_loop |= next->owner->has_path_bwd( next, lookup.at.block );
// If block does not touch our variable, skip the logic.
//