zerodivcond
ftp://ftp.de.debian.org/debian/pool/main/f/f3d/f3d_3.1.0+dfsg.orig.tar.xz
2.18.0 f3d-app-f3d-18341e9/vtkext/public/module/vtkF3DBitonicSort.cxx:130:50: warning: Either the condition 'this->WorkgroupSize<0' is redundant or there is division by zero at line 130. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/l/lives/lives_3.0.2.orig.tar.bz2
2.18.0 lives-3.0.2/src/utils.c:2699:50: warning: Either the condition 'file->asampsize>0' is redundant or there is division by zero at line 2699. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/o/oss4/oss4_4.2-build2020.orig.tar.bz2
2.18.0 oss-v4.2-build2020-src-gpl/setup/Linux/oss/build/osscore.c:1380:13: warning: Either the condition 'd0==0' is redundant or there is division by zero at line 1380. [zerodivcond]
ftp://ftp.de.debian.org/debian/pool/main/r/r-cran-data.table/r-cran-data.table_1.17.0+dfsg.orig.tar.xz
2.18.0 data.table/src/gsumm.c:89:15: warning: Either the condition 'nBatch<1' is redundant or there is division by zero at line 89. [zerodivcond]