[cfe-commits] r74761 - /cfe/trunk/test/Analysis/concrete-address.c

[Zhongxing Xu]

Author: zhongxingxu
Date: Fri Jul  3 00:33:23 2009
New Revision: 74761

URL: http://llvm.org/viewvc/llvm-project?rev=74761&view=rev
Log:
add test case for r74407.

Added:
    cfe/trunk/test/Analysis/concrete-address.c

Added: cfe/trunk/test/Analysis/concrete-address.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/concrete-address.c?rev=74761&view=auto

==============================================================================
--- cfe/trunk/test/Analysis/concrete-address.c (added)
+++ cfe/trunk/test/Analysis/concrete-address.c Fri Jul  3 00:33:23 2009
@@ -0,0 +1,7 @@
+// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic --verify %s &&
+// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region --verify %s
+
+void foo() {
+  int *p = (int*) 0x10000; // Should not crash here.
+  *p = 3;
+}