| commit | 294a7c9cf15c4aefd906ca0fde8ebf9ecf7aa1af | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Sep 18 21:08:21 2007 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Sep 18 21:08:21 2007 +0000 |
| tree | 434e9d9ba0853f0513b8a79a4f32fa79d1f0b0f3 | |
| parent | a90b0d1e585d993621a342d0b2874e61941372d5 [diff] |
Add overloaded versions of DataflowSolver::runOnBlock to simplify invocation of the solver. UninitializedValues checker now uses CFG::runOnAllBlocks to query the computed dataflow values (tighter code). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42107 91177308-0d34-0410-b5e6-96231b3b80d8