[PATCH] Dereference then check

[Anders Rönnholm]

Hi,

I have made a new checker similar to the divison by zero i previously submitted.

This one checks for dereferences that are later compared against zero.

As requested i have made it CFG-based like how DeadStores is implemented. I hope this is how you meant.

//Anders
-------------- next part --------------
A non-text attachment was scrubbed...
Name: derefthencheck.diff
Type: text/x-patch
Size: 15813 bytes
Desc: derefthencheck.diff
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140925/9fe82002/attachment.bin>