]> granicus.if.org Git - clang/commit
[analyzer] NFC: RetainCountChecker: Don't dump() symbols into program point tags.
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 15 Oct 2018 17:47:56 +0000 (17:47 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 15 Oct 2018 17:47:56 +0000 (17:47 +0000)
commit753ce1e0a70d7a5907be8c20796c8e9c59faf64a
treedeb8cb271da53d6fe9d6c5358d5ff6cdfdd54885
parent59436556329d1f9f6c9f63ed94eab6ae70be34b5
[analyzer] NFC: RetainCountChecker: Don't dump() symbols into program point tags.

We don't need a separate node for every symbol, because whenever the first
symbol leaks, a bug is emitted, the analysis is sinked, and the checker
callback immediately returns due to State variable turning into null,
so we never get to see the second leaking symbol.

Additionally, we are no longer able to break normal analysis while experimenting
with debug dumps.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@344538 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp