From 7872d4df9309dc932dd2586aa37ad486d2e9e69d Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Tue, 19 Jan 2010 12:11:55 +0000 Subject: [PATCH] Add test case. llvm-svn: 93874 --- clang/test/Analysis/misc-ps.m | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/clang/test/Analysis/misc-ps.m b/clang/test/Analysis/misc-ps.m index 9543a98fe323..ae42dca3b45e 100644 --- a/clang/test/Analysis/misc-ps.m +++ b/clang/test/Analysis/misc-ps.m @@ -811,3 +811,29 @@ int pr6033(int x) { return x % y; // expected-warning{{The right operand of '%' is a garbage value}} } +struct trie { + struct trie* next; +}; + +struct kwset { + struct trie *trie; + unsigned char delta[10]; + struct trie* next[10]; + int d; +}; + +typedef struct trie trie_t; +typedef struct kwset kwset_t; + +void f(kwset_t *kws, char const *p, char const *q) { + struct trie const *trie; + struct trie * const *next = kws->next; + register unsigned char c; + register char const *end = p; + register char const *lim = q; + register int d = 1; + register unsigned char const *delta = kws->delta; + + d = delta[c = (end+=d)[-1]]; // no-warning + trie = next[c]; +}