]> granicus.if.org Git - clang/commit
[analyzer] MallocChecker: Avoid redundant transitions.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 30 Nov 2018 03:52:42 +0000 (03:52 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 30 Nov 2018 03:52:42 +0000 (03:52 +0000)
commit09ed9617ba51e2f83d3d566e6c0b2376eb86c804
tree63ee08895f77d744dfbebf7669600cbe2a440b6a
parent4d1d8f287a82495809b15297ddd7115bffb31037
[analyzer] MallocChecker: Avoid redundant transitions.

Don't generate a checker-tagged node unconditionally on the first
checkDeadSymbols callback when no pointers are tracked.

This is a tiny performance optimization; it may change the behavior slightly
by making Static Analyzer bail out on max-nodes one node later (which is good)
but any test would either break for no good reason or become useless
every time someone sneezes.

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

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