goto和void分析