misc-ps.c revision 22043b5ad4278cba814608f0368813acfcf24b67
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -disable-free -analyzer-eagerly-assume -analyzer-checker=core -analyzer-checker=deadcode -verify %s 2 3unsigned long strlen(const char *); 4 5int size_rdar9373039 = 1; 6int rdar9373039() { 7 int x; 8 int j = 0; 9 10 for (int i = 0 ; i < size_rdar9373039 ; ++i) 11 x = 1; 12 13 // strlen doesn't invalidate the value of 'size_rdar9373039'. 14 int extra = (2 + strlen ("Clang") + ((4 - ((unsigned int) (2 + strlen ("Clang")) % 4)) % 4)) + (2 + strlen ("1.0") + ((4 - ((unsigned int) (2 + strlen ("1.0")) % 4)) % 4)); 15 16 for (int i = 0 ; i < size_rdar9373039 ; ++i) 17 j += x; // no-warning 18 19 return j; 20} 21 22int foo_rdar9373039(const char *); 23 24int rdar93730392() { 25 int x; 26 int j = 0; 27 28 for (int i = 0 ; i < size_rdar9373039 ; ++i) 29 x = 1; 30 31 int extra = (2 + foo_rdar9373039 ("Clang") + ((4 - ((unsigned int) (2 + foo_rdar9373039 ("Clang")) % 4)) % 4)) + (2 + foo_rdar9373039 ("1.0") + ((4 - ((unsigned int) (2 + foo_rdar9373039 ("1.0")) % 4)) % 4)); // expected-warning {{never read}} 32 33 for (int i = 0 ; i < size_rdar9373039 ; ++i) 34 j += x; // expected-warning {{garbage}} 35 36 return j; 37} 38 39 40int PR8962 (int *t) { 41 // This should look through the __extension__ no-op. 42 if (__extension__ (t)) return 0; 43 return *t; // expected-warning {{null pointer}} 44} 45 46int PR8962_b (int *t) { 47 // This should still ignore the nested casts 48 // which aren't handled by a single IgnoreParens() 49 if (((int)((int)t))) return 0; 50 return *t; // expected-warning {{null pointer}} 51} 52 53