forked from OSchip/llvm-project
46 lines
1.0 KiB
Objective-C
46 lines
1.0 KiB
Objective-C
// RUN: clang -checker-cfref --verify %s
|
|
|
|
// Reduced test case from crash in <rdar://problem/6253157>
|
|
@class NSObject;
|
|
@interface A @end
|
|
@implementation A
|
|
- (void)foo:(void (^)(NSObject *x))block {
|
|
if (!((block != ((void *)0)))) {}
|
|
}
|
|
@end
|
|
|
|
// Reduced test case from crash in PR 2796;
|
|
// http://llvm.org/bugs/show_bug.cgi?id=2796
|
|
|
|
unsigned foo(unsigned x) { return __alignof__((x)) + sizeof(x); }
|
|
|
|
// Improvement to path-sensitivity involving compound assignments.
|
|
// Addresses false positive in <rdar://problem/6268365>
|
|
//
|
|
|
|
unsigned r6268365Aux();
|
|
|
|
void r6268365() {
|
|
unsigned x = 0;
|
|
x &= r6268365Aux();
|
|
unsigned j = 0;
|
|
|
|
if (x == 0) ++j;
|
|
if (x == 0) x = x / j; // no-warning
|
|
}
|
|
|
|
void divzeroassume(unsigned x, unsigned j) {
|
|
x /= j;
|
|
if (j == 0) x /= 0; // no-warning
|
|
if (j == 0) x /= j; // no-warning
|
|
if (j == 0) x = x / 0; // no-warning
|
|
}
|
|
|
|
void divzeroassumeB(unsigned x, unsigned j) {
|
|
x = x / j;
|
|
if (j == 0) x /= 0; // no-warning
|
|
if (j == 0) x /= j; // no-warning
|
|
if (j == 0) x = x / 0; // no-warning
|
|
}
|
|
|