value flow: Fixed FP for division then check in for loop: 'for (a=b/x;x>0;x--)'