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

PR4326: Handle constant evaluation for void* pointer subtraction 

correctly.

llvm-svn: 72886
This commit is contained in:
Eli Friedman 2009-06-04 20:04:03 +00:00
parent 5c273ce20e
commit 4a4fefcd29
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/lib/AST/ExprConstant.cpp
View File

@ -946,7 +946,12 @@ bool IntExprEvaluator::VisitBinaryOperator(const BinaryOperator *E) {
const QualType ElementType = Type->getAsPointerType()->getPointeeType();
uint64_t D = LHSValue.getLValueOffset() - RHSValue.getLValueOffset();
D /= Info.Ctx.getTypeSize(ElementType) / 8;
uint64_t ElemSize;
if (ElementType->isVoidType() || ElementType->isFunctionType())
ElemSize = 8;
else
ElemSize = Info.Ctx.getTypeSize(ElementType);
D /= ElemSize / 8;
return Success(D, E);
}

1
clang/test/Sema/const-eval.c
View File

@ -65,3 +65,4 @@ static const struct a V1 = (struct a){ 1, 2};
EVAL_EXPR(30, (int)(_Complex float)((1<<30)-1) == (1<<30) ? 1 : -1)
EVAL_EXPR(31, (int*)0 == (int*)0 ? 1 : -1)
EVAL_EXPR(32, (int*)0 != (int*)0 ? -1 : 1)
EVAL_EXPR(33, (void*)0 - (void*)0 == 0 ? 1 : -1)