2011-09-05 15:19:32 +08:00
|
|
|
// RUN: %clang --analyze -std=c++0x %s -Xclang -verify -o /dev/null
|
2011-05-25 04:41:31 +08:00
|
|
|
|
|
|
|
void test_static_assert() {
|
|
|
|
static_assert(sizeof(void *) == sizeof(void*), "test_static_assert");
|
|
|
|
}
|
|
|
|
|
|
|
|
void test_analyzer_working() {
|
|
|
|
int *p = 0;
|
|
|
|
*p = 0xDEADBEEF; // expected-warning {{null}}
|
|
|
|
}
|
|
|
|
|
2011-10-07 04:53:28 +08:00
|
|
|
// Test that pointer-to-member functions don't cause the analyzer
|
|
|
|
// to crash.
|
|
|
|
struct RDar10243398 {
|
|
|
|
void bar(int x);
|
|
|
|
};
|
|
|
|
|
|
|
|
typedef void (RDar10243398::*RDar10243398MemberFn)(int x);
|
|
|
|
|
|
|
|
void test_rdar10243398(RDar10243398 *p) {
|
|
|
|
RDar10243398MemberFn q = &RDar10243398::bar;
|
|
|
|
((*p).*(q))(1);
|
|
|
|
}
|