nullPointerRedundantCheck
ftp://ftp.de.debian.org/debian/pool/main/c/claws-mail/claws-mail_4.3.1.orig.tar.xz
2.18.0 claws-mail-4.3.1/src/gtk/gtkcmctree.c:3421:8: warning: Either the condition 'work' is redundant or there is possible null pointer dereference: work. [nullPointerRedundantCheck]
ftp://ftp.de.debian.org/debian/pool/main/c/coccinelle/coccinelle_1.3.0.deb.orig.tar.gz
2.18.0 coccinelle-1.3.0/demos/demo_rule9/sym53c8xx.c:2543:9: warning: Either the condition 'np' is redundant or there is possible null pointer dereference: np. [nullPointerRedundantCheck]