return false;
}
+/// SemaBuiltinVAStart - Check the arguments to __builtin_va_start for validity.
+/// Emit an error and return true on failure, return false on success.
bool Sema::SemaBuiltinVAStart(Expr *Fn, Expr** Args, unsigned NumArgs) {
if (NumArgs > 2) {
Diag(Args[2]->getLocStart(),
return true;
}
- FunctionTypeProto *Proto;
+ // Determine whether the current function is variadic or not.
+ bool isVariadic;
if (CurFunctionDecl)
- Proto = cast<FunctionTypeProto>(CurFunctionDecl->getType());
+ isVariadic =
+ cast<FunctionTypeProto>(CurFunctionDecl->getType())->isVariadic();
else
- Proto =
- cast<FunctionTypeProto>(ObjcGetTypeForMethodDefinition(CurMethodDecl));
+ isVariadic = CurMethodDecl->isVariadic();
- if (!Proto->isVariadic()) {
+ if (!isVariadic) {
Diag(Fn->getLocStart(), diag::err_va_start_used_in_non_variadic_function);
return true;
}
if (ImplicitCastExpr *IcExpr = dyn_cast<ImplicitCastExpr>(Fn))
if (DeclRefExpr *DRExpr = dyn_cast<DeclRefExpr>(IcExpr->getSubExpr()))
if (FunctionDecl *FDecl = dyn_cast<FunctionDecl>(DRExpr->getDecl()))
- if (CheckFunctionCall(Fn, RParenLoc, FDecl, Args, NumArgsInCall))
+ if (CheckFunctionCall(Fn, RParenLoc, FDecl, Args, NumArgsInCall)) {
+ // Function rejected, delete sub-ast's.
+ delete Fn;
+ for (unsigned i = 0; i != NumArgsInCall; ++i)
+ delete Args[i];
return true;
+ }
return new CallExpr(Fn, Args, NumArgsInCall, resultType, RParenLoc);
}