integerOverflowCond
ftp://ftp.de.debian.org/debian/pool/main/f/firmware-tomu/firmware-tomu_2.0~rc7.orig.tar.xz
toboot-2.0-rc7/toboot/dfu.c:297:42: warning: Either the condition 'i<32' is redundant or there is signed integer overflow for expression '1<<i'. [integerOverflowCond]
ftp://ftp.de.debian.org/debian/pool/main/f/fuzzel/fuzzel_1.12.0+ds.orig.tar.xz
fuzzel/xmalloc.c:76:27: warning: Either the condition 'n==2147483647' is redundant or there is signed integer overflow for expression 'n+1'. [integerOverflowCond]
fuzzel/xmalloc.c:77:34: warning: Either the condition 'n==2147483647' is redundant or there is signed integer overflow for expression 'n+1'. [integerOverflowCond]
ftp://ftp.de.debian.org/debian/pool/main/g/gap-guava/gap-guava_3.20+ds.orig.tar.xz
gap-guava-3.20+ds/src/leon/src/orblist.c:139:60: warning: Either the condition 'argc>1' is redundant or there is signed integer overflow for expression 'argc-1'. [integerOverflowCond]
ftp://ftp.de.debian.org/debian/pool/main/g/genometools/genometools_1.6.6+ds.orig.tar.xz
genometools-1.6.6/src/core/bitpackstringop16.c:526:24: warning: Either the condition 'numBits<16' is redundant or there is signed integer overflow for expression '(~(uint16_t)0)<<numBits'. [integerOverflowCond]
genometools-1.6.6/src/core/bitpackstringop16.c:558:28: warning: Either the condition 'numBits<16' is redundant or there is signed integer overflow for expression '(~(uint16_t)0)<<numBits'. [integerOverflowCond]
genometools-1.6.6/src/core/bitpackstringop16.c:604:28: warning: Either the condition 'numBits<16' is redundant or there is signed integer overflow for expression '(~(uint16_t)0)<<numBits'. [integerOverflowCond]
genometools-1.6.6/src/core/bitpackstringop8.c:526:23: warning: Either the condition 'numBits<8' is redundant or there is signed integer overflow for expression '(~(uint8_t)0)<<numBits'. [integerOverflowCond]
genometools-1.6.6/src/core/bitpackstringop8.c:558:27: warning: Either the condition 'numBits<8' is redundant or there is signed integer overflow for expression '(~(uint8_t)0)<<numBits'. [integerOverflowCond]
genometools-1.6.6/src/core/bitpackstringop8.c:604:27: warning: Either the condition 'numBits<8' is redundant or there is signed integer overflow for expression '(~(uint8_t)0)<<numBits'. [integerOverflowCond]
ftp://ftp.de.debian.org/debian/pool/main/g/gl4es/gl4es_1.1.6+ds.orig.tar.xz
gl4es-1.1.6/src/gl/decompress.c:255:48: warning: Either the condition 'alphaCodeIndex<=12' is redundant or there is signed integer overflow for expression 'alphaCodeIndex-16'. [integerOverflowCond]
ftp://ftp.de.debian.org/debian/pool/main/g/glpk/glpk_5.0.orig.tar.gz
glpk-5.0/src/misc/mygmp.c:280:58: warning: Either the condition 'xval!=0x80000000' is redundant or there is signed integer overflow for expression 'x->val+y->val'. [integerOverflowCond]
ftp://ftp.de.debian.org/debian/pool/main/g/gmap/gmap_2025-07-31+ds.orig.tar.xz
gmap-2025-07-31/src/oligoindex_hr.c:9071:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*9)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9088:34: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(32-2*9)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9117:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*9)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9175:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*8)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9192:34: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(32-2*8)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9221:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*8)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9279:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*7)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9296:34: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(32-2*7)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9325:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*7)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9383:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*6)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9400:34: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(32-2*6)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9429:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*6)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9487:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*5)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9504:34: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(32-2*5)'. [integerOverflowCond]
gmap-2025-07-31/src/oligoindex_hr.c:9533:33: warning: Either the condition 'pos>=startdiscard' is redundant or there is signed integer overflow for expression '2*pos-(64-2*5)'. [integerOverflowCond]
ftp://ftp.de.debian.org/debian/pool/main/g/golly/golly_3.3.orig.tar.gz
golly-3.3-src/gollybase/qlifealgo.cpp:165:15: warning: Either the condition 'max>500000000' is redundant or there is signed integer overflow for expression '8*max'. [integerOverflowCond]
golly-3.3-src/gollybase/qlifealgo.cpp:165:21: warning: Either the condition 'max>500000000' is redundant or there is signed integer overflow for expression '8*max-121'. [integerOverflowCond]