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

When checking whether a return statement returns a stack-local 

variable, handle conditional operators involving a
throw-expression. Fixes GCC DejaGNU's g++.dg/template/cond4.C.

llvm-svn: 117027
This commit is contained in:
Douglas Gregor 2010-10-21 16:21:08 +00:00
parent ebdb43d54d
commit 270b2ef0e7
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
clang/lib/Sema/SemaChecking.cpp
View File

@ -1923,11 +1923,18 @@ static DeclRefExpr* EvalAddr(Expr *E) {
ConditionalOperator *C = cast<ConditionalOperator>(E); ConditionalOperator *C = cast<ConditionalOperator>(E);
// Handle the GNU extension for missing LHS. // Handle the GNU extension for missing LHS.
if (Expr *lhsExpr = C->getLHS()) if (Expr *lhsExpr = C->getLHS()) {
if (DeclRefExpr* LHS = EvalAddr(lhsExpr)) // In C++, we can have a throw-expression, which has 'void' type.
return LHS; if (!lhsExpr->getType()->isVoidType())
if (DeclRefExpr* LHS = EvalAddr(lhsExpr))
return LHS;
}
return EvalAddr(C->getRHS()); // In C++, we can have a throw-expression, which has 'void' type.
if (C->getRHS()->getType()->isVoidType())
return NULL;
return EvalAddr(C->getRHS());
} }
// For casts, we need to handle conversions from arrays to // For casts, we need to handle conversions from arrays to