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
divide_by_zero_tests
Description: Binary data
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits