zerodivcond
ftp://ftp.de.debian.org/debian/pool/main/c/cfitsio/cfitsio_4.6.2.orig.tar.gz
cfitsio-4.6.2/getcolb.c:798:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 798. [zerodivcond]
cfitsio-4.6.2/getcolb.c:805:78: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 805. [zerodivcond]
cfitsio-4.6.2/getcold.c:847:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 847. [zerodivcond]
cfitsio-4.6.2/getcold.c:854:78: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 854. [zerodivcond]
cfitsio-4.6.2/getcole.c:849:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 849. [zerodivcond]
cfitsio-4.6.2/getcole.c:856:78: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 856. [zerodivcond]
cfitsio-4.6.2/getcoli.c:771:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 771. [zerodivcond]
cfitsio-4.6.2/getcoli.c:778:78: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 778. [zerodivcond]
cfitsio-4.6.2/getcolj.c:770:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 770. [zerodivcond]
cfitsio-4.6.2/getcolj.c:777:78: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 777. [zerodivcond]
cfitsio-4.6.2/getcolj.c:2712:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 2712. [zerodivcond]
cfitsio-4.6.2/getcolj.c:2719:78: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 2719. [zerodivcond]
cfitsio-4.6.2/getcolk.c:787:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 787. [zerodivcond]
cfitsio-4.6.2/getcolk.c:794:78: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 794. [zerodivcond]
cfitsio-4.6.2/getcolsb.c:792:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 792. [zerodivcond]
cfitsio-4.6.2/getcolsb.c:799:68: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 799. [zerodivcond]
cfitsio-4.6.2/getcoluj.c:2716:26: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 2716. [zerodivcond]
cfitsio-4.6.2/getcoluj.c:2723:78: warning: Either the condition 'elemincre>=0' is redundant or there is division by zero at line 2723. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/c/chibicc/chibicc_1.0.23.1.orig.tar.gz
chibicc-1.0.23.1/parse.c:4120:16: warning: Either the condition 'base_size==0' is redundant or there is division by zero at line 4120. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/c/chuffed/chuffed_0.13.1.orig.tar.xz
chuffed/primitives/arithmetic.cpp:474:44: warning: Either the condition 'v_min<0' is redundant or there is division by zero at line 474. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/c/clips/clips_6.30.orig.tar.gz
clips_core_source_630/core/symbol.c:773:40: warning: Either the condition 'range==0' is redundant or there is division by zero at line 773. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/c/clustalo/clustalo_1.2.4.orig.tar.gz
clustal-omega-1.2.4/src/squid/ssi.c:321:12: warning: Either the condition 'r==0' is redundant or there is division by zero at line 321. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/c/coinor-dylp/coinor-dylp_1.10.4.orig.tar.gz
DyLP-1.10.4/DyLP/src/Dylp/glplib4.c:112:27: warning: Either the condition 'size<1' is redundant or there is division by zero at line 112. [zerodivcond]