编译器会假定有符号加法永不溢出，从而推出某些边界条件不可达并删除相应检查分支，这在-O2以上级别极为常见。