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
65
66
67
68
|
// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
namespace [[clang::suppress]]
suppressed_namespace {
int foo() {
int *x = 0;
return *x;
}
int foo_forward();
}
int suppressed_namespace::foo_forward() {
int *x = 0;
return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
}
// Another instance of the same namespace.
namespace suppressed_namespace {
int bar() {
int *x = 0;
return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
}
}
void lambda() {
[[clang::suppress]] {
auto lam = []() {
int *x = 0;
return *x;
};
}
}
class [[clang::suppress]] SuppressedClass {
int foo() {
int *x = 0;
return *x;
}
int bar();
};
int SuppressedClass::bar() {
int *x = 0;
return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
}
class SuppressedMethodClass {
[[clang::suppress]] int foo() {
int *x = 0;
return *x;
}
[[clang::suppress]] int bar1();
int bar2();
};
int SuppressedMethodClass::bar1() {
int *x = 0;
return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
}
[[clang::suppress]]
int SuppressedMethodClass::bar2() {
int *x = 0;
return *x; // no-warning
}
|
