maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Update CFGStmtVisitor to recognize that ObjCForCollectionStmts are special block-level "expressions". 

llvm-svn: 59176
This commit is contained in:
Ted Kremenek 2008-11-12 21:58:46 +00:00
parent a461e6d124
commit 65dd30fdea
3 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/include/clang/Analysis/Visitors/CFGStmtVisitor.h
View File

@ -68,7 +68,8 @@ public:
DISPATCH_CASE(StmtExpr)
DISPATCH_CASE(ConditionalOperator)
DISPATCH_CASE(ObjCForCollectionStmt)
case Stmt::BinaryOperatorClass: {
BinaryOperator* B = cast<BinaryOperator>(S);
if (B->isLogicalOp())
@ -90,6 +91,10 @@ public:
DEFAULT_BLOCKSTMT_VISIT(StmtExpr)
DEFAULT_BLOCKSTMT_VISIT(ConditionalOperator)
RetTy BlockStmt_VisitObjCForCollectionStmt(ObjCForCollectionStmt* S) {
return static_cast<ImplClass*>(this)->BlockStmt_VisitStmt(S);
}
RetTy BlockStmt_VisitImplicitControlFlowExpr(Expr* E) {
return static_cast<ImplClass*>(this)->BlockStmt_VisitExpr(E);
}

6
clang/lib/Analysis/LiveVariables.cpp
View File

@ -121,7 +121,7 @@ public:
void VisitBinaryOperator(BinaryOperator* B);
void VisitAssign(BinaryOperator* B);
void VisitDeclStmt(DeclStmt* DS);
void VisitObjCForCollectionStmt(ObjCForCollectionStmt* S);
void BlockStmt_VisitObjCForCollectionStmt(ObjCForCollectionStmt* S);
void VisitUnaryOperator(UnaryOperator* U);
void Visit(Stmt *S);
void VisitTerminator(CFGBlock* B);
@ -176,7 +176,9 @@ void TransferFuncs::VisitBinaryOperator(BinaryOperator* B) {
else VisitStmt(B);
}
void TransferFuncs::VisitObjCForCollectionStmt(ObjCForCollectionStmt* S) {
void
TransferFuncs::BlockStmt_VisitObjCForCollectionStmt(ObjCForCollectionStmt* S) {
// This represents a 'use' of the collection.
Visit(S->getCollection());

5
clang/lib/Analysis/UninitializedValues.cpp
View File

@ -75,7 +75,7 @@ public:
bool VisitCallExpr(CallExpr* C);
bool VisitDeclStmt(DeclStmt* D);
bool VisitConditionalOperator(ConditionalOperator* C);
bool VisitObjCForCollectionStmt(ObjCForCollectionStmt* S);
bool BlockStmt_VisitObjCForCollectionStmt(ObjCForCollectionStmt* S);
bool Visit(Stmt *S);
bool BlockStmt_VisitExpr(Expr* E);
@ -180,7 +180,8 @@ bool TransferFuncs::VisitUnaryOperator(UnaryOperator* U) {
return Visit(U->getSubExpr());
}
bool TransferFuncs::VisitObjCForCollectionStmt(ObjCForCollectionStmt* S) {
bool
TransferFuncs::BlockStmt_VisitObjCForCollectionStmt(ObjCForCollectionStmt* S) {
// This represents a use of the 'collection'
bool x = Visit(S->getCollection());