blob: ab00bd8c341352a90b2edd12bd0b000b50080f3f [file] [log] [blame]
Ted Kremenek9f67ede2008-10-01 05:05:46 +00001// 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 Kremenek6dfe2f52008-10-18 22:20:20 +000012// Reduced test case from crash in PR 2796;
13// http://llvm.org/bugs/show_bug.cgi?id=2796
14
15unsigned foo(unsigned x) { return __alignof__((x)) + sizeof(x); }