From d5d2e50f3ed373cfc45a0406fb9cd70f5522a0eb Mon Sep 17 00:00:00 2001 From: Jordy Rose Date: Thu, 8 Jul 2010 23:57:29 +0000 Subject: Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes. llvm-svn: 107935 --- clang/test/Analysis/bstring.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'clang/test/Analysis/bstring.c') 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() //===----------------------------------------------------------------------=== -- cgit v1.2.3