blob: 0aa60ed3f62e2f07b88f0b63f90df26a709745af (
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
|
// REQUIRES: static-analyzer
// RUN: clang-tidy -checks='-*,clang-analyzer-core.NullDereference' %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 analysis of temporary
// destructors is not enabled.
*value = 1;
}
}
|