| Ted Kremenek | 565e465 | 2010-02-05 02:06:54 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=basic -verify %s |
| 2 | // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -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 | } | ||||