C++编译器优化产生的bug

long length = OSS_INT64_MAX - 1;

long offset = OSS_INT64_MAX - 1;

if (offset < 0) // check 1

{

　　rc = SDB_INVALIDARG;

　　goto error;

}

if (0 == length || length < -1) // check 2

{

　　rc = SDB_INVALIDARG;

　　goto error;

}

if (length > 0 && offset + length < 0) // check 3

{

　　rc = SDB_INVALIDARG;

　　goto error;

}

“check 3”的目的是校验offset + length 的值是否溢出。在debug编译下，“check 3”会执行。但在release模式下，“check 3”不会执行。原因估计是在release模式下，编译器根据“check 1”和“check 2”判断，觉得“check 3”是多余的，于是把这段代码优化删除掉了。

为了绕过这个优化，可如下修改源码：

 

if (length > 0 && （OSS_INT64_MAX  - offset - length） < 0) // check 3

{

　　rc = SDB_INVALIDARG;

　　goto error;

}