--TEST-- Check that SCCP correctly handles non-terminating frees of loop variables --FILE-- --EXPECT-- int(2)