1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// RUN: clang-tidy -checks='-*,clang-analyzer-core.NullDereference' -analyze-temporary-dtors %s -- | FileCheck %s
struct NoReturnDtor {
~NoReturnDtor() __attribute__((noreturn));
};
extern bool check(const NoReturnDtor &);
// CHECK-NOT: warning
void testNullPointerDereferencePositive() {
int *value = 0;
// CHECK: [[@LINE+1]]:10: warning: Dereference of null pointer (loaded from variable 'value') [clang-analyzer-core.NullDereference]
*value = 1;
}
// CHECK-NOT: warning
void testNullPointerDereference() {
int *value = 0;
if (check(NoReturnDtor())) {
// This unreachable code causes a warning if we don't run with -analyze-temporary-dtors
*value = 1;
}
}
|
