diff options
| author | Anna Zaks <ganna@apple.com> | 2012-02-08 23:16:52 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-02-08 23:16:52 +0000 |
| commit | cd37bf4ec8e2043dc589a592df5c97144b5dee3b (patch) | |
| tree | 342578383bc391c0d7f045ce928f459f83b22368 /clang/test/Analysis/free.c | |
| parent | 7df15cd21f2db1b0665bc01e24f5ab889609e99f (diff) | |
| download | bcm5719-llvm-cd37bf4ec8e2043dc589a592df5c97144b5dee3b.tar.gz bcm5719-llvm-cd37bf4ec8e2043dc589a592df5c97144b5dee3b.zip | |
[analyzer] Split the MallocChecker into two versions - pessimistic and
optimistic.
TODO: actually implement the pessimistic version of the checker. Ex: it
needs to assume that any function that takes a pointer might free it.
The optimistic version relies on annotations to tell us which functions
can free the pointer.
llvm-svn: 150111
Diffstat (limited to 'clang/test/Analysis/free.c')
| -rw-r--r-- | clang/test/Analysis/free.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/test/Analysis/free.c b/clang/test/Analysis/free.c index 44c4f19f1b3..b4ee3f79104 100644 --- a/clang/test/Analysis/free.c +++ b/clang/test/Analysis/free.c @@ -1,4 +1,5 @@ // RUN: %clang_cc1 -analyze -analyzer-store=region -analyzer-checker=core,experimental.unix.Malloc -fblocks -verify %s +// RUN: %clang_cc1 -analyze -analyzer-store=region -analyzer-checker=core,experimental.unix.MallocWithAnnotations -fblocks -verify %s void free(void *); void t1 () { |
