[PATCH] Add some automatic tests for DivideZero checker

[Tamás Zolnai via cfe-commits]

Hi all,

I'm a new contributor in clang / llvm. I'm planning to work on clang static
analyzer: maybe add new checker, imporve the exisiting one, etc. As the
first step I checked how core.DivideZero checker works now and added some
test cases for regression testing (see attached patch).
The patch contains not only test cases when the checker catches an issue,
but also use cases when the checker misses a division by zero situation,
showing that there is some points where the checker can be improved.

Best Regards,
Tamás Zolnai
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20181005/0c77bd8a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: divide_by_zero_tests
Type: application/octet-stream
Size: 5424 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20181005/0c77bd8a/attachment.obj>