>>102
コンパイラの教科書の、フローグラフとかいうところを読みましょう。