Labels and gotos make programs difficult to analyze statically, since it introduces cycles in the program execution graph.

• 标签和goto使我们难于对程序作静态分析。 这是由于它们在程序的执行流程中引入了许多“怪圈”。