Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=basic --verify %s |
2 | // RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region --verify %s | ||||
Zhongxing Xu | c5771fd | 2009-07-03 05:33:23 +0000 | [diff] [blame] | 3 | |
4 | void foo() { | ||||
5 | int *p = (int*) 0x10000; // Should not crash here. | ||||
6 | *p = 3; | ||||
7 | } |