From c5771fd4a8371ff408000884fce22529fa49208a Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Fri, 3 Jul 2009 05:33:23 +0000 Subject: [PATCH] add test case for r74407. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74761 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/concrete-address.c | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 test/Analysis/concrete-address.c diff --git a/test/Analysis/concrete-address.c b/test/Analysis/concrete-address.c new file mode 100644 index 0000000000..84ebb21805 --- /dev/null +++ b/test/Analysis/concrete-address.c @@ -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; +} -- 2.40.0