aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/Analysis/UninitializedValues.cpp10
-rw-r--r--lib/Sema/AnalysisBasedWarnings.cpp12
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;