invalidTestForOverflow
ftp://ftp.de.debian.org/debian/pool/main/a/asymptote/asymptote_2.75+ds.orig.tar.gz
asymptote-2.75/cudareflect/tinyexr/examples/exrview/nuklear.h:8456:15: warning: Invalid test for overflow '(s->len-pos)<(s->len)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'pos>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/b/bibledit/bibledit_5.0.964.orig.tar.gz
bibledit-5.0.964/stb/stb_vorbis.c:1404: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/b/bibledit-cloud/bibledit-cloud_5.0.964.orig.tar.gz
bibledit-cloud-5.0.964/stb/stb_vorbis.c:1404: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/b/blastem/blastem_0.6.3.4.orig.tar.gz
blastem-0.6.3.4/nuklear_ui/nuklear.h:7093:15: warning: Invalid test for overflow '(s->len-pos)<(s->len)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'pos>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/c/ccextractor/ccextractor_0.93+ds2.orig.tar.xz
ccextractor-0.93/src/GUI/nuklear_lib/nuklear.h:5915:15: warning: Invalid test for overflow '(s->len-pos)<(s->len)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'pos>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/c/coin3/coin3_4.0.0~CMake~6f54f1602475+ds1.orig.tar.bz2
Coin3D-coin-6f54f1602475/src/io/gzmemio.cpp:811:32: warning: Invalid test for overflow 'file->buflen+offset<=file->buflen'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'offset<=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/c/cpio/cpio_2.13+dfsg.orig.tar.bz2
cpio-2.13/gnu/mktime.c:216:13: warning: Invalid test for overflow '(d)<=(t)+(d)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 't>=0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:216:13: warning: Invalid test for overflow '(t)<=(t)+(d)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'd>=0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:216:13: warning: Invalid test for overflow '(t)+(d)<(d)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 't<0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:421:12: warning: Invalid test for overflow '(delta*direction)<=(t)+(delta*direction)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 't>=0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:421:12: warning: Invalid test for overflow '(t)+(delta*direction)<(delta*direction)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 't<0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:441:3: warning: Invalid test for overflow '(t)-(t0)<=(t)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 't0>=0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:442:3: warning: Invalid test for overflow '(dt)-(negative_offset_guess)<=(dt)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'negative_offset_guess>=0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:451:11: warning: Invalid test for overflow '(sec_adjustment)<=(t)+(sec_adjustment)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 't>=0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:451:11: warning: Invalid test for overflow '(t)<=(t)+(sec_adjustment)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'sec_adjustment>=0'. [invalidTestForOverflow]
cpio-2.13/gnu/mktime.c:451:11: warning: Invalid test for overflow '(t)+(sec_adjustment)<(sec_adjustment)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 't<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/c/cpl-plugin-amber/cpl-plugin-amber_4.4.1+dfsg.orig.tar.xz
amber-4.4.1/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.0.orig.tar.gz
crossfire-client-1.75.0/gtk-v2/src/info.c:1094: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/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/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/e/ecere-sdk/ecere-sdk_0.44.15.orig.tar.bz2
ecere-sdk-0.44.15/compiler/bootstrap/ecere/bootstrap/TempFile.c:536:75: warning: Invalid test for overflow '(int)__ecerePointer___ecereNameSpace__ecere__sys__TempFile->size+pos>=(int)__ecerePointer___ecereNameSpace__ecere__sys__TempFile->size'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'pos>=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/e/edk2/edk2_2021.11.orig.tar.xz
edk2-2021.11/EmbeddedPkg/Library/FdtLib/fdt_rw.c:102:20: warning: Invalid test for overflow '(p+oldlen)<p'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'oldlen<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/f/faudio/faudio_22.01.orig.tar.xz
FAudio-22.01/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]
ftp://ftp.de.debian.org/debian/pool/main/f/ffmpeg/ffmpeg_5.0.orig.tar.xz
ffmpeg-5.0/libavcodec/exr.c:1237:28: warning: Invalid test for overflow 's->xmin+col<s->xmin'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'col<0'. [invalidTestForOverflow]
ffmpeg-5.0/libavcodec/ituh263dec.c:1244:24: warning: Invalid test for overflow 's->pp_time<=s->pp_time-s->pb_time'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
ffmpeg-5.0/libavcodec/mpeg4videodec.c:2921:24: warning: Invalid test for overflow 's->pp_time<=s->pp_time-s->pb_time'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
ffmpeg-5.0/libavcodec/rv10.c:285:51: warning: Invalid test for overflow 's->pp_time<=s->pp_time-s->pb_time'; signed integer 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/freeimage/freeimage_3.18.0+ds2.orig.tar.xz
FreeImage/Source/FreeImageToolkit/Background.cpp:829:18: warning: Invalid test for overflow '(width+right)>width'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'right>0'. [invalidTestForOverflow]
FreeImage/Source/FreeImageToolkit/Background.cpp:830:20: warning: Invalid test for overflow '(height+bottom)>height'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'bottom>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/f/funtools/funtools_1.4.8.orig.tar.gz
funtools-1.4.8/funim.c:366:39: warning: Invalid test for overflow '((unsigned char*)obuf)[index]>(((unsigned char*)obuf)[index]+(unsigned char)vval)'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
funtools-1.4.8/funim.c:389:40: warning: Invalid test for overflow '((unsigned short*)obuf)[index]>(((unsigned short*)obuf)[index]+(unsigned short)vval)'; signed integer 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/fvwm/fvwm_2.6.8.orig.tar.gz
fvwm-2.6.8/modules/FvwmButtons/button.c:488:22: warning: Invalid test for overflow 'old>(old+32)'; signed integer 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/g/gdcm/gdcm_3.0.10.orig.tar.gz
GDCM-3.0.10/Source/MediaStorageAndFileFormat/gdcmIconImageGenerator.cxx:449:24: warning: Invalid test for overflow 'lmin+1>lmin'; 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/g/geda-gaf/geda-gaf_1.8.2.orig.tar.gz
geda-gaf-1.8.2/gschem/src/gschem_cairo.c:199:19: warning: Invalid test for overflow 'start_angle>start_angle+end_angle'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'end_angle<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/g/giac/giac_1.7.0.39+dfsg2.orig.tar.xz
giac-1.7.0/src/global.cc:6281:38: warning: Invalid test for overflow '(line+n)<line'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
giac-1.7.0/src/global.cc:6394:35: warning: Invalid test for overflow '(wline+n)<wline'; 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/g/glfw3/glfw3_3.3.2.orig.tar.gz
glfw-3.3.2/tests/tearing.c:105:35: warning: Invalid test for overflow 'swap_interval+1>swap_interval'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
glfw-3.3.2/tests/tearing.c:114:39: warning: Invalid test for overflow 'swap_interval-1<swap_interval'; 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/g/gnokii/gnokii_0.6.31+dfsg.orig.tar.gz
gnokii-0.6.31/common/cfgreader.c:527:18: warning: Invalid test for overflow 'read+ret<read'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'ret<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/g/gnumach/gnumach_1.8+git20211230.orig.tar.xz
gnumach-1.8+git20211230/linux/pcmcia-cs/modules/rsrc_mgr.c:766:57: warning: Invalid test for overflow 'base+num<=base'; 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/g/gnunet/gnunet_0.15.3.orig.tar.xz
gnunet-0.15.3/src/cadet/gnunet-service-cadet_paths.c:294:30: warning: Invalid test for overflow 'delta+entry->score<entry->score'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'delta<0'. [invalidTestForOverflow]
gnunet-0.15.3/src/cadet/gnunet-service-cadet_paths.c:301:30: warning: Invalid test for overflow 'delta+entry->score>entry->score'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'delta>0'. [invalidTestForOverflow]
gnunet-0.15.3/src/util/gnunet-base32.c:89:26: warning: Invalid test for overflow 'iret+in_size<in_size'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'iret<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/g/go-dlib/go-dlib_5.6.0.9+dfsg.orig.tar.gz
go-lib-5.6.0.9/stb_vorbis/stb_vorbis.c:1035: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/g/godot/godot_3.2.3-stable.orig.tar.gz
godot-3.2.3-stable/thirdparty/libvpx/vp8/decoder/decodeframe.c:771:25: warning: Invalid test for overflow 'start+len>start'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
godot-3.2.3-stable/thirdparty/libvpx/vp8/decoder/decodeframe.c:1036:55: warning: Invalid test for overflow 'data+first_partition_length_in_bytes<data'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'first_partition_length_in_bytes<0'. [invalidTestForOverflow]
godot-3.2.3-stable/thirdparty/libvpx/vp8/vp8_dx_iface.c:160:23: warning: Invalid test for overflow 'data+data_sz<=data'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
godot-3.2.3-stable/thirdparty/libvpx/vp9/vp9_dx_iface.c:132:22: warning: Invalid test for overflow 'data+data_sz<=data'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
godot-3.2.3-stable/thirdparty/misc/stb_vorbis.c:1389: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/g/graphviz/graphviz_2.42.2.orig.tar.bz2
graphviz-2.42.2/lib/sparse/SparseMatrix.c:1431:15: warning: Invalid test for overflow '(nz+1)<=nz'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
graphviz-2.42.2/lib/sparse/SparseMatrix.c:1601:17: warning: Invalid test for overflow '(nz+1)<=nz'; signed integer 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/g/grcompiler/grcompiler_5.2.orig.tar.gz
grcompiler-5.2/compiler/Generic/UtilString_i.cpp:272:4: warning: Invalid test for overflow 'cchCur+cchDst>cchCur'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'cchDst>0'. [invalidTestForOverflow]
grcompiler-5.2/compiler/Generic/UtilString_i.cpp:281:4: warning: Invalid test for overflow 'cchCur+cchDst>cchCur'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'cchDst>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/h/haproxy/haproxy_2.5.1.orig.tar.gz
haproxy-2.5.1/src/h1.c:57:8: warning: Invalid test for overflow 'cl+c<cl'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
haproxy-2.5.1/src/ssl_sock.c:1791:43: warning: Invalid test for overflow 'msg+rec_len<msg'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'rec_len<0'. [invalidTestForOverflow]
haproxy-2.5.1/src/ssl_sock.c:1825:43: warning: Invalid test for overflow 'msg+rec_len<msg'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'rec_len<0'. [invalidTestForOverflow]
haproxy-2.5.1/src/ssl_sock.c:1846:55: warning: Invalid test for overflow 'msg+rec_len<msg'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'rec_len<0'. [invalidTestForOverflow]
haproxy-2.5.1/src/ssl_sock.c:1860:50: warning: Invalid test for overflow 'msg+rec_len<msg'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'rec_len<0'. [invalidTestForOverflow]
haproxy-2.5.1/src/ssl_sock.c:1875:50: warning: Invalid test for overflow 'msg+rec_len<msg'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'rec_len<0'. [invalidTestForOverflow]
haproxy-2.5.1/src/tools.c:2268:14: warning: Invalid test for overflow 'i+j<i'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'j<0'. [invalidTestForOverflow]
haproxy-2.5.1/src/tools.c:2279:14: warning: Invalid test for overflow 'i-j>i'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'j<0'. [invalidTestForOverflow]
haproxy-2.5.1/src/tools.c:2312:14: warning: Invalid test for overflow 'i+j<i'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'j<0'. [invalidTestForOverflow]
haproxy-2.5.1/src/tools.c:2323:14: warning: Invalid test for overflow 'i-j>i'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'j<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/h/hedgewars/hedgewars_1.0.0.orig.tar.bz2
hedgewars-src-1.0.0/QTfrontend/campaign.cpp:73:26: warning: Invalid test for overflow 'progress>(progress-missionInList)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'missionInList>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/h/htslib/htslib_1.14+ds.orig.tar.bz2
htslib-1.14/sam.c:3345:33: warning: Invalid test for overflow 'l->alloc>=l->alloc-line_frag'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'line_frag>=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/h/hurd/hurd_0.9.git20211230.orig.tar.bz2
hurd-0.9.git20211230/ext2fs/pager.c:1052:8: warning: Invalid test for overflow 'disk_cache_info[index].ref_count+1>disk_cache_info[index].ref_count'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
hurd-0.9.git20211230/ext2fs/pager.c:1189:4: warning: Invalid test for overflow 'disk_cache_info[index].ref_count+1>disk_cache_info[index].ref_count'; 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/i/insighttoolkit5/insighttoolkit5_5.2.1.orig.tar.xz
InsightToolkit-5.2.1/Modules/ThirdParty/GDCM/src/gdcm/Source/MediaStorageAndFileFormat/gdcmIconImageGenerator.cxx:449:24: warning: Invalid test for overflow 'lmin+1>lmin'; 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/i/ipxe/ipxe_1.0.0+git-20190125.36a4c85.orig.tar.xz
ipxe-1.0.0+git-20190125.36a4c85/src/core/malloc.c:222:47: warning: Invalid test for overflow '((void*)block+block->size)>((void*)block)'; pointer 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/j/jabberd2/jabberd2_2.7.0.orig.tar.gz
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:242:7: warning: Invalid test for overflow '(*buflen+12)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:248:9: warning: Invalid test for overflow '(*buflen+2)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:257:13: warning: Invalid test for overflow '(*buflen+4)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:262:9: warning: Invalid test for overflow '(*buflen+2)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:268:9: warning: Invalid test for overflow '(*buflen+2)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:277:13: warning: Invalid test for overflow '(*buflen+3)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:282:9: warning: Invalid test for overflow '(*buflen+2)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:288:9: warning: Invalid test for overflow '(*buflen+6)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:293:9: warning: Invalid test for overflow '(*buflen+2)>*buflen'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
jabberd2-jabberd-2.7.0/storage/storage_oracle.c:327:3: warning: Invalid test for overflow '(buflen+5)>buflen'; 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/j/jpeg-xl/jpeg-xl_0.7.0~git20220120.0647da4+ds.orig.tar.xz
jpeg-xl-0.7.0~git20220120.0647da4/lib/extras/dec/pnm.cc:172:18: warning: Invalid test for overflow 'pos_+1<pos_'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
jpeg-xl-0.7.0~git20220120.0647da4/lib/jxl/codec_y4m_testonly.cc:111:20: warning: Invalid test for overflow 'pos_+len<pos_'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
jpeg-xl-0.7.0~git20220120.0647da4/lib/jxl/codec_y4m_testonly.cc:122:18: warning: Invalid test for overflow 'pos_+1<pos_'; 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/k/kexec-tools/kexec-tools_2.0.22.orig.tar.xz
kexec-tools-2.0.22/kexec/libfdt/fdt.c:82:23: 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]
kexec-tools-2.0.22/kexec/libfdt/fdt.c:88:14: warning: Invalid test for overflow 'p+len<p'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'len<0'. [invalidTestForOverflow]
kexec-tools-2.0.22/kexec/libfdt/fdt_sw.c:81:20: 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]
kexec-tools-2.0.22/kexec/libfdt/fdt_rw.c:102:20: warning: Invalid test for overflow '(p+oldlen)<p'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'oldlen<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/k/kodi/kodi_19.3+dfsg1.orig.tar.xz
xbmc/network/Socket.cpp:174:15: warning: Invalid test for overflow 'port<=port+range'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'range>=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/l/lcov/lcov_1.15.orig.tar.xz
lcov-1.15/example/methods/iterate.c:33:17: warning: Invalid test for overflow 'total+i<total'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'i<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/liba/libav/libav_11.12.orig.tar.xz
libav-11.12/libavcodec/ituh263dec.c:1095:24: warning: Invalid test for overflow 's->pp_time<=s->pp_time-s->pb_time'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
libav-11.12/libavcodec/mpeg4videodec.c:2148:24: warning: Invalid test for overflow 's->pp_time<=s->pp_time-s->pb_time'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
libav-11.12/libavcodec/rv10.c:410:28: warning: Invalid test for overflow 's->pp_time<=s->pp_time-s->pb_time'; signed integer 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/libg/libgadu/libgadu_1.12.2.orig.tar.gz
libgadu-1.12.2/src/handlers.c:885:32: warning: Invalid test for overflow 'p+count*sizeof(uin_t)<p'; 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/libk/libkml/libkml_1.3.0~r864+dfsg.orig.tar.gz
libkml-1.3.0~r864/third_party/zlib-1.2.3/contrib/minizip/iomem_simple.c:70:60: warning: Invalid test for overflow '(size-offset)<=size'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'offset>=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/libl/liblivemedia/liblivemedia_2018.11.26.orig.tar.gz
live/liveMedia/RTSPServer.cpp:713:36: warning: Invalid test for overflow 'tmpPtr+2+contentLength<tmpPtr+2'; 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/libm/libmaus2/libmaus2_2.0.806+ds.orig.tar.xz
libmaus2-2.0.806-release-20211016174753/src/libmaus2/lz/lz4.c:634:31: warning: Invalid test for overflow 'lz4ds->base-delta>lz4ds->base'; 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/libm/libmwaw/libmwaw_0.3.21.orig.tar.xz
libmwaw-0.3.21/src/lib/Canvas5Structure.cxx:156:52: warning: Invalid test for overflow 'pos+dataLength<pos'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'dataLength<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/Canvas5Structure.cxx:338:28: warning: Invalid test for overflow 'pos+16+len<pos+16'; 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]
libmwaw-0.3.21/src/lib/Canvas5Image.cxx:714:40: warning: Invalid test for overflow 'pos+24+len<pos+24'; 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]
libmwaw-0.3.21/src/lib/Canvas5Image.cxx:788:28: warning: Invalid test for overflow 'pos+44+len<pos+44'; 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]
libmwaw-0.3.21/src/lib/Canvas5Parser.cxx:543:17: warning: Invalid test for overflow 'pos+len>=pos'; 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]
libmwaw-0.3.21/src/lib/Canvas5Parser.cxx:1372:32: warning: Invalid test for overflow 'actPos+22+l<actPos+22'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'l<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/Canvas5Parser.cxx:1492:16: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/Canvas5Parser.cxx:1992:63: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/Canvas5Parser.cxx:2484:43: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/Canvas5Parser.cxx:3441:34: warning: Invalid test for overflow 'pos+18+decal<pos+18'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'decal<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/Canvas5StyleManager.cxx:638:28: warning: Invalid test for overflow 'pos+headerLen+dataLen<pos+headerLen'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'dataLen<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/Canvas5Graph.cxx:549:31: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/Canvas5Graph.cxx:580:19: warning: Invalid test for overflow 'pos+4+zLen<pos+4'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'zLen<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/Canvas5Graph.cxx:1127:25: warning: Invalid test for overflow 'pos+l<pos'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'l<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/MacWrtProParser.cxx:1055:39: warning: Invalid test for overflow 'pos+sz<pos'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'sz<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/ScoopParser.cxx:1029:29: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ScoopParser.cxx:1220:27: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ScoopParser.cxx:1447:27: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ScoopParser.cxx:1506:16: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ScoopParser.cxx:1783:18: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ReadySetGoParser.cxx:717:18: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ReadySetGoParser.cxx:1002:22: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ReadySetGoParser.cxx:1764:32: warning: Invalid test for overflow 'pos+6+len<pos+6'; 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]
libmwaw-0.3.21/src/lib/ReadySetGoParser.cxx:2138:30: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ReadySetGoParser.cxx:2226:18: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/ScriptWriterParser.cxx:808:16: warning: Invalid test for overflow 'pos+4+len<pos+4'; 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]
libmwaw-0.3.21/src/lib/WingzGraph.cxx:853:33: warning: Invalid test for overflow 'pos+textSize<pos'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'textSize<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/WordMakerParser.cxx:306:35: warning: Invalid test for overflow 'pos+8+dataLen<pos+8'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'dataLen<0'. [invalidTestForOverflow]
libmwaw-0.3.21/src/lib/WordMakerParser.cxx:885:35: warning: Invalid test for overflow 'pos+8+dataLen<pos+8'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'dataLen<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/libo/libowfat/libowfat_0.30.orig.tar.xz
libowfat-0.30/scan/scan_short.c:28:13: warning: Invalid test for overflow 'n+c<n'; signed integer 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/libp/libplist/libplist_2.2.0.orig.tar.bz2
libplist-2.2.0/src/bplist.c:840:43: warning: Invalid test for overflow 'offset_table+offset_table_size<offset_table'; 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/libs/libstb/libstb_0.0~git20210910.af1a5bc+ds.orig.tar.xz
libstb-0.0~git20210910.af1a5bc/stb_vorbis.c:1404: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/libv/libvpx/libvpx_1.11.0.orig.tar.gz
libvpx-1.11.0/vp8/encoder/boolhuff.h:50:19: warning: Invalid test for overflow 'start+len>start'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
libvpx-1.11.0/vp8/decoder/decodeframe.c:928:68: warning: Invalid test for overflow 'data+first_partition_length_in_bytes<data'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'first_partition_length_in_bytes<0'. [invalidTestForOverflow]
libvpx-1.11.0/vp8/vp8_dx_iface.c:135:22: warning: Invalid test for overflow 'data+data_sz<=data'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
libvpx-1.11.0/vp9/vp9_dx_iface.c:102:22: warning: Invalid test for overflow 'data+data_sz<=data'; 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/libw/libwpd/libwpd_0.10.3.orig.tar.xz
libwpd-0.10.3/src/lib/WP3VariableLengthGroup.cpp:87:28: warning: Invalid test for overflow 'startPosition+size<startPosition'; signed integer 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/l/linux-tools/linux-tools_3.16.56.orig.tar.xz
linux-tools-3.16.56/scripts/dtc/libfdt/fdt.c:88:14: warning: Invalid test for overflow 'p+len<p'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
linux-tools-3.16.56/scripts/dtc/libfdt/fdt_rw.c:102:20: warning: Invalid test for overflow '(p+oldlen)<p'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'oldlen<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/l/lucene++/lucene++_3.0.8.orig.tar.gz
LucenePlusPlus-rel_3.0.8/src/test/util/NumericUtilsTest.cpp:392:24: warning: Invalid test for overflow 'lower+len<lower'; 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/m/memtest86/memtest86_4.3.7.orig.tar.gz
src/test.c:198:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:243:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:331:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:384:21: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:516:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:560:21: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:628:21: warning: Invalid test for overflow 'pe-0x4000000<pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:715:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:784:21: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:890:49: warning: Invalid test for overflow 'pe-0x4000000<pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:1011:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:1056:21: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:1117:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:1197:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:1276:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:1362:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:1443:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
src/test.c:1482:20: warning: Invalid test for overflow 'pe+0x4000000>pe'; pointer 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/m/motif/motif_2.3.8.orig.tar.gz
motif-2.3.8/lib/Xm/Region.c:2429:7: warning: Invalid test for overflow '(y1)<(y1+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]
motif-2.3.8/lib/Xm/Region.c:2437:5: warning: Invalid test for overflow '(y1)<(y1+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/m/mutt/mutt_2.1.4.orig.tar.gz
mutt-2.1.4/rfc2047.c:382:19: warning: Invalid test for overflow 'd+n>d'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
mutt-2.1.4/rfc2047.c:535:21: warning: Invalid test for overflow 't+n>=t'; pointer 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/n/ncbi-blast+/ncbi-blast+_2.12.0+ds.orig.tar.xz
ncbi-blast-2.12.0+-src/c++/src/objmgr/seq_vector.cpp:390:23: warning: Invalid test for overflow 'src+count>=src'; pointer 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/n/ncbi-vdb/ncbi-vdb_2.11.2+dfsg.orig.tar.xz
ncbi-vdb-2.11.2/libs/kdb/wcolidx.c:349:48: warning: Invalid test for overflow '(loc->start_id+loc->id_range)<=loc->start_id'; signed integer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
ncbi-vdb-2.11.2/libs/kdb/wcolidx0.c:506:52: warning: Invalid test for overflow '(loc->start_id+loc->id_range)>loc->start_id'; 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/o/openjdk-7-jre-dcevm/openjdk-7-jre-dcevm_7u60.orig.tar.gz
hotspot-jdk7u60-b09/src/share/vm/gc_implementation/parNew/asParNewGeneration.cpp:430:35: warning: Invalid test for overflow 'eden_start+alignment>=eden_start'; pointer 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/o/openjdk-8-jre-dcevm/openjdk-8-jre-dcevm_8u181.orig.tar.gz
hotspot-jdk8u181-b13/src/share/vm/gc_implementation/parNew/asParNewGeneration.cpp:430:35: warning: Invalid test for overflow 'eden_start+alignment>=eden_start'; pointer 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/o/openjpeg/openjpeg_1.5.2.orig.tar.gz
openjpeg-1.5.2/libopenjpeg/cio.c:191:24: warning: Invalid test for overflow '(cio->bp+n)>=cio->bp'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'n>=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/p/pdbg/pdbg_3.3.orig.tar.xz
pdbg-3.3/libfdt/fdt_rw.c:102:20: warning: Invalid test for overflow '(p+oldlen)<p'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'oldlen<0'. [invalidTestForOverflow]
pdbg-3.3/src/tests/p9_scominfo.C:1324:69: warning: Invalid test for overflow '(l_ring-l_sat_id)<l_ring'; 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/p/poppler/poppler_21.11.0.orig.tar.xz
poppler-21.11.0/fofi/FoFiBase.cc:210:96: warning: Invalid test for overflow 'pos+size>=pos'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'size>=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/p/psicode/psicode_3.4.0.orig.tar.gz
psi3/src/lib/libdpd/contract244.cc:130:21: warning: Invalid test for overflow 'core_total>(core_total+Z_core)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'Z_core<0'. [invalidTestForOverflow]
psi3/src/lib/libdpd/contract244.cc:135:19: warning: Invalid test for overflow 'core_total>(core_total+Z_core)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'Z_core<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/p/psychtoolbox-3/psychtoolbox-3_3.0.17.12.dfsg1.orig.tar.gz
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:625:24: warning: Invalid test for overflow 'y0+y<y0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y<0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:632:24: warning: Invalid test for overflow 'y0-y<y0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y>0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:639:24: warning: Invalid test for overflow 'y0+x<y0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x<0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:646:25: warning: Invalid test for overflow 'y0-x<y0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x>0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:688:24: warning: Invalid test for overflow 'y0+y>y0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y>0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:694:25: warning: Invalid test for overflow 'y0-y>y0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y<0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:700:24: warning: Invalid test for overflow 'y0+x>y0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x>0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:706:25: warning: Invalid test for overflow 'y0-x>y0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x<0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:748:25: warning: Invalid test for overflow 'x0+x>x0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x>0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:755:25: warning: Invalid test for overflow 'x0-x>x0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x<0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:761:25: warning: Invalid test for overflow 'x0+y>x0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y>0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:767:25: warning: Invalid test for overflow 'x0-y>x0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y<0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:808:25: warning: Invalid test for overflow 'x0+x<x0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x<0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:812:25: warning: Invalid test for overflow 'x0-x<x0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x>0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:818:25: warning: Invalid test for overflow 'x0+y<x0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y<0'. [invalidTestForOverflow]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Eyelink/PsychEyelink.c:824:25: warning: Invalid test for overflow 'x0-y<x0'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/p/python-crypto/python-crypto_2.6.1.orig.tar.gz
pycrypto-2.6.1/src/strxor.c:45:22: warning: Invalid test for overflow 'src_a+n>src_a'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
pycrypto-2.6.1/src/strxor.c:46:22: warning: Invalid test for overflow 'src_b+n>src_b'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
pycrypto-2.6.1/src/strxor.c:47:21: warning: Invalid test for overflow 'dest+n>dest'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
pycrypto-2.6.1/src/strxor.c:66:20: warning: Invalid test for overflow 'src+n>src'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
pycrypto-2.6.1/src/strxor.c:67:21: warning: Invalid test for overflow 'dest+n>dest'; pointer 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/p/pytorch-vision/pytorch-vision_0.8.2.orig.tar.gz
vision-0.8.2/torchvision/csrc/cpu/decoder/memory_buffer.cpp:35:47: warning: Invalid test for overflow 'len_+offset<=len_'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'offset<=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/q/qtwebkit-opensource-src/qtwebkit-opensource-src_5.212.0~alpha4.orig.tar.xz
qtwebkit-5.212.0-alpha4/Source/WebKit/qt/WebCoreSupport/DumpRenderTreeSupportQt.cpp:359:28: warning: Invalid test for overflow 'location+length<location'; signed integer 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/r/r-cran-spc/r-cran-spc_0.6.5.orig.tar.gz
spc/src/allspc.c:23601:24: warning: Invalid test for overflow 'N+i<N'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'i<0'. [invalidTestForOverflow]
spc/src/allspc.c:23721:24: warning: Invalid test for overflow 'N+i<N'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'i<0'. [invalidTestForOverflow]
spc/src/allspc.c:23982:24: warning: Invalid test for overflow 'N+i<N'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'i<0'. [invalidTestForOverflow]
spc/src/allspc.c:24103:24: warning: Invalid test for overflow 'N+i<N'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'i<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/r/r-cran-wavethresh/r-cran-wavethresh_4.6.8.orig.tar.gz
wavethresh/src/functions.c:5959:33: warning: Invalid test for overflow '(lj-1)>(lj-1+k)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'k<0'. [invalidTestForOverflow]
wavethresh/src/functions.c:6438:33: warning: Invalid test for overflow '(lj-1)>(lj-1+k)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'k<0'. [invalidTestForOverflow]
wavethresh/src/functions.c:6657:33: warning: Invalid test for overflow '(lj-1)>(lj-1+k)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'k<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/r/radvd/radvd_2.18.orig.tar.xz
radvd-2.18/process.c:402:28: warning: Invalid test for overflow 'offset+label_len<offset'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'label_len<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/r/rauc/rauc_1.5.1.orig.tar.xz
rauc-1.5.1/src/verity_hash.c:164:28: warning: Invalid test for overflow '(*hash_position+s)<*hash_position'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 's<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/r/retroarch/retroarch_1.7.3+dfsg1.orig.tar.gz
deps/nuklear/nuklear.h:7090:15: warning: Invalid test for overflow '(s->len-pos)<(s->len)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'pos>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/r/rnp/rnp_0.15.2.orig.tar.gz
rnp-0.15.2/src/librepgp/stream-parse.cpp:805:33: warning: Invalid test for overflow '((uint8_t*)buf+len)<((uint8_t*)buf+len-1)'; 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/r/ruby3.0/ruby3.0_3.0.2.orig.tar.xz
ruby-3.0.2/enumerator.c:3530:30: warning: Invalid test for overflow 'i+unit<i'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'unit<0'. [invalidTestForOverflow]
ruby-3.0.2/enumerator.c:3543:30: warning: Invalid test for overflow 'i+unit>i'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'unit>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/s/scotch/scotch_7.0.0.orig.tar.xz
scotch-7.0.0/src/libscotch/hall_order_hd.c:658:22: warning: Invalid test for overflow 'wflg+norig<=wflg'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'norig<=0'. [invalidTestForOverflow]
scotch-7.0.0/src/libscotch/hall_order_hd.c:760:22: warning: Invalid test for overflow 'wflg+norig<=wflg'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'norig<=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/s/searchandrescue/searchandrescue_1.5.0.orig.tar.gz
searchandrescue_1.5.0/sar/menu.c:4459:16: warning: Invalid test for overflow '(x_min+w)>(w)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'x_min>0'. [invalidTestForOverflow]
searchandrescue_1.5.0/sar/menu.c:4461:16: warning: Invalid test for overflow '(y_min+h)>(h)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'y_min>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/s/skiboot/skiboot_7.0+dfsg.orig.tar.xz
skiboot-7.0+dfsg/libfdt/fdt_rw.c:102:20: warning: Invalid test for overflow '(p+oldlen)<p'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'oldlen<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/s/snort/snort_2.9.15.1.orig.tar.gz
snort-2.9.15.1/src/obfuscation.c:833:50: warning: Invalid test for overflow '(payload_offset+ob_length)<=payload_offset'; signed integer 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/s/sonic-pi/sonic-pi_3.2.2~repack.orig.tar.xz
sonic-pi-3.2.2/app/gui/qt/osc/oscpkt.hh:466:14: warning: Invalid test for overflow 'p+sz<p'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
sonic-pi-3.2.2/app/gui/qt/osc/oscpkt.hh:546:55: warning: Invalid test for overflow 'pos+sz<pos'; 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/s/strace/strace_5.10.orig.tar.xz
strace-5.10/xstring.h:78:19: warning: Invalid test for overflow '(str+size)<str'; 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/t/tcllib/tcllib_1.20+dfsg.orig.tar.xz
tcllib-1.20/modules/struct/stack/s.c:56:6: warning: Invalid test for overflow 'listc-n<(listc)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'n>0'. [invalidTestForOverflow]
tcllib-1.20/modules/struct/stack/s.c:104:6: warning: Invalid test for overflow 'listc-n<(listc)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'n>0'. [invalidTestForOverflow]
tcllib-1.20/modules/struct/stack/s.c:115:6: warning: Invalid test for overflow 'listc-n<(listc)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'n>0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/t/tightvnc/tightvnc_1.3.10.orig.tar.gz
vnc_unixsrc/Xvnc/programs/Xserver/mfb/mfbclip.c:167:4: warning: Invalid test for overflow '(h)<(h+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]
vnc_unixsrc/Xvnc/programs/Xserver/mfb/mfbclip.c:198:4: warning: Invalid test for overflow '(h)<(h+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]
vnc_unixsrc/Xvnc/programs/Xserver/mfb/mfbclip.c:210:6: warning: Invalid test for overflow '(h)<(h+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/u/u-boot/u-boot_2022.01~rc4+dfsg.orig.tar.xz
u-boot-2022.01-rc4/scripts/dtc/libfdt/fdt_rw.c:61:20: warning: Invalid test for overflow '(p+oldlen)<p'; pointer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'oldlen<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/u/ukui-window-switch/ukui-window-switch_3.0.1.orig.tar.gz
ukui-window-switch/src/ukws_stack_blur.cpp:106:21: warning: Invalid test for overflow '(startX)>(i+startX)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'i<0'. [invalidTestForOverflow]
ukui-window-switch/src/ukws_stack_blur.cpp:272:21: warning: Invalid test for overflow '(startY)>(i+startY)'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'i<0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/u/utopia-documents/utopia-documents_2.4.4.orig.tar.bz2
utopia-documents-2.4.4/libcrackle/crackle/libxpdf/xpdf-3.03/fofi/FoFiBase.cc:173:21: warning: Invalid test for overflow 'pos+size>=pos'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'size>=0'. [invalidTestForOverflow]
ftp://ftp.de.debian.org/debian/pool/main/u/utox/utox_0.18.1.orig.tar.gz
uTox/third_party/stb/stb/stb_vorbis.c:1358: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/u/uwsgi/uwsgi_2.0.20.orig.tar.gz
uwsgi-2.0.20/plugins/cgi/cgi_plugin.c:222:35: warning: Invalid test for overflow 'buf+i>buf'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always true. [invalidTestForOverflow]
uwsgi-2.0.20/plugins/cgi/cgi_plugin.c:313:15: warning: Invalid test for overflow 'buf+i>buf'; pointer 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/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/xenomai/xenomai_2.6.3.orig.tar.bz2
xenomai-2.6.3/ksrc/drivers/ipc/rtipc.c:126:24: warning: Invalid test for overflow 'len+l<len'; signed integer overflow is undefined behavior. Some mainstream compilers removes handling of overflows when optimising the code and change the code to 'l<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/x/xrootd/xrootd_5.4.0.orig.tar.gz
xrootd-5.4.0/src/XrdSecztn/XrdSecztn.cc:80:29: warning: Invalid test for overflow '(decode+num_decode)<decode'; pointer overflow is undefined behavior. Some mainstream compilers remove such overflow tests when optimising the code and assume it's always false. [invalidTestForOverflow]
xrootd-5.4.0/src/XrdSecztn/XrdSecztn.cc:80:57: warning: Invalid test for overflow '(out+num_out)<out'; 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/y/yudit/yudit_3.0.7.orig.tar.bz2
yudit-3.0.7/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.92.orig.tar.gz
zbar-0.23.92/zbar/qrcode/qrdec.c:2111:16: 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.92/zbar/qrcode/qrdec.c:2154:16: 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]