]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8694674) | patch
Changed DataflowSolver to always associated recorded dataflow values with
authorTed Kremenek <kremenek@apple.com>
Fri, 18 Jan 2008 00:38:55 +0000 (00:38 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 18 Jan 2008 00:38:55 +0000 (00:38 +0000)
commit51f5499420e3e2344c1e6c3eff4764c4ec0b47ca
tree9262544f0f04933ca8d0974bc6f0f9f193c3ac3etree | snapshot
parent86946745225096243f6969dc745267b78fc211a6commit | diff
Changed DataflowSolver to always associated recorded dataflow values with
the position *before* a statement, regardless of whether we are doing a
forward or backwards analysis.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46151 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/FlowSensitive/DataflowSolver.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.