Ted Kremenek | 9f67ede | 2008-10-01 05:05:46 +0000 | [diff] [blame] | 1 | // RUN: clang -checker-cfref --verify %s |
| 2 | |
| 3 | // Reduced test case from crash in <rdar://problem/6253157> |
| 4 | @class NSObject; |
| 5 | @interface A @end |
| 6 | @implementation A |
| 7 | - (void)foo:(void (^)(NSObject *x))block { |
| 8 | if (!((block != ((void *)0)))) {} |
| 9 | } |
| 10 | @end |
| 11 | |
Ted Kremenek | 6dfe2f5 | 2008-10-18 22:20:20 +0000 | [diff] [blame] | 12 | // Reduced test case from crash in PR 2796; |
| 13 | // http://llvm.org/bugs/show_bug.cgi?id=2796 |
| 14 | |
| 15 | unsigned foo(unsigned x) { return __alignof__((x)) + sizeof(x); } |