Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes.

llvm-svn: 107935

1 files changed, 8 insertions, 0 deletions

diff --git a/clang/test/Analysis/bstring.c b/clang/test/Analysis/bstring.c
index 59d6318db33..f4ddb0a3d08 100644
--- a/clang/test/Analysis/bstring.c
+++ b/clang/test/Analysis/bstring.c
@@ -238,6 +238,14 @@ void memcmp5 (char *input) {
     (void)*(char*)0;   // no-warning
 }
 
+void memcmp6 (char *a, char *b, size_t n) {
+  int result = memcmp(a, b, n);
+  if (result != 0)
+    return;
+  if (n == 0)
+    (void)*(char*)0; // expected-warning{{null}}
+}
+
 //===----------------------------------------------------------------------===
 // bcopy()
 //===----------------------------------------------------------------------===