]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c64e8e) | patch
Modified DataFlowValues and DataflowSolver to associate dataflow value
authorTed Kremenek <kremenek@apple.com>
Tue, 18 Sep 2007 18:02:44 +0000 (18:02 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 18 Sep 2007 18:02:44 +0000 (18:02 +0000)
commit105bfee9d691b56bfa75a7c44b411533c5a369f0
tree8febcac5ac09adae3ffa88c670f40d0437c33a61tree | snapshot
parent4c64e8ee46ad6e2336f9c160a79eded6b16c68f8commit | diff
Modified DataFlowValues and DataflowSolver to associate dataflow value
with CFG *edges* instead of blocks.  This will fascilitate dataflow
analyses that are sensitive to block terminators, and also simplifies
some reasoning.

Updated UninitializedValues to comply to this new interface.

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