zerodivcond
ftp://ftp.de.debian.org/debian/pool/main/a/abcm2ps/abcm2ps_8.14.18.orig.tar.gz
2.21.0 abcm2ps-8.14.18/abcparse.c:231:24: warning: Either the condition 'num>0' is redundant or there is division by zero at line 231. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/a/apng2gif/apng2gif_1.8.orig.tar.gz
head apng2gif-1.8/libpng/pngmem.c:114:27: warning:inconclusive: Either the condition 'element_size==0' is redundant or there is division by zero at line 114. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/a/apngasm/apngasm_2.91.orig.tar.gz
head apngasm-2.91/libpng/pngmem.c:114:27: warning:inconclusive: Either the condition 'element_size==0' is redundant or there is division by zero at line 114. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/a/apngopt/apngopt_1.4.orig.tar.xz
head libpng/pngmem.c:111:27: warning:inconclusive: Either the condition 'element_size==0' is redundant or there is division by zero at line 111. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/a/ascii-patrol/ascii-patrol_1.7+dfsg.orig.tar.xz
head ascii-patrol-1.7/unmo3.cpp:1152:29: warning: Either the condition 'fade_out>=0' is redundant or there is division by zero at line 1152. [zerodivcond]
head ascii-patrol-1.7/unmo3.cpp:1153:44: warning: Either the condition 'fade_out>=0' is redundant or there is division by zero at line 1153. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/c/cc65/cc65_2.19.orig.tar.gz
head cc65-2.19/src/ld65/expr.c:329:25: warning:inconclusive: Either the condition 'Right==0' is redundant or there is division by zero at line 329. [zerodivcond]
head cc65-2.19/src/ld65/expr.c:337:25: warning:inconclusive: Either the condition 'Right==0' is redundant or there is division by zero at line 337. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/c/crunch-dxtc/crunch-dxtc_0.56.2.orig.tar.gz
2.21.0 DaemonEngine-crunch-daec2be/crnlib/stb_image.h:1083:25: warning: Either the condition 'b<0' is redundant or there is division by zero at line 1083. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/d/dolfin/dolfin_2019.2.0~legacy20240219.1c52e83.orig.tar.gz
head dolfin/geometry/SimplexQuadrature.cpp:3114:13: warning:inconclusive: Either the condition 'j==0' is redundant or there is division by zero at line 3114. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/d/drc/drc_3.2.3~dfsg0.orig.tar.xz
head drc-3.2.3/source/gsl/signals_source.c:46:3: warning:inconclusive: Either the condition 'n==0' is redundant or there is division by zero at line 46. [zerodivcond]
head drc-3.2.3/source/gsl/signals_source.c:47:3: warning:inconclusive: Either the condition 'n==0' is redundant or there is division by zero at line 47. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/e/eigensoft/eigensoft_8.0.0+dfsg.orig.tar.xz
head EIG-8.0.0/src/nicksrc/gds.c:325:13: warning:inconclusive: Either the condition 'l<=0' is redundant or there is division by zero at line 325. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/fenix/fenix_0.92a.dfsg1.orig.tar.gz
head Fenix/fxi/src/i_main.c:1056:31: warning:inconclusive: Either the condition 'stack_ptr[-1]==0' is redundant or there is division by zero at line 1056. [zerodivcond]
head Fenix/fxi/src/i_main.c:1066:55: warning:inconclusive: Either the condition 'stack_ptr[-1]==0' is redundant or there is division by zero at line 1066. [zerodivcond]
head Fenix/fxi/src/i_main.c:1076:31: warning:inconclusive: Either the condition 'stack_ptr[-1]==0' is redundant or there is division by zero at line 1076. [zerodivcond]
head Fenix/fxi/src/i_main.c:1086:55: warning:inconclusive: Either the condition 'stack_ptr[-1]==0' is redundant or there is division by zero at line 1086. [zerodivcond]
head Fenix/fxi/src/i_main.c:1606:44: warning:inconclusive: Either the condition 'stack_ptr[-1]==0' is redundant or there is division by zero at line 1606. [zerodivcond]
head Fenix/fxi/src/i_main.c:1615:44: warning:inconclusive: Either the condition 'stack_ptr[-1]==0' is redundant or there is division by zero at line 1615. [zerodivcond]
head Fenix/fxi/src/i_main.c:1732:44: warning:inconclusive: Either the condition '(Sint16)stack_ptr[-1]==0' is redundant or there is division by zero at line 1732. [zerodivcond]
head Fenix/fxi/src/i_main.c:1741:44: warning:inconclusive: Either the condition '(Sint16)stack_ptr[-1]==0' is redundant or there is division by zero at line 1741. [zerodivcond]
head Fenix/fxi/src/i_main.c:1858:43: warning:inconclusive: Either the condition '(Uint8)stack_ptr[-1]==0' is redundant or there is division by zero at line 1858. [zerodivcond]
head Fenix/fxi/src/i_main.c:1867:43: warning:inconclusive: Either the condition '(Uint8)stack_ptr[-1]==0' is redundant or there is division by zero at line 1867. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/freedroidrpg/freedroidrpg_1.0+ds.orig.tar.xz
head freedroidrpg-1.0+ds/src/mapgen/gram_simple.c:281:17: warning:inconclusive: Either the condition '!max_connections' is redundant or there is division by zero at line 281. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/g/gawk/gawk_5.3.2.orig.tar.xz
head gawk-5.3.2/support/pma.c:570:26: warning:inconclusive: Either the condition '0>=size' is redundant or there is division by zero at line 570. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/g/gemmi/gemmi_0.7.5+ds.orig.tar.xz
head gemmi-0.7.5/src/symmetry.cpp:97:11: warning:inconclusive: Either the condition 'den<=0' is redundant or there is division by zero at line 97. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/g/gkl/gkl_0.9.1+dfsg.orig.tar.xz
head GKL-0.9.1/src/main/native/compression/otc_zlib/gzread.c:436:43: warning: Either the condition 'size' is redundant or there is division by zero at line 436. [zerodivcond]
head GKL-0.9.1/src/main/native/compression/otc_zlib/gzwrite.c:309:44: warning: Either the condition 'size' is redundant or there is division by zero at line 309. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/h/hpcc/hpcc_1.5.0.orig.tar.gz
2.21.0 hpcc-1.5.0/PTRANS/pdmatgen.c:190:19: warning: Either the condition '*mb<1' is redundant or there is division by zero at line 190. [zerodivcond]
2.21.0 hpcc-1.5.0/PTRANS/pdmatgen.c:191:19: warning: Either the condition '*nb<1' is redundant or there is division by zero at line 191. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/h/hyphy/hyphy_2.5.69+dfsg.orig.tar.xz
head hyphy-2.5.69/src/new/bgm.cpp:2166:43: warning:inconclusive: Either the condition 'mcmc_samples==0' is redundant or there is division by zero at line 2166. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/j/jimtcl/jimtcl_0.83.orig.tar.gz
head jimtcl-0.83/autosetup/jimsh0.c:20939:26: warning: Either the condition 'step>0' is redundant or there is division by zero at line 20939. [zerodivcond]
head jimtcl-0.83/jim.c:16392:26: warning: Either the condition 'step>0' is redundant or there is division by zero at line 16392. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/l/lam/lam_7.1.4.orig.tar.gz
head lam-7.1.4/share/mpi/cartrank.c:103:8: warning: Either the condition '*d>0' is redundant or there is division by zero at line 103. [zerodivcond]
2.21.0 lam-7.1.4/share/mpi/cartrank.c:103:8: warning: Either the condition '*d>0' is redundant or there is division by zero at line 103. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/l/lastpass-cli/lastpass-cli_1.6.1.orig.tar.gz
2.21.0 lastpass-cli-1.6.1/cmd-passwd.c:59:39: warning: Either the condition 'cur>max' is redundant or there is division by zero at line 59. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/libg/libgrokj2k/libgrokj2k_10.0.5.orig.tar.gz
head thirdparty/libpng/pngmem.c:114:27: warning:inconclusive: Either the condition 'element_size==0' is redundant or there is division by zero at line 114. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/libs/libsdl3/libsdl3_3.5~git20260611~7c60bcd+ds.orig.tar.xz
2.21.0 libsdl3-3.5~git20260611~7c60bcd/src/video/stb_image.h:1178:25: warning: Either the condition 'b<0' is redundant or there is division by zero at line 1178. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/libs/libsixel/libsixel_1.10.5.orig.tar.gz
2.21.0 libsixel-1.10.5/src/stb_image.h:1083:25: warning: Either the condition 'b<0' is redundant or there is division by zero at line 1083. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/libs/libstb/libstb_0.0~git20250907.fede005+ds.orig.tar.xz
2.21.0 libstb-0.0~git20250907.fede005/stb_image.h:1083:25: warning: Either the condition 'b<0' is redundant or there is division by zero at line 1083. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/libt/libtk-img/libtk-img_2.1.1+dfsg1.orig.tar.xz
head Img-2.1.1/compat/zlib/gzread.c:464:43: warning: Either the condition 'size' is redundant or there is division by zero at line 464. [zerodivcond]
head Img-2.1.1/compat/zlib/gzwrite.c:303:44: warning: Either the condition 'size' is redundant or there is division by zero at line 303. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/libx/libxisf/libxisf_0.2.13.orig.tar.gz
head libxisf-0.2.13/zlib/gzread.c:399:43: warning: Either the condition 'size' is redundant or there is division by zero at line 399. [zerodivcond]
head libxisf-0.2.13/zlib/gzwrite.c:283:44: warning: Either the condition 'size' is redundant or there is division by zero at line 283. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/m/makefs/makefs_20190105.orig.tar.gz
head makefs/src/sys/ufs/ffs/ffs_alloc.c:719:29: warning: Either the condition 'fs->fs_avgfpdir>0' is redundant or there is division by zero at line 719. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/m/miopen/miopen_7.2.4+dfsg.orig.tar.xz
head miopen/src/conv/invokers/impl_gemm_dynamic.cpp:1133:27: warning:inconclusive: Either the condition 'splits_4G!=0' is redundant or there is division by zero at line 1133. [zerodivcond]
head miopen/src/graphapi/find_engine.cpp:164:31: warning:inconclusive: Either the condition 'wei_c==unsigned long{0}' is redundant or there is division by zero at line 164. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/n/ntl/ntl_11.5.1.orig.tar.gz
head ntl-11.5.1/src/lzz_pX1.cpp:1247:20: warning:inconclusive: Either the condition 'm==0' is redundant or there is division by zero at line 1247. [zerodivcond]
head ntl-11.5.1/src/lzz_pX1.cpp:1314:20: warning:inconclusive: Either the condition 'm==0' is redundant or there is division by zero at line 1314. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-integers/ocaml-integers_0.8.0.orig.tar.gz
head ocaml-integers-0.8.0/src/unsigned_stubs.c:326:1: warning:inconclusive: Either the condition 'd==(uint32_t)0' is redundant or there is division by zero at line 326. [zerodivcond]
head ocaml-integers-0.8.0/src/unsigned_stubs.c:327:1: warning:inconclusive: Either the condition 'd==(uint64_t)0' is redundant or there is division by zero at line 327. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/o/openjpeg2/openjpeg2_2.5.4.orig.tar.xz
head openjpeg-2.5.4/thirdparty/libpng/pngmem.c:114:27: warning:inconclusive: Either the condition 'element_size==0' is redundant or there is division by zero at line 114. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/p/php-mongodb/php-mongodb_2.1.0.orig.tar.gz
head mongodb-2.1.0/src/libmongoc/src/zlib-1.3.1/gzread.c:399:43: warning: Either the condition 'size' is redundant or there is division by zero at line 399. [zerodivcond]
head mongodb-2.1.0/src/libmongoc/src/zlib-1.3.1/gzwrite.c:283:44: warning: Either the condition 'size' is redundant or there is division by zero at line 283. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/p/plutovg/plutovg_1.3.3.orig.tar.gz
2.21.0 sammycage-plutovg-bbd91f0/source/plutovg-stb-image.h:1083:25: warning: Either the condition 'b<0' is redundant or there is division by zero at line 1083. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/p/pmix/pmix_6.1.1~rc2.orig.tar.gz
2.21.0 pmix-6.1.1~rc2/test/test_server.c:944:37: warning: Either the condition 'params->nservers>=1' is redundant or there is division by zero at line 944. [zerodivcond]
2.21.0 pmix-6.1.1~rc2/test/test_server.c:945:42: warning: Either the condition 'params->nservers>=1' is redundant or there is division by zero at line 945. [zerodivcond]
2.21.0 pmix-6.1.1~rc2/test/test_server.c:946:42: warning: Either the condition 'params->nservers>=1' is redundant or there is division by zero at line 946. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/r/r-cran-warp/r-cran-warp_0.2.3.orig.tar.gz
head warp/src/divmod.c:160:16: warning:inconclusive: Either the condition 'y==0' is redundant or there is division by zero at line 160. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/r/raylib/raylib_6.0+ds.orig.tar.gz
2.21.0 raylib-6.0+ds/src/external/stb_image.h:1083:25: warning: Either the condition 'b<0' is redundant or there is division by zero at line 1083. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/r/relion/relion_3.1.3.orig.tar.gz
head relion-3.1.3/src/apps/star_handler.cpp:686:21: warning: Either the condition 'size_split<0' is redundant or there is division by zero at line 686. [zerodivcond]
2.21.0 relion-3.1.3/src/apps/star_handler.cpp:686:21: warning: Either the condition 'size_split>0' is redundant or there is division by zero at line 686. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/r/rrootage/rrootage_0.23a.orig.tar.gz
head rrootage-0.23a/src/degutil.c:58:34: warning: Either the condition 'y<0' is redundant or there is division by zero at line 58. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/r/rt-tests/rt-tests_2.10.orig.tar.gz
head rt-tests-2.10/src/lib/rt-numa.c:62:17: warning:inconclusive: Either the condition 'num_cpus==0' is redundant or there is division by zero at line 62. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/r/ruby-enumerable-statistics/ruby-enumerable-statistics_2.0.9+dfsg.orig.tar.xz
head enumerable-statistics-2.0.9/ext/enumerable/statistics/extension/statistics.c:457:7: warning: Either the condition '(a)>0' is redundant or there is division by zero at line 457. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/s/snek/snek_1.13.orig.tar.gz
head snek-1.13/snek-exec.c:554:70: warning: Either the condition 'stride>0' is redundant or there is division by zero at line 554. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/s/sollya/sollya_8.0+ds.orig.tar.xz
head sollya-8.0+ds/expression.c:11199:52: warning: Either the condition 'k>=0' is redundant or there is division by zero at line 11199. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/s/suricata/suricata_8.0.6.orig.tar.gz
head suricata-8.0.6/rust/vendor/libz-sys/src/zlib/gzread.c:399:43: warning: Either the condition 'size' is redundant or there is division by zero at line 399. [zerodivcond]
head suricata-8.0.6/rust/vendor/libz-sys/src/zlib/gzwrite.c:283:44: warning: Either the condition 'size' is redundant or there is division by zero at line 283. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/t/tesseract/tesseract_5.5.0.orig.tar.gz
head tesseract-5.5.0/src/ccstruct/imagedata.cpp:735:16: warning:inconclusive: Either the condition 'num_pages_per_doc_==0' is redundant or there is division by zero at line 735. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/t/trinity/trinity_1.9+git20250902.294c465.orig.tar.xz
head trinity-1.9+git20250902.294c465/generate-args.c:94:31: warning:inconclusive: Either the condition 'high==0' is redundant or there is division by zero at line 94. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/u/uefitool/uefitool_0.28.0+A73.orig.tar.gz
head LongSoft-UEFITool-2979662/common/zlib/gzread.c:399:43: warning: Either the condition 'size' is redundant or there is division by zero at line 399. [zerodivcond]
head LongSoft-UEFITool-2979662/common/zlib/gzwrite.c:283:44: warning: Either the condition 'size' is redundant or there is division by zero at line 283. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/u/ukwm/ukwm_1.2.3.orig.tar.gz
head ukwm-1.2.3/src/compositor/meta-shadow-factory.c:626:54: warning: Either the condition 'shadow->key.top_fade>=0' is redundant or there is division by zero at line 626. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/x/xpaint/xpaint_2.9.1.4.orig.tar.bz2
head xpaint-2.9.1.4/PaintRegion.c:831:21: warning: Either the condition 'zoom>0' is redundant or there is division by zero at line 831. [zerodivcond]
head xpaint-2.9.1.4/PaintRegion.c:834:39: warning: Either the condition 'zoom>0' is redundant or there is division by zero at line 834. [zerodivcond]
head xpaint-2.9.1.4/PaintRegion.c:835:39: warning: Either the condition 'zoom>0' is redundant or there is division by zero at line 835. [zerodivcond]