concrete-address.c revision 8e8fb3be5bd78f0564444eca02b404566a5f3b5d
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s
2// expected-no-diagnostics
3
4void foo() {
5 int *p = (int*) 0x10000; // Should not crash here.
6 *p = 3;
7}
8