[analyzer] Malloc Checker more tests.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@150847 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Analysis/malloc.c b/test/Analysis/malloc.c
index 09f38e5..b50ce1d3 100644
--- a/test/Analysis/malloc.c
+++ b/test/Analysis/malloc.c
@@ -519,6 +519,23 @@
return y;
}
+void testElemRegion1() {
+ char *x = (void*)malloc(2);
+ int *ix = (int*)x;
+ free(&(x[0]));
+}
+
+void testElemRegion2(int **pp) {
+ int *p = malloc(12);
+ *pp = p;
+ free(pp[0]);
+}
+
+void testElemRegion3(int **pp) {
+ int *p = malloc(12);
+ *pp = p;
+ free(*pp);
+}
// Region escape testing.
unsigned takePtrToPtr(int **p);
