ptr-arith.c revision 3c4b37980ad5582409fa9a99ac29da8ab59f1ed0 
1// RUN: clang -analyze -checker-simple -analyzer-store=region -verify %s
2
3void f1() {
4  int a[10];
5  int *p = a;
6  ++p;
7}
8
9char* foo();
10
11void f2() {
12  char *p = foo();
13  ++p;
14}
15
16char* memchr();
17static int
18domain_port (const char *domain_b, const char *domain_e,
19             const char **domain_e_ptr)
20{
21  int port = 0;
22
23  const char *p;
24  const char *colon = memchr (domain_b, ':', domain_e - domain_b);
25
26  for (p = colon + 1; p < domain_e ; p++)
27    port = 10 * port + (*p - '0');
28  return port;
29}
30