ptr-arith.c revision 8382cf57b722f130f1a6b45380639871c07271c1
1// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify -triple x86_64-apple-darwin9 %s 2// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify -triple i686-apple-darwin9 %s 3 4void f1() { 5 int a[10]; 6 int *p = a; 7 ++p; 8} 9 10char* foo(); 11 12void f2() { 13 char *p = foo(); 14 ++p; 15} 16 17// This test case checks if we get the right rvalue type of a TypedViewRegion. 18// The ElementRegion's type depends on the array region's rvalue type. If it was 19// a pointer type, we would get a loc::SymbolVal for '*p'. 20void* memchr(); 21static int 22domain_port (const char *domain_b, const char *domain_e, 23 const char **domain_e_ptr) 24{ 25 int port = 0; 26 27 const char *p; 28 const char *colon = memchr (domain_b, ':', domain_e - domain_b); 29 30 for (p = colon + 1; p < domain_e ; p++) 31 port = 10 * port + (*p - '0'); 32 return port; 33} 34 35void f3() { 36 int x, y; 37 int d = &y - &x; // expected-warning{{Subtraction of two pointers that do not point to the same memory chunk may cause incorrect result.}} 38 39 int a[10]; 40 int *p = &a[2]; 41 int *q = &a[8]; 42 d = q-p; // no-warning 43} 44 45void f4() { 46 int *p; 47 p = (int*) 0x10000; // expected-warning{{Using a fixed address is not portable because that address will probably not be valid in all environments or platforms.}} 48} 49 50void f5() { 51 int x, y; 52 int *p; 53 p = &x + 1; // expected-warning{{Pointer arithmetic done on non-array variables means reliance on memory layout, which is dangerous.}} 54 55 int a[10]; 56 p = a + 1; // no-warning 57} 58 59// Allow arithmetic on different symbolic regions. 60void f6(int *p, int *q) { 61 int d = q - p; // no-warning 62} 63