Ted Kremenek | e5cfd52 | 2011-05-25 23:57:29 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -disable-free -analyzer-eagerly-assume -analyzer-checker=core -analyzer-checker=deadcode -verify %s |
| 2 | |
| 3 | unsigned long strlen(const char *); |
| 4 | |
| 5 | int size_rdar9373039 = 1; |
| 6 | int 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 | |
| 22 | int foo_rdar9373039(const char *); |
| 23 | |
| 24 | int 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 | |
Jordy Rose | 22043b5 | 2011-06-08 22:47:39 +0000 | [diff] [blame] | 39 | |
| 40 | int 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 | |
| 46 | int 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 | |
Jordy Rose | 7fead31 | 2011-06-09 05:44:04 +0000 | [diff] [blame] | 53 | int PR8962_c (int *t) { |
| 54 | // If the last element in a StmtExpr was a ParenExpr, it's still live |
| 55 | if (({ (t ? (_Bool)0 : (_Bool)1); })) return 0; |
| 56 | return *t; // no-warning |
| 57 | } |
| 58 | |
| 59 | int PR8962_d (int *t) { |
| 60 | // If the last element in a StmtExpr is an __extension__, it's still live |
| 61 | if (({ __extension__(t ? (_Bool)0 : (_Bool)1); })) return 0; |
| 62 | return *t; // no-warning |
| 63 | } |
| 64 | |