diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Analysis/UninitializedValues.cpp | 10 | ||||
-rw-r--r-- | lib/Sema/AnalysisBasedWarnings.cpp | 12 |
2 files changed, 8 insertions, 14 deletions
diff --git a/lib/Analysis/UninitializedValues.cpp b/lib/Analysis/UninitializedValues.cpp index 67f0f6740e..4301ca1293 100644 --- a/lib/Analysis/UninitializedValues.cpp +++ b/lib/Analysis/UninitializedValues.cpp @@ -493,7 +493,8 @@ void TransferFunctions::VisitBinaryOperator(clang::BinaryOperator *bo) { if (isUninitialized(val)) { if (bo->getOpcode() != BO_Assign) reportUninit(res.getDeclRefExpr(), vd, isAlwaysUninit(val)); - val = Initialized; + else + val = Initialized; } } } @@ -513,11 +514,8 @@ void TransferFunctions::VisitUnaryOperator(clang::UnaryOperator *uo) { lastDR = 0; ValueVector::reference val = vals[vd]; - if (isUninitialized(val)) { + if (isUninitialized(val)) reportUninit(res.getDeclRefExpr(), vd, isAlwaysUninit(val)); - // Don't cascade warnings. - val = Initialized; - } } break; } @@ -575,8 +573,6 @@ void TransferFunctions::ProcessUses(Stmt *s) { reportUninit(DR, VD, isAlwaysUninit(vals[VD])); lastLoad = 0; - // Prevent cascade of warnings. - vals[VD] = Initialized; if (DR == lastDR) { lastDR = 0; return; diff --git a/lib/Sema/AnalysisBasedWarnings.cpp b/lib/Sema/AnalysisBasedWarnings.cpp index 06e42b7728..3dae7b4d7e 100644 --- a/lib/Sema/AnalysisBasedWarnings.cpp +++ b/lib/Sema/AnalysisBasedWarnings.cpp @@ -560,8 +560,6 @@ public: const VarDecl *vd = i->first; UsesVec *vec = i->second; - bool fixitIssued = false; - // Sort the uses by their SourceLocations. While not strictly // guaranteed to produce them in line/column order, this will provide // a stable ordering. @@ -573,11 +571,11 @@ public: /*isAlwaysUninit=*/vi->second)) continue; - // Suggest a fixit hint the first time we diagnose a use of a variable. - if (!fixitIssued) { - SuggestInitializationFixit(S, vd); - fixitIssued = true; - } + SuggestInitializationFixit(S, vd); + + // Skip further diagnostics for this variable. We try to warn only on + // the first point at which a variable is used uninitialized. + break; } delete vec; |