diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2010-01-03 18:18:37 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2010-01-03 18:18:37 +0000 |
| commit | 0128f668a912fe06121a58d38f515e629e649ae5 (patch) | |
| tree | 4aa6dd39934e439a3a5348feaadace961fe17065 /clang | |
| parent | fd11f49b4e320c1fb43b99c42235273675d32642 (diff) | |
| download | bcm5719-llvm-0128f668a912fe06121a58d38f515e629e649ae5.tar.gz bcm5719-llvm-0128f668a912fe06121a58d38f515e629e649ae5.zip | |
__builtin_object_size(ptr, type) returns -1 for type = {0,1} if there are any side-effects.
llvm-svn: 92453
Diffstat (limited to 'clang')
| -rw-r--r-- | clang/lib/AST/ExprConstant.cpp | 2 | ||||
| -rw-r--r-- | clang/test/CodeGen/object-size.c | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/clang/lib/AST/ExprConstant.cpp b/clang/lib/AST/ExprConstant.cpp index 06afec7675f..d49a8216f3a 100644 --- a/clang/lib/AST/ExprConstant.cpp +++ b/clang/lib/AST/ExprConstant.cpp @@ -989,7 +989,7 @@ bool IntExprEvaluator::VisitCallExpr(const CallExpr *E) { // TODO: Perhaps we should let LLVM lower this? if (E->getArg(0)->HasSideEffects(Info.Ctx)) { - if (E->getArg(1)->EvaluateAsInt(Info.Ctx).getZExtValue() == 0) + if (E->getArg(1)->EvaluateAsInt(Info.Ctx).getZExtValue() <= 1) return Success(-1ULL, E); return Success(0, E); } diff --git a/clang/test/CodeGen/object-size.c b/clang/test/CodeGen/object-size.c index 4947c19a5de..4b8cd55c281 100644 --- a/clang/test/CodeGen/object-size.c +++ b/clang/test/CodeGen/object-size.c @@ -109,3 +109,14 @@ void test16() { // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %tmp1, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) strcpy(gp += 1, "Hi there"); } + +void test17() { + // CHECK: store i32 -1 + gi = __builtin_object_size(gp++, 0); + // CHECK: store i32 -1 + gi = __builtin_object_size(gp++, 1); + // CHECK: store i32 0 + gi = __builtin_object_size(gp++, 2); + // CHECK: store i32 0 + gi = __builtin_object_size(gp++, 3); +} |
