From 1bb6a1a593ffafd36f10ff8af84c077b1f10fcfa Mon Sep 17 00:00:00 2001
From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Wed, 10 Mar 2010 04:58:55 +0000
Subject: Add use-after-free check to MallocChecker.

llvm-svn: 98136
---
 clang/test/Analysis/malloc.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'clang/test')

diff --git a/clang/test/Analysis/malloc.c b/clang/test/Analysis/malloc.c
index 3cce1b0d2ef..21b6d46a245 100644
--- a/clang/test/Analysis/malloc.c
+++ b/clang/test/Analysis/malloc.c
@@ -61,3 +61,9 @@ void pr6069() {
 void pr6293() {
   free(0);
 }
+
+void f7() {
+  char *x = (char*) malloc(4);
+  free(x);
+  x[0] = 'a'; // expected-warning{{Use dynamically allocated memory after it is freed.}}
+}
-- 
cgit v1.2.3