invalidTestForOverflow
ftp://ftp.de.debian.org/debian/pool/main/a/ascii-patrol/ascii-patrol_1.7+dfsg.orig.tar.xz
ascii-patrol-1.7/stb_vorbis.cpp:1369:75: warning: Invalid test for overflow 'f->stream_start+loc<f->stream_start'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/v/vmem/vmem_1.8.orig.tar.gz
vmem-1.8/src/common/os_windows.c:324:19: warning: Invalid test for overflow 'offset+len<offset'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'len<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/x/xgks/xgks_2.6.1+dfsg.2.orig.tar.gz
xgks-2.6.1+dfsg.2/src/port/misc/config.c:1522:17: warning: Invalid test for overflow 'int_min-1<int_min'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
xgks-2.6.1+dfsg.2/src/port/misc/config.c:1540:17: warning: Invalid test for overflow 'minneri-1<minneri'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/y/yudit/yudit_3.1.0.orig.tar.bz2
yudit-3.1.0/swindow/SFontOTF.cpp:1650:48: warning: Invalid test for overflow 'glyph+glyphCount>=glyph'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/z/zbar/zbar_0.23.93.orig.tar.gz
zbar-0.23.93/zbar/qrcode/qrdec.c:2297:19: warning: Invalid test for overflow 'rv+drv>rv'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'drv>0'. [invalidTestForOverflow]
zbar-0.23.93/zbar/qrcode/qrdec.c:2346:19: warning: Invalid test for overflow 'bu+dbu>bu'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'dbu>0'. [invalidTestForOverflow]