blob: fbb70e5d626a3d7fcdfea6e52818edd31648d460 [file] [log] [blame]
Gabor Horvath3bd24f92017-10-30 12:02:23 +00001// RUN: %clang_analyze_cc1 -fblocks -analyzer-checker=core,debug.ExprInspection %s -verify
2
3void clang_analyzer_hashDump(int);
Gabor Horvathefec1632015-10-22 11:53:04 +00004
5@protocol NSObject
6+ (id)alloc;
7- (id)init;
8@end
9
10@protocol NSCopying
11@end
12
13__attribute__((objc_root_class))
14@interface NSObject <NSObject>
15- (void)method:(int)arg param:(int)arg2;
16@end
17
18@implementation NSObject
Gabor Horvath3bd24f92017-10-30 12:02:23 +000019+ (id)alloc {
20 return 0;
21}
22- (id)init {
23 return self;
24}
Gabor Horvathefec1632015-10-22 11:53:04 +000025- (void)method:(int)arg param:(int)arg2 {
Gabor Horvath3bd24f92017-10-30 12:02:23 +000026 clang_analyzer_hashDump(5); // expected-warning {{debug.ExprInspection$NSObject::method:param:$27$clang_analyzer_hashDump(5);$Category}}
Gabor Horvathefec1632015-10-22 11:53:04 +000027}
28@end
29
30
31void testBlocks() {
32 int x = 5;
Gabor Horvath3bd24f92017-10-30 12:02:23 +000033 ^{
34 clang_analyzer_hashDump(x); // expected-warning {{debug.ExprInspection$$29$clang_analyzer_hashDump(x);$Category}}
35 }();
Gabor Horvathefec1632015-10-22 11:53:04 +000036}