[cfe-commits] r59076 - /cfe/trunk/lib/Analysis/UninitializedValues.cpp
Ted Kremenek
kremenek at apple.com
Tue Nov 11 11:41:42 PST 2008
Author: kremenek
Date: Tue Nov 11 13:41:42 2008
New Revision: 59076
URL: http://llvm.org/viewvc/llvm-project?rev=59076&view=rev
Log:
Flow-sensitive uninitialized values analysis:
- Added support for ObjCForCollectionStmt
- Fixed bug where expression values would be always set to uninitialized when loops were involved
Modified:
cfe/trunk/lib/Analysis/UninitializedValues.cpp
Modified: cfe/trunk/lib/Analysis/UninitializedValues.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/UninitializedValues.cpp?rev=59076&r1=59075&r2=59076&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/UninitializedValues.cpp (original)
+++ cfe/trunk/lib/Analysis/UninitializedValues.cpp Tue Nov 11 13:41:42 2008
@@ -64,7 +64,8 @@
CFG& getCFG() { return AD.getCFG(); }
void SetTopValue(UninitializedValues::ValTy& X) {
- X.resetValues(AD);
+ X.setDeclValues(AD);
+ X.resetExprValues(AD);
}
bool VisitDeclRefExpr(DeclRefExpr* DR);
@@ -74,6 +75,7 @@
bool VisitCallExpr(CallExpr* C);
bool VisitDeclStmt(DeclStmt* D);
bool VisitConditionalOperator(ConditionalOperator* C);
+ bool VisitObjCForCollectionStmt(ObjCForCollectionStmt* S);
bool Visit(Stmt *S);
bool BlockStmt_VisitExpr(Expr* E);
@@ -81,8 +83,8 @@
void VisitTerminator(CFGBlock* B) { }
};
-static const bool Initialized = true;
-static const bool Uninitialized = false;
+static const bool Initialized = false;
+static const bool Uninitialized = true;
bool TransferFuncs::VisitDeclRefExpr(DeclRefExpr* DR) {
@@ -178,6 +180,27 @@
return Visit(U->getSubExpr());
}
+bool TransferFuncs::VisitObjCForCollectionStmt(ObjCForCollectionStmt* S) {
+ // This represents a use of the 'collection'
+ bool x = Visit(S->getCollection());
+
+ if (x == Uninitialized)
+ return Uninitialized;
+
+ // This represents an initialization of the 'element' value.
+ Stmt* Element = S->getElement();
+ VarDecl* VD = 0;
+
+ if (DeclStmt* DS = dyn_cast<DeclStmt>(Element))
+ VD = cast<VarDecl>(DS->getSolitaryDecl());
+ else
+ VD = cast<VarDecl>(cast<DeclRefExpr>(Element)->getDecl());
+
+ V(VD,AD) = Initialized;
+ return Initialized;
+}
+
+
bool TransferFuncs::VisitConditionalOperator(ConditionalOperator* C) {
Visit(C->getCond());
@@ -227,7 +250,7 @@
//===----------------------------------------------------------------------===//
namespace {
- typedef ExprDeclBitVector_Types::Intersect Merge;
+ typedef ExprDeclBitVector_Types::Union Merge;
typedef DataflowSolver<UninitializedValues,TransferFuncs,Merge> Solver;
}
More information about the cfe-commits
mailing list