pointerAdditionResultNotNull ftp://ftp.de.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.11.15+dfsg1.orig.tar.xz cryptominisat-5.11.15/src/picosat/picosat.c:1943:23: warning: Comparison is wrong. Result of 'ps->lits+2*(v-ps->vars)' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull] ftp://ftp.de.debian.org/debian/pool/main/d/diamond-aligner/diamond-aligner_2.1.9.orig.tar.xz diamond-2.1.9/src/lib/ips4o/classifier.hpp:92:9: warning: Comparison is wrong. Result of 'getSortedSplitters()+num_splitters' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull] diamond-2.1.9/src/lib/ips4o/sampling.hpp:98:13: warning: Comparison is wrong. Result of 'sorted_splitters+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull] diamond-2.1.9/src/lib/ips4o/sampling.hpp:112:9: warning: Comparison is wrong. Result of 'sorted_splitters+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull] ftp://ftp.de.debian.org/debian/pool/main/d/dleyna-renderer/dleyna-renderer_0.6.0.orig.tar.gz dleyna-renderer-0.6.0/libdleyna/renderer/device.c:1199:24: warning: Comparison is wrong. Result of 'pos+4' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]