[cfe-dev] [analyzer] Introducing FloatingCompare checker

[Kirill Bobyrev via cfe-dev]

 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
https://github.com/omtcyf0
-------------- 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>