Fix bug in ParentMap::isConsumedExpr. A BinaryOperator always "consumes" the

value of its subexpressions unless it is a comma (in which case it doesn't
consume the left subexpression).


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68628 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Ted Kremenek 2009-04-08 18:49:36 +00:00
Родитель de076650fa
Коммит e42ac98bc2
1 изменённых файлов: 3 добавлений и 1 удалений

Просмотреть файл

@ -66,7 +66,9 @@ bool ParentMap::isConsumedExpr(Expr* E) const {
return true;
case Stmt::BinaryOperatorClass: {
BinaryOperator *BE = cast<BinaryOperator>(P);
return BE->getOpcode()==BinaryOperator::Comma && DirectChild==BE->getLHS();
// If it is a comma, only the left side is consumed.
// If it isn't a comma, both sides are consumed.
return BE->getOpcode()!=BinaryOperator::Comma || DirectChild==BE->getLHS();
}
case Stmt::ForStmtClass:
return DirectChild == cast<ForStmt>(P)->getCond();