From 460d138c19be357414e4ab56ec880e5451f95cb4 Mon Sep 17 00:00:00 2001 From: Mike Stump Date: Wed, 28 Oct 2009 21:22:24 +0000 Subject: [PATCH] Refine __builtin_object_size. Don't try and get a size for things that don't have sizes. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85435 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/AST/ExprConstant.cpp | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/lib/AST/ExprConstant.cpp b/lib/AST/ExprConstant.cpp index dc53289165..a4ca2c4db6 100644 --- a/lib/AST/ExprConstant.cpp +++ b/lib/AST/ExprConstant.cpp @@ -943,13 +943,18 @@ bool IntExprEvaluator::VisitCallExpr(const CallExpr *E) { if (const Expr *LVBase = Base.Val.getLValueBase()) if (const DeclRefExpr *DRE = dyn_cast(LVBase)) { if (const VarDecl *VD = dyn_cast(DRE->getDecl())) { - uint64_t Size = Info.Ctx.getTypeSize(VD->getType()) / 8; - uint64_t Offset = Base.Val.getLValueOffset(); - if (Offset <= Size) - Size -= Base.Val.getLValueOffset(); - else - Size = 0; - return Success(Size, E); + if (!VD->getType()->isIncompleteType() + && VD->getType()->isObjectType() + && !VD->getType()->isVariablyModifiedType() + && !VD->getType()->isDependentType()) { + uint64_t Size = Info.Ctx.getTypeSize(VD->getType()) / 8; + uint64_t Offset = Base.Val.getLValueOffset(); + if (Offset <= Size) + Size -= Base.Val.getLValueOffset(); + else + Size = 0; + return Success(Size, E); + } } } -- 2.40.0