[PATCH] D27599: [analyzer] Teach the analyzer that pointers can escape into __cxa_demangle

2016-12-15 Thread Phabricator via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL289886: [analyzer] Teach the analyzer that pointers can escape into __cxa_demangle (authored by zaks). Changed prior to commit: https://reviews.llvm.org/D27599?vs=80842&id=81672#toc Repository: rL LL

[PATCH] D27599: [analyzer] Teach the analyzer that pointers can escape into __cxa_demangle

2016-12-09 Thread Anna Zaks via Phabricator via cfe-commits
zaks.anna created this revision. zaks.anna added a reviewer: dergachev.a. zaks.anna added subscribers: dcoughlin, cfe-commits. This fixes a reported false positive in the malloc checker. https://reviews.llvm.org/D27599 Files: lib/StaticAnalyzer/Core/CallEvent.cpp test/Analysis/Inputs/system

[PATCH] D27599: [analyzer] Teach the analyzer that pointers can escape into __cxa_demangle

2016-12-09 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ added a comment. LGTM! This could be probably modeled as realloc, and/or we could look for leaks of its return value, if we wanted. https://reviews.llvm.org/D27599 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/c