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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.MemoryUnsafeCastChecker -verify %s
@protocol NSObject
+alloc;
-init;
@end
@interface NSObject <NSObject> {}
@end
@interface BaseClass : NSObject
@end
@interface DerivedClass : BaseClass
-(void)testCasts:(BaseClass*)base;
@end
@implementation DerivedClass
-(void)testCasts:(BaseClass*)base {
DerivedClass *derived = (DerivedClass*)base;
// expected-warning@-1{{Unsafe cast from base type 'BaseClass' to derived type 'DerivedClass'}}
DerivedClass *derived_static = static_cast<DerivedClass*>(base);
// expected-warning@-1{{Unsafe cast from base type 'BaseClass' to derived type 'DerivedClass'}}
DerivedClass *derived_reinterpret = reinterpret_cast<DerivedClass*>(base);
// expected-warning@-1{{Unsafe cast from base type 'BaseClass' to derived type 'DerivedClass'}}
base = (BaseClass*)derived; // no warning
base = (BaseClass*)base; // no warning
}
@end
template <typename T>
class WrappedObject
{
public:
T get() const { return mMetalObject; }
T mMetalObject = nullptr;
};
@protocol MTLCommandEncoder
@end
@protocol MTLRenderCommandEncoder
@end
class CommandEncoder : public WrappedObject<id<MTLCommandEncoder>> { };
class RenderCommandEncoder final : public CommandEncoder
{
private:
id<MTLRenderCommandEncoder> get()
{
return static_cast<id<MTLRenderCommandEncoder>>(CommandEncoder::get());
}
};
@interface Class1
@end
@interface Class2
@end
void testUnrelated(Class1 *c1) {
Class2 *c2 = (Class2*)c1;
// expected-warning@-1{{Unsafe cast from type 'Class1' to an unrelated type 'Class2'}}
Class1 *c1_same = reinterpret_cast<Class1*>(c1); // no warning
}
|
