[analyzer] Teach the analyzer that pointers can escape into __cxa_demangle
authorAnna Zaks <ganna@apple.com>
Thu, 15 Dec 2016 22:55:18 +0000 (22:55 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 15 Dec 2016 22:55:18 +0000 (22:55 +0000)
commit44cdeb1da230ee22e836f040848813d1c499e442
tree569656a3c8bbffd41332ceb46e15906614ee7dba
parent6d4e76b988080060fc6b1fe0fbb1194ea6bf5e76
[analyzer] Teach the analyzer that pointers can escape into __cxa_demangle

This fixes a reported false positive in the malloc checker.

Differential Revision: https://reviews.llvm.org/D27599

llvm-svn: 289886
clang/lib/StaticAnalyzer/Core/CallEvent.cpp
clang/test/Analysis/Inputs/system-header-simulator-cxx.h
clang/test/Analysis/malloc.cpp