concrete-address.c revision f7a0cf426eddae76e1a71dd2295631a2cf0560af
1// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic --verify %s && 2// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region --verify %s 3 4void foo() { 5 int *p = (int*) 0x10000; // Should not crash here. 6 *p = 3; 7} 8