r179232 - [analyzer] +Testcase: several used-after-free args passed to a function.

[Anton Yartsev]

Author: ayartsev
Date: Wed Apr 10 17:36:16 2013
New Revision: 179232

URL: http://llvm.org/viewvc/llvm-project?rev=179232&view=rev
Log:
[analyzer] +Testcase: several used-after-free args passed to a function.

Modified:
    cfe/trunk/test/Analysis/NewDelete-checker-test.cpp

Modified: cfe/trunk/test/Analysis/NewDelete-checker-test.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/NewDelete-checker-test.cpp?rev=179232&r1=179231&r2=179232&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/NewDelete-checker-test.cpp (original)
+++ cfe/trunk/test/Analysis/NewDelete-checker-test.cpp Wed Apr 10 17:36:16 2013
@@ -114,6 +114,11 @@ void testUseLastArgAfterDelete(int *p) {
   f(0, 0, p); // expected-warning{{Use of memory after it is freed}}
 }
 
+void testUseSeveralArgsAfterDelete(int *p) {
+  delete p;
+  f(p, p, p); // expected-warning{{Use of memory after it is freed}}
+}
+
 void testUseRefArgAfterDelete(SomeClass &c) {
   delete &c;
   g(c); // expected-warning{{Use of memory after it is freed}}