[PATCH] [analyzer] Path-sensitive different.IntegerOverflow checker

[Julia Trofimovich]

Improve checker and test suite:
1) Split into two checkers for def/undef behavior.
2) Refactor message composing
3) Add comments
4) Add test cases

http://reviews.llvm.org/D4066

Files:
  lib/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/IntegerOverflowChecker.cpp
  test/Analysis/integer-overflow.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4066.15624.patch
Type: text/x-patch
Size: 40569 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20141031/1d4f2233/attachment.bin>