[cfe-dev] [analyzer] Introducing FloatingCompare checker

Kirill Bobyrev via cfe-dev cfe-dev at lists.llvm.org
Wed Sep 2 14:58:52 PDT 2015

 I've started implementing different.FloatingCompare checker from the list
of potential checkers
<http://clang-analyzer.llvm.org/potential_checkers.html>. I'd like to
gather some feedback and do some improvements in order to push the code to
the upstream in the near future.

Vassil Vassilev mentioned it might be reasonable if the checker could
detect that there is division which might yield precision loss and then
detect a check against a 'constant' values.

What do you think? What should be the checker's default behavior?

The first version of checker is attached.

Kirill Bobyrev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20150903/dc2ba9b0/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: FloatingCompareChecker.patch
Type: application/octet-stream
Size: 4992 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20150903/dc2ba9b0/attachment.obj>

More information about the cfe-dev mailing list