diff options
| author | Anna Zaks <ganna@apple.com> | 2012-06-22 02:04:31 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-06-22 02:04:31 +0000 |
| commit | 0d6989bd10cb66724fefa6c96aa70e4b82ff8740 (patch) | |
| tree | 7d9f65b1e3e811a8d9a43c516b1b4859904e5d7d /clang/test/Analysis/malloc-annotations.c | |
| parent | 33da33676fe3026fb8e1b237e845698bff42ffb0 (diff) | |
| download | bcm5719-llvm-0d6989bd10cb66724fefa6c96aa70e4b82ff8740.tar.gz bcm5719-llvm-0d6989bd10cb66724fefa6c96aa70e4b82ff8740.zip | |
[analyzer] Malloc: Warn about use-after-free when memory ownership was
transfered with dataWithBytesNoCopy.
llvm-svn: 158958
Diffstat (limited to 'clang/test/Analysis/malloc-annotations.c')
| -rw-r--r-- | clang/test/Analysis/malloc-annotations.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/test/Analysis/malloc-annotations.c b/clang/test/Analysis/malloc-annotations.c index 15ce62d9a5e..089e53132d9 100644 --- a/clang/test/Analysis/malloc-annotations.c +++ b/clang/test/Analysis/malloc-annotations.c @@ -124,11 +124,10 @@ void af2e() { } // This case inflicts a possible double-free. -// TODO: Better error message. void af3() { int *p = my_malloc(12); my_hold(p); - free(p); // expected-warning{{Attempt to free released memory}} + free(p); // expected-warning{{Attempt to free non-owned memory}} } int * af4() { |
