[cfe-commits] [PATCH] review request - strcasecmp checker

[Lenny Maiorani]

The attached patch implements a checker for strcasecmp(). It validates 
inputs are not NULL and compares the inputs and binds the return value 
to 0, -1, 1 correctly based upon the inputs.

Modeling of strncasecmp() is a trivial addition, but requires a bounded 
version of StringRef::compare_lower() in LLVM. Coming soon.

Please review.

-Lenny

-------------- next part --------------
A non-text attachment was scrubbed...
Name: strcasecmp-checker.diff
Type: text/x-patch
Size: 5620 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110427/f9af22a6/attachment.bin>