[analyzer] Malloc Checker more tests.

llvm-svn: 150847

1 files changed, 17 insertions, 0 deletions

diff --git a/clang/test/Analysis/malloc.c b/clang/test/Analysis/malloc.c
index 09f38e5a280..b50ce1d3922 100644
--- a/clang/test/Analysis/malloc.c
+++ b/clang/test/Analysis/malloc.c
@@ -519,6 +519,23 @@ int *testMalloc3() {
   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);