10 void symbolic_size_t_and_int0(size_t len) {  in symbolic_size_t_and_int0()  argument
12   (void)a[len + 1]; // expected-warning {{Out of bound memory access}}  in symbolic_size_t_and_int0()
15   clang_analyzer_eval(len <= 3); // expected - warning {{TRUE}}  in symbolic_size_t_and_int0()
16   clang_analyzer_eval(len <= 2); // expected - warning {{UNKNOWN}}  in symbolic_size_t_and_int0()
19 void symbolic_size_t_and_int1(size_t len) {  in symbolic_size_t_and_int1()  argument
20   (void)a[len]; // no-warning  in symbolic_size_t_and_int1()
22   clang_analyzer_eval(len <= 4); // expected-warning {{TRUE}}  in symbolic_size_t_and_int1()
23   clang_analyzer_eval(len <= 3); // expected-warning {{UNKNOWN}}  in symbolic_size_t_and_int1()
26 void symbolic_size_t_and_int2(size_t len) {  in symbolic_size_t_and_int2()  argument
27   (void)a[len - 1]; // no-warning  in symbolic_size_t_and_int2()
29   clang_analyzer_eval(1 <= len && len <= 5); // expected-warning {{TRUE}}  in symbolic_size_t_and_int2()
30   clang_analyzer_eval(2 <= len);             // expected-warning {{UNKNOWN}}  in symbolic_size_t_and_int2()
31   clang_analyzer_eval(len <= 4);             // expected-warning {{UNKNOWN}}  in symbolic_size_t_and_int2()
34 void symbolic_uint_and_int0(unsigned len) {  in symbolic_uint_and_int0()  argument
35   (void)a[len + 1]; // no-warning  in symbolic_uint_and_int0()
37   clang_analyzer_eval(0 <= len && len <= 3); // expected-warning {{TRUE}}  in symbolic_uint_and_int0()
38   clang_analyzer_eval(1 <= len);             // expected-warning {{UNKNOWN}}  in symbolic_uint_and_int0()
39   clang_analyzer_eval(len <= 2);             // expected-warning {{UNKNOWN}}  in symbolic_uint_and_int0()
42 void symbolic_uint_and_int1(unsigned len) {  in symbolic_uint_and_int1()  argument
43   (void)a[len]; // no-warning  in symbolic_uint_and_int1()
45   clang_analyzer_eval(0 <= len && len <= 4); // expected-warning {{TRUE}}  in symbolic_uint_and_int1()
46   clang_analyzer_eval(1 <= len);             // expected-warning {{UNKNOWN}}  in symbolic_uint_and_int1()
47   clang_analyzer_eval(len <= 3);             // expected-warning {{UNKNOWN}}  in symbolic_uint_and_int1()
49 void symbolic_uint_and_int2(unsigned len) {  in symbolic_uint_and_int2()  argument
50   (void)a[len - 1]; // no-warning  in symbolic_uint_and_int2()
52   clang_analyzer_eval(1 <= len && len <= 5); // expected-warning {{TRUE}}  in symbolic_uint_and_int2()
53   clang_analyzer_eval(2 <= len);             // expected-warning {{UNKNOWN}}  in symbolic_uint_and_int2()
54   clang_analyzer_eval(len <= 4);             // expected-warning {{UNKNOWN}}  in symbolic_uint_and_int2()
57 void symbolic_int_and_int0(int len) {  in symbolic_int_and_int0()  argument
58   (void)a[len + 1]; // no-warning  in symbolic_int_and_int0()
60   clang_analyzer_eval(-1 <= len && len <= 3); // expected-warning {{TRUE}}  in symbolic_int_and_int0()
61   clang_analyzer_eval(0 <= len);              // expected-warning {{UNKNOWN}}  in symbolic_int_and_int0()
62   clang_analyzer_eval(len <= 2);              // expected-warning {{UNKNOWN}}  in symbolic_int_and_int0()
64 void symbolic_int_and_int1(int len) {  in symbolic_int_and_int1()  argument
65   (void)a[len]; // no-warning  in symbolic_int_and_int1()
67   clang_analyzer_eval(0 <= len && len <= 4); // expected-warning {{TRUE}}  in symbolic_int_and_int1()
68   clang_analyzer_eval(1 <= len);             // expected-warning {{UNKNOWN}}  in symbolic_int_and_int1()
69   clang_analyzer_eval(len <= 3);             // expected-warning {{UNKNOWN}}  in symbolic_int_and_int1()
71 void symbolic_int_and_int2(int len) {  in symbolic_int_and_int2()  argument
72   (void)a[len - 1]; // no-warning  in symbolic_int_and_int2()
74   clang_analyzer_eval(1 <= len && len <= 5); // expected-warning {{TRUE}}  in symbolic_int_and_int2()
75   clang_analyzer_eval(2 <= len);             // expected-warning {{UNKNOWN}}  in symbolic_int_and_int2()
76   clang_analyzer_eval(len <= 4);             // expected-warning {{UNKNOWN}}  in symbolic_int_and_int2()
79 void symbolic_longlong_and_int0(long long len) {  in symbolic_longlong_and_int0()  argument
80   (void)a[len + 1]; // no-warning  in symbolic_longlong_and_int0()
82   clang_analyzer_eval(-1 <= len && len <= 3); // expected-warning {{TRUE}}  in symbolic_longlong_and_int0()
83   clang_analyzer_eval(0 <= len);              // expected-warning {{UNKNOWN}}  in symbolic_longlong_and_int0()
84   clang_analyzer_eval(len <= 2);              // expected-warning {{UNKNOWN}}  in symbolic_longlong_and_int0()
87 void symbolic_longlong_and_int1(long long len) {  in symbolic_longlong_and_int1()  argument
88   (void)a[len]; // no-warning  in symbolic_longlong_and_int1()
90   clang_analyzer_eval(0 <= len && len <= 4); // expected-warning {{TRUE}}  in symbolic_longlong_and_int1()
91   clang_analyzer_eval(1 <= len);             // expected-warning {{UNKNOWN}}  in symbolic_longlong_and_int1()
92   clang_analyzer_eval(len <= 3);             // expected-warning {{UNKNOWN}}  in symbolic_longlong_and_int1()
95 void symbolic_longlong_and_int2(long long len) {  in symbolic_longlong_and_int2()  argument
96   (void)a[len - 1]; // no-warning  in symbolic_longlong_and_int2()
98   clang_analyzer_eval(1 <= len && len <= 5); // expected-warning {{TRUE}}  in symbolic_longlong_and_int2()
99   clang_analyzer_eval(2 <= len);             // expected-warning {{UNKNOWN}}  in symbolic_longlong_and_int2()
100   clang_analyzer_eval(len <= 4);             // expected-warning {{UNKNOWN}}  in symbolic_longlong_and_int2()