zerodivcond
ftp://ftp.de.debian.org/debian/pool/main/d/dcfldd/dcfldd_1.9.3.orig.tar.gz
dcfldd-1.9.3/src/human.c:165:21: warning: Either the condition 'output_block_size<0' is redundant or there is division by zero at line 165. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/d/dolfinx/dolfinx_2019.2.0~git20210130.c14cb0a.orig.tar.gz
dolfinx-master/cpp/dolfinx/common/utils.h:71:17: warning: Either the condition 'linebreak!=0' is redundant or there is division by zero at line 71. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/d/drawterm/drawterm_20240821.orig.tar.xz
drawterm-20240821/libc/lnrand.c:13:14: warning: Either the condition 'n<0' is redundant or there is division by zero at line 13. [zerodivcond]
drawterm-20240821/libc/lnrand.c:17:11: warning: Either the condition 'n<0' is redundant or there is division by zero at line 17. [zerodivcond]
drawterm-20240821/libc/nrand.c:13:14: warning: Either the condition 'n<0' is redundant or there is division by zero at line 13. [zerodivcond]
drawterm-20240821/libc/nrand.c:17:11: warning: Either the condition 'n<0' is redundant or there is division by zero at line 17. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/d/drawterm-9front/drawterm-9front_0~git20220608.bee4db6.orig.tar.gz
drawterm-9front-0~git20220608.bee4db6/libc/lnrand.c:13:14: warning: Either the condition 'n<0' is redundant or there is division by zero at line 13. [zerodivcond]
drawterm-9front-0~git20220608.bee4db6/libc/lnrand.c:17:11: warning: Either the condition 'n<0' is redundant or there is division by zero at line 17. [zerodivcond]
drawterm-9front-0~git20220608.bee4db6/libc/nrand.c:16:14: warning: Either the condition 'n<0' is redundant or there is division by zero at line 16. [zerodivcond]
drawterm-9front-0~git20220608.bee4db6/libc/nrand.c:20:11: warning: Either the condition 'n<0' is redundant or there is division by zero at line 20. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/d/dte/dte_1.10.orig.tar.gz
dte-1.10/src/frame.c:107:15: warning: Either the condition 'count==0' is redundant or there is division by zero at line 107. [zerodivcond]
dte-1.10/src/frame.c:108:15: warning: Either the condition 'count==0' is redundant or there is division by zero at line 108. [zerodivcond]
dte-1.10/src/screen-tabbar.c:99:31: warning: Either the condition 'truncated_count==0' is redundant or there is division by zero at line 99. [zerodivcond]
dte-1.10/src/screen-tabbar.c:100:31: warning: Either the condition 'truncated_count==0' is redundant or there is division by zero at line 100. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/e/euslisp/euslisp_9.32+dfsg.orig.tar.xz
euslisp-9.32+dfsg/lisp/c/big.c:636:18: warning: Either the condition 'c==0' is redundant or there is division by zero at line 636. [zerodivcond]
euslisp-9.32+dfsg/lisp/c/big.c:637:14: warning: Either the condition 'c==0' is redundant or there is division by zero at line 637. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/e/expeyes/expeyes_5.3.4+repack.orig.tar.xz
expeyes-programs-5.3.4/microhope/microhope-doc/prog/pmdk_timer.c:57:17: warning: Either the condition 'ocr' is redundant or there is division by zero at line 57. [zerodivcond]
expeyes-programs-5.3.4/microhope/src/microhope/mh-timer.c:68:17: warning: Either the condition 'ocr' is redundant or there is division by zero at line 68. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/falcosecurity-libs/falcosecurity-libs_0.20.0.orig.tar.gz
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:753:42: warning: Either the condition 'cnt1!=0' is redundant or there is division by zero at line 753. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:754:42: warning: Either the condition 'cnt2!=0' is redundant or there is division by zero at line 754. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:759:43: warning: Either the condition 'cnt1!=0' is redundant or there is division by zero at line 759. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:760:43: warning: Either the condition 'cnt2!=0' is redundant or there is division by zero at line 760. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:765:43: warning: Either the condition 'cnt1!=0' is redundant or there is division by zero at line 765. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:766:43: warning: Either the condition 'cnt2!=0' is redundant or there is division by zero at line 766. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:774:43: warning: Either the condition 'cnt1!=0' is redundant or there is division by zero at line 774. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:775:43: warning: Either the condition 'cnt2!=0' is redundant or there is division by zero at line 775. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:783:44: warning: Either the condition 'cnt1!=0' is redundant or there is division by zero at line 783. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:784:44: warning: Either the condition 'cnt2!=0' is redundant or there is division by zero at line 784. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:793:45: warning: Either the condition 'cnt1!=0' is redundant or there is division by zero at line 793. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:794:45: warning: Either the condition 'cnt2!=0' is redundant or there is division by zero at line 794. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:806:45: warning: Either the condition 'cnt1!=0' is redundant or there is division by zero at line 806. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:807:45: warning: Either the condition 'cnt2!=0' is redundant or there is division by zero at line 807. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:814:33: warning: Either the condition 'cnt1!=0' is redundant or there is division by zero at line 814. [zerodivcond]
libs-0.20.0/userspace/libsinsp/filter_compare.cpp:815:33: warning: Either the condition 'cnt2!=0' is redundant or there is division by zero at line 815. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/fenics-dolfinx/fenics-dolfinx_0.10.0.post5.orig.tar.gz
FEniCS-dolfinx-cbed920/cpp/dolfinx/io/xdmf_utils.h:103:19: warning: Either the condition 'shape[1]!=0' is redundant or there is division by zero at line 103. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/fenix/fenix_0.92a.dfsg1.orig.tar.gz
Fenix/fxi/src/g_draw.c:764:20: warning: Either the condition '(w)<0' is redundant or there is division by zero at line 764. [zerodivcond]
Fenix/fxi/src/g_draw.c:770:42: warning: Either the condition '(w)<0' is redundant or there is division by zero at line 770. [zerodivcond]
Fenix/fxi/src/g_draw.c:777:38: warning: Either the condition '(h)<0' is redundant or there is division by zero at line 777. [zerodivcond]
Fenix/fxi/src/g_draw.c:783:42: warning: Either the condition '(h)<0' is redundant or there is division by zero at line 783. [zerodivcond]
Fenix/fxi/src/g_draw.c:791:20: warning: Either the condition '(w)<0' is redundant or there is division by zero at line 791. [zerodivcond]
Fenix/fxi/src/g_draw.c:798:20: warning: Either the condition '(w)<0' is redundant or there is division by zero at line 798. [zerodivcond]
Fenix/fxi/src/g_draw.c:806:16: warning: Either the condition '(h)<0' is redundant or there is division by zero at line 806. [zerodivcond]
Fenix/fxi/src/g_draw.c:813:20: warning: Either the condition '(h)<0' is redundant or there is division by zero at line 813. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/form/form_5.0.0.orig.tar.gz
form-5.0.0/extern/zstd/zlibWrapper/gzread.c:424:43: warning: Either the condition 'size' is redundant or there is division by zero at line 424. [zerodivcond]
form-5.0.0/extern/zstd/zlibWrapper/gzwrite.c:287:44: warning: Either the condition 'size' is redundant or there is division by zero at line 287. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz
frama-c-25.0-beta-Manganese/src/plugins/wp/tests/wp/wp_behav.c:55:11: warning: Either the condition 'n<0' is redundant or there is division by zero at line 55. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/freetds/freetds_1.5.5+ds.orig.tar.xz
freetds-1.5.5/src/tds/numeric.c:180:21: warning: Either the condition '!n' is redundant or there is division by zero at line 180. [zerodivcond]
freetds-1.5.5/src/tds/numeric.c:182:13: warning: Either the condition '!n' is redundant or there is division by zero at line 182. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/f/frei0r/frei0r_2.5.6.orig.tar.gz
dyne-frei0r-530f7e6/src/filter/rgbsplit0r/rgbsplit0r.c:176:52: warning: Either the condition 'inst->height>0' is redundant or there is division by zero at line 176. [zerodivcond]
dyne-frei0r-530f7e6/src/filter/rgbsplit0r/rgbsplit0r.c:186:52: warning: Either the condition 'inst->width>0' is redundant or there is division by zero at line 186. [zerodivcond]