]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86b39f2) | patch
[analyzer] add ExprEngine::getEagerlyAssumedTags() to allow externally querying of...
authorTed Kremenek <kremenek@apple.com>
Tue, 16 Aug 2011 01:53:39 +0000 (01:53 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 16 Aug 2011 01:53:39 +0000 (01:53 +0000)
commit6c7511db998817e64f2e124013e7d7c9a430c580
treeb960083f0c9029e72333ce101f0da1bf90501d58tree | snapshot
parent86b39f20d5091ca3fdcbeb4a22766aaffdf6ac35commit | diff
[analyzer] add ExprEngine::getEagerlyAssumedTags() to allow externally querying of "eagerly assumed" expressions.

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