Switch -Wuninitialized to use a reverse-post order traversal as
authorTed Kremenek <kremenek@apple.com>
Sat, 17 Nov 2012 02:00:00 +0000 (02:00 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 17 Nov 2012 02:00:00 +0000 (02:00 +0000)
commit4431a039289e5b10e106a1642893fafd701a12a2
treead18f00739afecc4a062d4507674263cce0f2cba
parent30834940ec087c216e577e076ac0849142936bd8
Switch -Wuninitialized to use a reverse-post order traversal as
an initial baseline for enqueued blocks, but use a simple DFS stack
for propagating changes quickly up back edges.

This provides a 3.5% reduction in -fsyntax-only time on sqlite3.c.

llvm-svn: 168241
clang/lib/Analysis/UninitializedValues.cpp