diff options
author | Daniel Dunbar <daniel@zuster.org> | 2009-01-09 16:50:52 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2009-01-09 16:50:52 +0000 |
commit | ce1d38b8163650e473d7084e0686ed5a7956057b (patch) | |
tree | e18b771b9cb299dba6d1516f102545cf05980c1e /lib/CodeGen/CGExpr.cpp | |
parent | 09c4719788a5cea09897525e528fa00420f1677b (diff) |
Give "unsupported" error on calls through block pointers instead of
crashes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@61992 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/CGExpr.cpp')
-rw-r--r-- | lib/CodeGen/CGExpr.cpp | 28 |
1 files changed, 22 insertions, 6 deletions
diff --git a/lib/CodeGen/CGExpr.cpp b/lib/CodeGen/CGExpr.cpp index 2742395db8..9d7d8be2f0 100644 --- a/lib/CodeGen/CGExpr.cpp +++ b/lib/CodeGen/CGExpr.cpp @@ -83,6 +83,13 @@ unsigned CodeGenFunction::getAccessedFieldNo(unsigned Idx, // LValue Expression Emission //===----------------------------------------------------------------------===// +RValue CodeGenFunction::EmitUnsupportedRValue(const Expr *E, + const char *Name) { + ErrorUnsupported(E, Name); + llvm::Type *Ty = llvm::PointerType::getUnqual(ConvertType(E->getType())); + return RValue::get(llvm::UndefValue::get(Ty)); +} + LValue CodeGenFunction::EmitUnsupportedLValue(const Expr *E, const char *Name) { ErrorUnsupported(E, Name); @@ -903,6 +910,9 @@ RValue CodeGenFunction::EmitCallExpr(const CallExpr *E) { if (unsigned builtinID = FDecl->getIdentifier()->getBuiltinID()) return EmitBuiltinExpr(builtinID, E); + if (E->getCallee()->getType()->isBlockPointerType()) + return EmitUnsupportedRValue(E->getCallee(), "block pointer reference"); + llvm::Value *Callee = EmitScalarExpr(E->getCallee()); return EmitCallExpr(Callee, E->getCallee()->getType(), E->arg_begin(), E->arg_end()); @@ -1034,14 +1044,20 @@ CodeGenFunction::EmitObjCSuperExpr(const ObjCSuperExpr *E) { return EmitUnsupportedLValue(E, "use of super"); } -RValue CodeGenFunction::EmitCallExpr(llvm::Value *Callee, QualType FnType, +RValue CodeGenFunction::EmitCallExpr(llvm::Value *Callee, QualType CalleeType, CallExpr::const_arg_iterator ArgBeg, CallExpr::const_arg_iterator ArgEnd) { - - // The callee type will always be a pointer to function type, get the function - // type. - FnType = FnType->getAsPointerType()->getPointeeType(); - QualType ResultType = FnType->getAsFunctionType()->getResultType(); + // Get the actual function type. The callee type will always be a + // pointer to function type or a block pointer type. + QualType ResultType; + if (const BlockPointerType *BPT = dyn_cast<BlockPointerType>(CalleeType)) { + ResultType = BPT->getPointeeType()->getAsFunctionType()->getResultType(); + } else { + assert(CalleeType->isFunctionPointerType() && + "Call must have function pointer type!"); + QualType FnType = CalleeType->getAsPointerType()->getPointeeType(); + ResultType = FnType->getAsFunctionType()->getResultType(); + } CallArgList Args; for (CallExpr::const_arg_iterator I = ArgBeg; I != ArgEnd; ++I) |