diff options
author | Benjamin Kramer <benny.kra@googlemail.com> | 2013-03-30 11:56:00 +0000 |
---|---|---|
committer | Benjamin Kramer <benny.kra@googlemail.com> | 2013-03-30 11:56:00 +0000 |
commit | 66dca6eaaa2e9c24023fc919ab72b8ae2df1e288 (patch) | |
tree | 19d28f47ad47710b3b64e02dd71f54dedb93c493 | |
parent | 76f7761daee0fafd7609b25c95af4e011c743873 (diff) |
Sema: Don't crash when trying to emit a precedence warning on postinc/decrement.
Post-Inc can occur as a binary call (the infamous dummy int argument), but it's
not really a binary operator.
Fixes PR15628.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@178412 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Sema/SemaExpr.cpp | 3 | ||||
-rw-r--r-- | test/Sema/parentheses.cpp | 12 |
2 files changed, 14 insertions, 1 deletions
diff --git a/lib/Sema/SemaExpr.cpp b/lib/Sema/SemaExpr.cpp index 62bfa3c709..75da99c344 100644 --- a/lib/Sema/SemaExpr.cpp +++ b/lib/Sema/SemaExpr.cpp @@ -5412,7 +5412,8 @@ static bool IsArithmeticBinaryExpr(Expr *E, BinaryOperatorKind *Opcode, // Make sure this is really a binary operator that is safe to pass into // BinaryOperator::getOverloadedOpcode(), e.g. it's not a subscript op. OverloadedOperatorKind OO = Call->getOperator(); - if (OO < OO_Plus || OO > OO_Arrow) + if (OO < OO_Plus || OO > OO_Arrow || + OO == OO_PlusPlus || OO == OO_MinusMinus) return false; BinaryOperatorKind OpKind = BinaryOperator::getOverloadedOpcode(OO); diff --git a/test/Sema/parentheses.cpp b/test/Sema/parentheses.cpp index 8f5f24652d..da37dd397b 100644 --- a/test/Sema/parentheses.cpp +++ b/test/Sema/parentheses.cpp @@ -57,3 +57,15 @@ void test(int a, int b, int c) { Stream() >> b + c; // expected-warning {{operator '>>' has lower precedence than '+'; '+' will be evaluated first}} \ expected-note {{place parentheses around the '+' expression to silence this warning}} } + +namespace PR15628 { + struct BlockInputIter { + void* operator++(int); + void* operator--(int); + }; + + void test(BlockInputIter i) { + (void)(i++ ? true : false); // no-warning + (void)(i-- ? true : false); // no-warning + } +} |