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

[Paul Fultz II via Phabricator via cfe-commits]

pfultz2 added a comment.

> Isn't this case already covered by conversion checker?

I was unaware of this. This looks like it only works for binary operators. So `f(-1)` won't get caught.


Repository:
  rC Clang

https://reviews.llvm.org/D46066