blob: ca4e665a082ce43ab1be4dfe742adf57c800863f (
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
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,unix \
// RUN: -analyzer-disable-checker=core.uninitialized \
// RUN: -verify %s
// NOTE: These tests correspond to examples provided in documentation
// of [[clang::suppress]]. If you break them intentionally, it's likely that
// you need to update the documentation!
typedef __typeof(sizeof(int)) size_t;
void *malloc(size_t);
int foo_initial() {
int *x = nullptr;
return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
}
int foo1() {
int *x = nullptr;
[[clang::suppress]]
return *x; // null pointer dereference warning suppressed here
}
int foo2() {
[[clang::suppress]] {
int *x = nullptr;
return *x; // null pointer dereference warning suppressed here
}
}
int bar_initial(bool coin_flip) {
int *result = (int *)malloc(sizeof(int));
if (coin_flip)
return 1; // There's no warning here YET, but it will show up if the other one is suppressed.
return *result; // expected-warning{{Potential leak of memory pointed to by 'result'}}
}
int bar1(bool coin_flip) {
__attribute__((suppress))
int *result = (int *)malloc(sizeof(int));
if (coin_flip)
return 1; // warning about this leak path is suppressed
return *result; // warning about this leak path also suppressed
}
int bar2(bool coin_flip) {
int *result = (int *)malloc(sizeof(int));
if (coin_flip)
return 1; // expected-warning{{Potential leak of memory pointed to by 'result'}}
__attribute__((suppress))
return *result; // leak warning is suppressed only on this path
}
class [[clang::suppress]] C {
int foo() {
int *x = nullptr;
return *x; // warnings suppressed in the entire class
}
int bar();
};
int C::bar() {
int *x = nullptr;
return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
}
|
