diff options
Diffstat (limited to 'lib/AST/ExprConstant.cpp')
| -rw-r--r-- | lib/AST/ExprConstant.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/AST/ExprConstant.cpp b/lib/AST/ExprConstant.cpp index b34b59d907..5a65038a5f 100644 --- a/lib/AST/ExprConstant.cpp +++ b/lib/AST/ExprConstant.cpp @@ -1981,6 +1981,12 @@ bool IntExprEvaluator::VisitBinaryOperator(const BinaryOperator *E) { // unspecified or undefined behavior. if (!E->isEqualityOp()) return false; + // A constant address may compare equal to the address of a symbol. + // The one exception is that address of an object cannot compare equal + // to the null pointer. + if ((!LHSValue.Base && !LHSValue.Offset.isZero()) || + (!RHSValue.Base && !RHSValue.Offset.isZero())) + return false; // It's implementation-defined whether distinct literals will have // distinct addresses. We define it to be unspecified. if (IsLiteralLValue(LHSValue) || IsLiteralLValue(RHSValue)) |