This will check for when assigning a negative value to an unsigned integer, when it happens implicitly.
Isn't this case already covered by conversion checker? https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Checkers/ConversionChecker.cpp
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.
So I submitted my change to the ConversionChecker, instead.