| // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=basic -analyzer-constraints=basic -verify %s |
| // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=basic -analyzer-constraints=range -verify %s |
| // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -analyzer-constraints=basic -verify %s |
| // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify %s |
| typedef struct CGColorSpace *CGColorSpaceRef; |
| extern CGColorSpaceRef CGColorSpaceCreateDeviceRGB(void); |
| extern CGColorSpaceRef CGColorSpaceRetain(CGColorSpaceRef space); |
| extern void CGColorSpaceRelease(CGColorSpaceRef space); |
| CGColorSpaceRef X = CGColorSpaceCreateDeviceRGB(); // expected-warning{{leak}} |
| CGColorSpaceRef X = CGColorSpaceCreateDeviceRGB(); |
| CGColorSpaceRelease(X); // no-warning |