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

If the condition of a for statement is promoted, make sure the 

implicit cast gets linked back into the AST.

llvm-svn: 41523
This commit is contained in:
Chris Lattner 2007-08-28 04:55:47 +00:00
parent 0e258b8518
commit 773c0596b8
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
clang/Sema/SemaStmt.cpp
View File

@ -446,23 +446,27 @@ Sema::ParseDoStmt(SourceLocation DoLoc, StmtTy *Body,
Action::StmtResult
Sema::ParseForStmt(SourceLocation ForLoc, SourceLocation LParenLoc,
StmtTy *First, ExprTy *Second, ExprTy *Third,
SourceLocation RParenLoc, StmtTy *Body) {
StmtTy *first, ExprTy *second, ExprTy *third,
SourceLocation RParenLoc, StmtTy *body) {
Stmt *First = static_cast<Stmt*>(first);
Expr *Second = static_cast<Expr*>(second);
Expr *Third = static_cast<Expr*>(third);
Stmt *Body = static_cast<Stmt*>(body);
if (First) {
// C99 6.8.5p3: FIXME. Need to hack Parser::ParseForStatement() and
// declaration support to create a DeclStmt node. Once this is done,
// we can test for DeclStmt vs. Expr (already a sub-class of Stmt).
}
if (Second) {
Expr *testExpr = (Expr *)Second;
DefaultFunctionArrayConversion(testExpr);
QualType testType = testExpr->getType();
DefaultFunctionArrayConversion(Second);
QualType SecondType = Second->getType();
if (!testType->isScalarType()) // C99 6.8.5p2
if (!SecondType->isScalarType()) // C99 6.8.5p2
return Diag(ForLoc, diag::err_typecheck_statement_requires_scalar,
testType.getAsString(), testExpr->getSourceRange());
SecondType.getAsString(), Second->getSourceRange());
}
return new ForStmt((Stmt*)First, (Expr*)Second, (Expr*)Third, (Stmt*)Body);
return new ForStmt(First, Second, Third, Body);
}