array-struct-region.c revision 59b6dca7e5160d6f2aff42b1cf077d1cbd64e330 
1// RUN: %clang_cc1 -analyze -analyzer-experimental-checks -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -analyzer-constraints=basic -verify %s
2// RUN: %clang_cc1 -analyze -analyzer-experimental-checks -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -analyzer-constraints=range -verify %s
3
4int string_literal_init() {
5  char a[] = "abc";
6  char b[2] = "abc"; // expected-warning{{too long}}
7  char c[5] = "abc";
8
9  if (a[1] != 'b')
10    return 0; // expected-warning{{never executed}}
11  if (b[1] != 'b')
12    return 0; // expected-warning{{never executed}}
13  if (c[1] != 'b')
14    return 0; // expected-warning{{never executed}}
15
16  if (a[3] != 0)
17    return 0; // expected-warning{{never executed}}
18  if (c[3] != 0)
19    return 0; // expected-warning{{never executed}}
20
21  if (c[4] != 0)
22    return 0; // expected-warning{{never executed}}
23
24  return 42;
25}
26
27void nested_compound_literals(int rad) {
28  int vec[6][2] = {{0.195, 0.02}, {0.383, 0.067}, {0.55, 0.169},
29                   {0.831, 0.45}, {0.924, 0.617}, {0.98, 0.805}};
30  int a;
31
32  for (a = 0; a < 6; ++a) {
33      vec[a][0] *= rad; // no-warning
34      vec[a][1] *= rad; // no-warning
35  }
36}
37
38void nested_compound_literals_float(float rad) {
39  float vec[6][2] = {{0.195, 0.02}, {0.383, 0.067}, {0.55, 0.169},
40                     {0.831, 0.45}, {0.924, 0.617}, {0.98, 0.805}};
41  int a;
42
43  for (a = 0; a < 6; ++a) {
44      vec[a][0] *= rad; // no-warning
45      vec[a][1] *= rad; // no-warning
46  }
47}
48