4.3.27.2 -Nlevel=2

分析整个程序，包括全局数据和控制流。报告发生在某些程序执行路径上的无条件错误。