invalidTestForOverflow
ftp://ftp.de.debian.org/debian/pool/main/c/cpl-plugin-amber/cpl-plugin-amber_4.4.3+dfsg.orig.tar.xz
amber-4.4.3/amber/amdmsCalibration.c:699:35: warning: Invalid test for overflow 'calData->ny<(calData->ny-iW)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'iW<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/c/crm114/crm114_20100106.orig.tar.gz
crm114-20100106-BlameMichelson.src/crm_svm_matrix_util.c:208:22: warning: Invalid test for overflow 'c+A->first_elt<A->first_elt'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'c<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/c/crossfire-client/crossfire-client_1.75.5.orig.tar.gz
crossfire-client-1.75.5/gtk-v2/src/info.c:1096:39: warning: Invalid test for overflow 'info_buffer[loop].age<info_buffer[loop].age+1'; 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/c/cryptominisat/cryptominisat_5.11.21+dfsg1.orig.tar.xz
cryptominisat-5.11.21/src/solver.cpp:5555:39: warning: Invalid test for overflow 'orig_max_props+5000>orig_max_props'; 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/c/cvs-fast-export/cvs-fast-export_1.59.orig.tar.gz
cvs-fast-export-1.59/generate.c:442:33: warning: Invalid test for overflow 'line1+nlines<line1'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'nlines<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/d/dbus-broker/dbus-broker_37.orig.tar.xz
dbus-broker-37/subprojects/libcdvar-1/src/c-dvar-reader.c:638:66: warning: Invalid test for overflow 'var->n_root_type+(uint8_t)types->length>=(uint8_t)types->length'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
dbus-broker-37/subprojects/libcdvar-1/src/c-dvar-writer.c:297:68: warning: Invalid test for overflow 'var->n_root_type+(uint8_t)types->length>=(uint8_t)types->length'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]