Skip to content
Commit b1361eaa authored by Ted Kremenek's avatar Ted Kremenek
Browse files

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).

llvm-svn: 42107
parent 360c3b4a
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment