]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 594ca43) | patch
Have GRCoreEngine record the blocks where analysis was aborted because we visited...
authorTed Kremenek <kremenek@apple.com>
Wed, 11 Aug 2010 00:03:02 +0000 (00:03 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 11 Aug 2010 00:03:02 +0000 (00:03 +0000)
commitf598087b4adfea164acdd5b53ea2951bde740a2d
treeee8ef8d6f8ccf2970d2066019cbf80465a753605tree | snapshot
parent594ca4325cdf6f2c3e2ae584df069faafeaf145ecommit | diff
Have GRCoreEngine record the blocks where analysis was aborted because we visited a block too many times along a given path.  This is to support the unreachable code analysis.

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