diff options
author | Ted Kremenek <kremenek@apple.com> | 2011-01-18 05:00:42 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2011-01-18 05:00:42 +0000 |
commit | 4dccb90e92ba9e4abffe0177493b6db9949678dd (patch) | |
tree | 1640404690dec7fbefb709f19037ee6b2459ead2 /lib/Analysis/UninitializedValuesV2.cpp | |
parent | c104e53639de4424b83955acfadc977773b5883d (diff) |
Correctly enable test/Sema/unit-variables.c,
thus identifying a minor logical flaw in
UninitializedValuesV2.cpp.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123734 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/UninitializedValuesV2.cpp')
-rw-r--r-- | lib/Analysis/UninitializedValuesV2.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Analysis/UninitializedValuesV2.cpp b/lib/Analysis/UninitializedValuesV2.cpp index 3c833cb67b..c5b093b7ad 100644 --- a/lib/Analysis/UninitializedValuesV2.cpp +++ b/lib/Analysis/UninitializedValuesV2.cpp @@ -242,11 +242,13 @@ void TransferFunctions::VisitDeclStmt(DeclStmt *ds) { for (DeclStmt::decl_iterator DI = ds->decl_begin(), DE = ds->decl_end(); DI != DE; ++DI) { if (VarDecl *vd = dyn_cast<VarDecl>(*DI)) { - if (isTrackedVar(vd)) + if (isTrackedVar(vd)) { + vals[vd] = Uninitialized; if (Stmt *init = vd->getInit()) { Visit(init); vals[vd] = Initialized; } + } } } } |