]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63a7268) | patch
[analyzer] Break cycles (optionally) when trimming an ExplodedGraph.
authorJordan Rose <jordan_rose@apple.com>
Wed, 20 Mar 2013 00:35:31 +0000 (00:35 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 20 Mar 2013 00:35:31 +0000 (00:35 +0000)
commitf4cf6b10f863b9bc716a09b2b2a8c497dcc6aa9b
tree499340b68cb4458cca386ce23b06501d3a36d566tree | snapshot
parent63a726870b486e0470c3a4b11cf62bab8be00b73commit | diff
[analyzer] Break cycles (optionally) when trimming an ExplodedGraph.

Having a trimmed graph with no cycles (a DAG) is much more convenient for
trying to find shortest paths, which is exactly what BugReporter needs to do.

Part of the performance work for <rdar://problem/13433687>.

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