]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64ee9d0) | patch
[analyser] Stats checker: do not mark a node as exhausted if we will
authorAnna Zaks <ganna@apple.com>
Wed, 28 Mar 2012 17:05:50 +0000 (17:05 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 28 Mar 2012 17:05:50 +0000 (17:05 +0000)
commit253955ca25c7e7049963b5db613c0cd15d66e4f8
treecf67d311462fa4c77a9a30cd90dbee2a0bfc2a40tree | snapshot
parent64ee9d03c9fa0e9f4b944300167f871d9a65a991commit | diff
[analyser] Stats checker: do not mark a node as exhausted if we will
retry without inlining.

(+ other minor cleanups)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@153581 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h diff | blob | history
lib/StaticAnalyzer/Core/CoreEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.