zerodivcond
ftp://ftp.de.debian.org/debian/pool/main/g/gpaw/gpaw_25.1.0.orig.tar.bz2
head gpaw-25.1.0/c/operators.c:281:43: warning: Either the condition 'bc->maxsend>0' is redundant or there is division by zero at line 281. [zerodivcond]
head gpaw-25.1.0/c/transformers.c:142:43: warning: Either the condition 'bc->maxsend>0' is redundant or there is division by zero at line 142. [zerodivcond]
head gpaw-25.1.0/c/woperators.c:304:43: warning: Either the condition 'bc->maxsend>0' is redundant or there is division by zero at line 304. [zerodivcond]