Kaydet (Commit) 1ed9af9a authored tarafından Luboš Luňák's avatar Luboš Luňák

skip 'else' from a macro expansion too

Change-Id: I1a6d70d1554dc5bf8f46940ed62b47ab34983aa7
üst 13cca3de
...@@ -56,15 +56,15 @@ void BodyNotInBlock::traverseStatement( const Stmt* stmt, StmtParents& parents ) ...@@ -56,15 +56,15 @@ void BodyNotInBlock::traverseStatement( const Stmt* stmt, StmtParents& parents )
parents.push_back( *it ); parents.push_back( *it );
if( const IfStmt* ifstmt = dyn_cast< IfStmt >( *it )) if( const IfStmt* ifstmt = dyn_cast< IfStmt >( *it ))
{ {
checkBody( ifstmt->getThen(), parents, 0, ifstmt->getElse() != NULL ); checkBody( ifstmt->getThen(), ifstmt->getIfLoc(), parents, 0, ifstmt->getElse() != NULL );
checkBody( ifstmt->getElse(), parents, 0 ); checkBody( ifstmt->getElse(), ifstmt->getElseLoc(), parents, 0 );
} }
else if( const WhileStmt* whilestmt = dyn_cast< WhileStmt >( *it )) else if( const WhileStmt* whilestmt = dyn_cast< WhileStmt >( *it ))
checkBody( whilestmt->getBody(), parents, 1 ); checkBody( whilestmt->getBody(), whilestmt->getWhileLoc(), parents, 1 );
else if( const ForStmt* forstmt = dyn_cast< ForStmt >( *it )) else if( const ForStmt* forstmt = dyn_cast< ForStmt >( *it ))
checkBody( forstmt->getBody(), parents, 2 ); checkBody( forstmt->getBody(), forstmt->getForLoc(), parents, 2 );
else if( const CXXForRangeStmt* forstmt = dyn_cast< CXXForRangeStmt >( *it )) else if( const CXXForRangeStmt* forstmt = dyn_cast< CXXForRangeStmt >( *it ))
checkBody( forstmt->getBody(), parents, 2 ); checkBody( forstmt->getBody(), forstmt->getForLoc(), parents, 2 );
parents.pop_back(); parents.pop_back();
} }
} }
...@@ -72,16 +72,17 @@ void BodyNotInBlock::traverseStatement( const Stmt* stmt, StmtParents& parents ) ...@@ -72,16 +72,17 @@ void BodyNotInBlock::traverseStatement( const Stmt* stmt, StmtParents& parents )
parents.pop_back(); parents.pop_back();
} }
void BodyNotInBlock::checkBody( const Stmt* body, const StmtParents& parents, int stmtType, bool dontGoUp ) void BodyNotInBlock::checkBody( const Stmt* body, SourceLocation stmtLocation, const StmtParents& parents,
int stmtType, bool dontGoUp )
{ {
if( body == NULL || parents.size() < 2 ) if( body == NULL || parents.size() < 2 )
return; return;
// TODO: If the if/while/for comes from a macro expansion, ignore it completely for // TODO: If the if/else/while/for comes from a macro expansion, ignore it completely for
// now. The code below could assume everything is in the same place (and thus also column) // now. The code below could assume everything is in the same place (and thus also column)
// and give a false warning. Moreover some macros are rather lousily written and would // and give a false warning. Moreover some macros are rather lousily written and would
// result in poor formatting. To be evaluated later, maybe this could be handled // result in poor formatting. To be evaluated later, maybe this could be handled
// including macro expansion. // including macro expansion.
if( parents.back()->getLocStart().isMacroID()) if( stmtLocation.isMacroID())
return; return;
if( dyn_cast< CompoundStmt >( body )) if( dyn_cast< CompoundStmt >( body ))
return; // if body is a compound statement, then it is in {} return; // if body is a compound statement, then it is in {}
......
...@@ -27,7 +27,8 @@ class BodyNotInBlock ...@@ -27,7 +27,8 @@ class BodyNotInBlock
private: private:
typedef vector< const Stmt* > StmtParents; typedef vector< const Stmt* > StmtParents;
void traverseStatement( const Stmt* stmt, StmtParents& parents ); void traverseStatement( const Stmt* stmt, StmtParents& parents );
void checkBody( const Stmt* body, const StmtParents& parents, int stmtType, bool dontGoUp = false ); void checkBody( const Stmt* body, SourceLocation stmtLocation, const StmtParents& parents,
int stmtType, bool dontGoUp = false );
}; };
} // namespace } // namespace
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment