]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e10c67f) | patch
Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also
authorTed Kremenek <kremenek@apple.com>
Tue, 29 Jun 2010 21:58:54 +0000 (21:58 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 29 Jun 2010 21:58:54 +0000 (21:58 +0000)
commite49f2adebee758e5ef0d7ef1acc90c059d442f4f
tree45c38b79c5c194b5c4c3e69dcba09e5d07f82874tree | snapshot
parente10c67f70407f31e1cc7fa9a5f8825adb0dfeef2commit | diff
Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also
be true if some paths were aborted because they exceeded
the maximum loop unrolling count.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107209 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.