]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68bf16f) | patch
[analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)
authorAnna Zaks <ganna@apple.com>
Mon, 24 Sep 2012 17:43:41 +0000 (17:43 +0000)
committerAnna Zaks <ganna@apple.com>
Mon, 24 Sep 2012 17:43:41 +0000 (17:43 +0000)
commit05c3b9ac74e12238e7ec5f237132e2348a8b5f4e
tree322aa610791cf9733fbf172698432a80a33ceb0btree | snapshot
parent68bf16f8d1e7c8dff8732f8aae4b4b418054216fcommit | diff
[analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)

(Unfortunately, I do not have a good reduced test case for this.)

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