[PATCH] D46066: [analyzer] Add checker for underflowing unsigned integers

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

Isn't this case already covered by conversion checker? https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Checkers/ConversionChecker.cpp


Repository:
  rC Clang

https://reviews.llvm.org/D46066