commit 9907fc9053cae863870205c69e2ddbd4e29c857d
author Anton Yartsev <anton.yartsev@gmail.com> Wed Mar 04 23:18:21 2015 +0000
committer Anton Yartsev <anton.yartsev@gmail.com> Wed Mar 04 23:18:21 2015 +0000
tree 9a25934c518db309515c4721a61a9026ca18140b
parent 6ab161497a60e2c12fde66a618cf9ce061a7cb3c

[analyzer] Bug fix: do not report leaks for alloca()

llvm-svn: 231314

clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
index d77af6a..f2afcca 100644
--- a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
@@ -1934,6 +1934,11 @@
   if (!CheckKind.hasValue())
     return;
 
+  const RefState *RS = C.getState()->get<RegionState>(Sym);
+  assert(RS);
+  if (RS->getAllocationFamily() == AF_Alloca)
+    return;
+
   assert(N);
   if (!BT_Leak[*CheckKind]) {
     BT_Leak[*CheckKind].reset(