6while有限循环分析