Add two new test cases for the Malloc/Free checker. Both have to do with

storing malloc'ed memory to global storage.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@88684 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 18 insertions, 0 deletions

diff --git a/test/Analysis/malloc.c b/test/Analysis/malloc.c
index acbfb4c38f..45be977b93 100644
--- a/test/Analysis/malloc.c
+++ b/test/Analysis/malloc.c
@@ -16,3 +16,21 @@ void f2() {
   free(p);
   free(p); // expected-warning{{Try to free a memory block that has been released}}
 }
+
+// This case tests that storing malloc'ed memory to a static variable which is then returned
+// is not leaked.  In the absence of known contracts for functions or inter-procedural analysis,
+// this is a conservative answer.
+int *f3() {
+  static int *p = 0;
+  p = malloc(10); // no-warning
+  return p;
+}
+
+// This case tests that storing malloc'ed memory to a static global variable which is then returned
+// is not leaked.  In the absence of known contracts for functions or inter-procedural analysis,
+// this is a conservative answer.
+static int *p_f4 = 0;
+int *f4() {
+  p_f4 = malloc(10); // no-warning
+  return p_f4;
+}