| Benjamin Kramer | 822eeb5 | 2011-09-05 07:19:32 +0000 | [diff] [blame^] | 1 | // RUN: %clang --analyze -std=c++0x %s -Xclang -verify -o /dev/null |
| Ted Kremenek | 29c9e62 | 2011-05-24 20:41:31 +0000 | [diff] [blame] | 2 | |
| 3 | void test_static_assert() { | ||||
| 4 | static_assert(sizeof(void *) == sizeof(void*), "test_static_assert"); | ||||
| 5 | } | ||||
| 6 | |||||
| 7 | void test_analyzer_working() { | ||||
| 8 | int *p = 0; | ||||
| 9 | *p = 0xDEADBEEF; // expected-warning {{null}} | ||||
| 10 | } | ||||
| 11 | |||||