blob: 05b0638a5eb56a06b154ff38a6b33c9c2dab3b91 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
// RUN: %clang_analyze_cc1 -w -analyzer-checker=core,nullability -verify %s
// expected-no-diagnostics
@class C;
#pragma clang assume_nonnull begin
@interface I
- foo:(C *)c;
@end
#pragma clang assume_nonnull end
@interface J
@property C *c;
@end
J *conjure_J();
@implementation I
- (void)bar {
if (self) { // no-crash
J *j = conjure_J();
if (j.c)
[self bar];
// FIXME: Should warn.
[self foo:j.c]; // no-warning
}
}
@end
@implementation J
@end
|
