blob: 8987ac078bf2c317dbd606d2b5115b60ee74fcca (
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
|
// RUN: %clang_analyze_cc1 -verify %s\
// RUN: -analyzer-checker=core,debug.ExprInspection
void clang_analyzer_eval(bool);
using size_t = decltype(sizeof(int));
template <class FirstT, class... Rest>
void escape(FirstT first, Rest... args);
namespace CustomClassType {
struct S {
int x;
static void* operator new(size_t size) {
return ::operator new(size);
}
};
void F() {
S *s = new S;
clang_analyzer_eval(s->x); // expected-warning{{UNKNOWN}} FIXME: should be an undefined warning
S *s2 = new S{};
clang_analyzer_eval(0 == s2->x); // expected-warning{{TRUE}}
S *s3 = new S{1};
clang_analyzer_eval(1 == s3->x); // expected-warning{{TRUE}}
escape(s, s2, s3);
}
} // namespace CustomClassType
|
