1*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,debug.ExprInspection %s -std=c++11 -verify
2*67e74705SXin Li
3*67e74705SXin Li void clang_analyzer_eval(bool);
4*67e74705SXin Li
testAddressof(int x)5*67e74705SXin Li void testAddressof(int x) {
6*67e74705SXin Li clang_analyzer_eval(&x == __builtin_addressof(x)); // expected-warning{{TRUE}}
7*67e74705SXin Li }
8*67e74705SXin Li
testSize()9*67e74705SXin Li void testSize() {
10*67e74705SXin Li struct {
11*67e74705SXin Li int x;
12*67e74705SXin Li int y;
13*67e74705SXin Li char z;
14*67e74705SXin Li } object;
15*67e74705SXin Li clang_analyzer_eval(__builtin_object_size(&object.y, 0) == sizeof(object) - sizeof(int)); // expected-warning{{TRUE}}
16*67e74705SXin Li
17*67e74705SXin Li // Clang can't actually evaluate these builtin "calls", but importantly they don't actually evaluate the argument expression either.
18*67e74705SXin Li int i = 0;
19*67e74705SXin Li char buf[10];
20*67e74705SXin Li clang_analyzer_eval(__builtin_object_size(&buf[i++], 0) == sizeof(buf)); // expected-warning{{FALSE}}
21*67e74705SXin Li clang_analyzer_eval(__builtin_object_size(&buf[++i], 0) == sizeof(buf) - 1); // expected-warning{{FALSE}}
22*67e74705SXin Li
23*67e74705SXin Li clang_analyzer_eval(i == 0); // expected-warning{{TRUE}}
24*67e74705SXin Li }
25*67e74705SXin Li
test_assume_aligned_1(char * p)26*67e74705SXin Li void test_assume_aligned_1(char *p) {
27*67e74705SXin Li char *q;
28*67e74705SXin Li
29*67e74705SXin Li q = (char*) __builtin_assume_aligned(p, 16);
30*67e74705SXin Li clang_analyzer_eval(p == q); // expected-warning{{TRUE}}
31*67e74705SXin Li }
32*67e74705SXin Li
test_assume_aligned_2(char * p)33*67e74705SXin Li void test_assume_aligned_2(char *p) {
34*67e74705SXin Li char *q;
35*67e74705SXin Li
36*67e74705SXin Li q = (char*) __builtin_assume_aligned(p, 16, 8);
37*67e74705SXin Li clang_analyzer_eval(p == q); // expected-warning{{TRUE}}
38*67e74705SXin Li }
39*67e74705SXin Li
test_assume_aligned_3(char * p)40*67e74705SXin Li void test_assume_aligned_3(char *p) {
41*67e74705SXin Li void *q;
42*67e74705SXin Li
43*67e74705SXin Li q = __builtin_assume_aligned(p, 16, 8);
44*67e74705SXin Li clang_analyzer_eval(p == q); // expected-warning{{TRUE}}
45*67e74705SXin Li }
46*67e74705SXin Li
test_assume_aligned_4(char * p)47*67e74705SXin Li void test_assume_aligned_4(char *p) {
48*67e74705SXin Li char *q;
49*67e74705SXin Li
50*67e74705SXin Li q = (char*) __builtin_assume_aligned(p + 1, 16);
51*67e74705SXin Li clang_analyzer_eval(p == q); // expected-warning{{FALSE}}
52*67e74705SXin Li }
53