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]
ftp://ftp.de.debian.org/debian/pool/main/d/drawterm-9front/drawterm-9front_0~git20220608.bee4db6.orig.tar.gz
drawterm-9front-0~git20220608.bee4db6/libsec/x509.c:2105:14: warning: Invalid test for overflow 'p+length<p'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'length<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/e/e2fsprogs/e2fsprogs_1.47.3~rc3.orig.tar.gz
e2fsprogs-1.47.3-rc3/misc/mke2fs.c:433:40: warning: Invalid test for overflow 'len+num>=len'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'num>=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/e/ecasound/ecasound_2.9.3.orig.tar.gz
ecasound-2.9.3/libecasound/audioio-seqbase.cpp:336:44: warning: Invalid test for overflow '(buffersize()-over_child_eof)<buffersize()'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'over_child_eof>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/f/faudio/faudio_25.12+dfsg.orig.tar.xz
FAudio-25.12/src/stb_vorbis.h:1398: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/f/ferret-vis/ferret-vis_7.6.0.orig.tar.xz
ferret-vis-7.6.0/xgks/port/config.c:1516: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]
ferret-vis-7.6.0/xgks/port/config.c:1534: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]