| commit | 82ff6d65bc34ea18b0916aa4a810c9b27d3335b4 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Apr 15 18:35:30 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Apr 15 18:35:30 2008 +0000 |
| tree | 7b198beb1896aad1510f7561bd2b2d40343ea98d | |
| parent | 8fc8a272e0caf21930a73b3df33f4a75bc38e34b [diff] |
Fix bug in terminator processing for uninitialized-values: simply ignore the terminator, don't reprocess it. LiveVariables analysis now does a flow-insensitive analysis to determine what variables have their address taken; these variables are now always treated as being live. The DataflowSolver now uses "SetTopValue()" when getting the initial value for the entry/exit block. llvm-svn: 49734