]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afe1091) | patch
Fix bug in terminator processing for uninitialized-values: simply ignore the terminat...
authorTed Kremenek <kremenek@apple.com>
Tue, 15 Apr 2008 18:35:30 +0000 (18:35 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 15 Apr 2008 18:35:30 +0000 (18:35 +0000)
commit7deed0c65b315cac037539401c49586283158d9f
tree196e9e9e291fe158368d13818ac84f80714996bftree | snapshot
parentafe10913bddfe0e7beea9a9886ecd1d4aaabd2e6commit | 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.

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