-exx编译器选项添加了Resume支持加上数组边界和空指针检查（包括过程指针）的错误检查。