Lines Matching +full:unknown +full:- +full:key

1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.Loops,debug.ExprInspection -verify %s
9 - (int)countByEnumeratingWithState:(void *)state objects:(id *)objects count:(unsigned)count;
10 - (void)protocolMethod;
21 - (NSUInteger)count;
22 - (NSEnumerator *)objectEnumerator;
26 - (NSUInteger)count;
27 - (id)objectForKey:(id)key;
31 - (void)categoryMethodOnNSDictionary;
35 - (void)setObject:(id)obj forKey:(id)key;
39 - (void)addObject:(id)obj;
43 - (NSUInteger)count;
55     clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
58     clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
61     clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
64     clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
67     clang_analyzer_eval(x != nil); // expected-warning{{UNKNOWN}}
72     clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
74     clang_analyzer_eval(x != nil); // expected-warning{{UNKNOWN}}
78   clang_analyzer_eval(a != nil); // expected-warning{{UNKNOWN}}
80     clang_analyzer_eval(a != nil); // expected-warning{{TRUE}}
85     *(volatile int *)0 = 1; // no-warning
86   clang_analyzer_eval(b != nil); // expected-warning{{FALSE}}
92     for (NSString *key in D) {
93       s = key;       // Loop is never entered.
95     clang_analyzer_eval(s == 0); //expected-warning{{TRUE}}
104     for (NSString *key in D) {
105       s = key;       // Loop might be entered.
107     clang_analyzer_eval(s == 0); //expected-warning{{FALSE}} //expected-warning{{TRUE}}
112   if ([S count] == 2) { // Count is non-zero.
133     clang_analyzer_eval(i == 1); // expected-warning {{TRUE}}
142     for (NSString *key in D) {
147     int y = *x; // expected-warning {{Dereference of null pointer}}
156     for (NSString *key in D) {
162     int y = *x; // expected-warning {{Dereference of null pointer}}
172     for (NSString *key in D) {
178     int y = *x; // expected-warning {{Dereference of null pointer}}
192   for (NSString *key in D) {
196   for (NSString *key in D)  {
197     return i; // no-warning
210   for (NSString *key in D) {
214   for (NSString *key in D)  {
228   return x; // no-warning
239   return x; // no-warning
247   for (id key in dict)
248     clang_analyzer_eval(0); // no-warning
252   for (id key in dict)
253     clang_analyzer_eval(0); // no-warning
257   for (id key in dict)
258     clang_analyzer_eval(0); // no-warning
262   for (id key in dict)
263     clang_analyzer_eval(0); // expected-warning{{FALSE}}
269   for (id key in dict)
270     clang_analyzer_eval(0); // no-warning
274   for (id key in dict)
275     clang_analyzer_eval(0); // expected-warning{{FALSE}}
283   for (id key in array)
284     clang_analyzer_eval(0); // no-warning
288   for (id key in array)
289     clang_analyzer_eval(0); // no-warning
293   for (id key in array)
294     clang_analyzer_eval(0); // expected-warning{{FALSE}}
300   for (id key in array)
301     clang_analyzer_eval(0); // no-warning
305   for (id key in array)
306     clang_analyzer_eval(0); // expected-warning{{FALSE}}
313   for (id key in array)
314     clang_analyzer_eval(0); // no-warning
319   for (id key in array)
320     clang_analyzer_eval(0); // no-warning
324   for (id key in array)
325     clang_analyzer_eval(0); // expected-warning{{FALSE}}