ptr-arith.c revision b10a7c235f82c6eb074be097c9ae7ee51fccc9c6
1// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify -triple x86_64-apple-darwin9 %s 2// RUN: clang-cc -analyze -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 40void f4() { 41 int *p; 42 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.}} 43} 44