mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-24 23:06:05 +00:00
1881f648e2
OpenCL has a reserved operator (^^), the use of which was diagnosed as
an error (735c6cdebdcd4292928079cb18a90f0dd5cd65fb). However, OpenCL
also encourages working with the blocks language extension. This token
has a parsing ambiguity as a result. Consider:
unsigned x=0;
unsigned y=x^^{return 0;}();
This should result in y holding the value zero (0^0) through an
immediately invoked block call as the right-hand side of the xor
operator. However, it causes errors instead because of this reserved
token: https://godbolt.org/z/navf7jTv1
This token is still reserved in OpenCL 3.0, so we still wish to issue a
diagnostic for its use. However, we do not need to create a token for an
extension point that's been unused for about a decade. So this patch
moves the diagnostic from a parsing diagnostic to a lexing diagnostic
and no longer forms a single token. The diagnostic behavior is slightly
worse as a result, but still seems acceptable.
Part of the reason this is coming up is because WG21 is considering
using ^^ as a token for reflection, so this token may come back in the
future.
77 lines
2.7 KiB
C++
77 lines
2.7 KiB
C++
//===--- OperatorPrecedence.cpp ---------------------------------*- C++ -*-===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
///
|
|
/// \file
|
|
/// Defines and computes precedence levels for binary/ternary operators.
|
|
///
|
|
//===----------------------------------------------------------------------===//
|
|
#include "clang/Basic/OperatorPrecedence.h"
|
|
|
|
namespace clang {
|
|
|
|
prec::Level getBinOpPrecedence(tok::TokenKind Kind, bool GreaterThanIsOperator,
|
|
bool CPlusPlus11) {
|
|
switch (Kind) {
|
|
case tok::greater:
|
|
// C++ [temp.names]p3:
|
|
// [...] When parsing a template-argument-list, the first
|
|
// non-nested > is taken as the ending delimiter rather than a
|
|
// greater-than operator. [...]
|
|
if (GreaterThanIsOperator)
|
|
return prec::Relational;
|
|
return prec::Unknown;
|
|
|
|
case tok::greatergreater:
|
|
// C++11 [temp.names]p3:
|
|
//
|
|
// [...] Similarly, the first non-nested >> is treated as two
|
|
// consecutive but distinct > tokens, the first of which is
|
|
// taken as the end of the template-argument-list and completes
|
|
// the template-id. [...]
|
|
if (GreaterThanIsOperator || !CPlusPlus11)
|
|
return prec::Shift;
|
|
return prec::Unknown;
|
|
|
|
default: return prec::Unknown;
|
|
case tok::comma: return prec::Comma;
|
|
case tok::equal:
|
|
case tok::starequal:
|
|
case tok::slashequal:
|
|
case tok::percentequal:
|
|
case tok::plusequal:
|
|
case tok::minusequal:
|
|
case tok::lesslessequal:
|
|
case tok::greatergreaterequal:
|
|
case tok::ampequal:
|
|
case tok::caretequal:
|
|
case tok::pipeequal: return prec::Assignment;
|
|
case tok::question: return prec::Conditional;
|
|
case tok::pipepipe: return prec::LogicalOr;
|
|
case tok::ampamp: return prec::LogicalAnd;
|
|
case tok::pipe: return prec::InclusiveOr;
|
|
case tok::caret: return prec::ExclusiveOr;
|
|
case tok::amp: return prec::And;
|
|
case tok::exclaimequal:
|
|
case tok::equalequal: return prec::Equality;
|
|
case tok::lessequal:
|
|
case tok::less:
|
|
case tok::greaterequal: return prec::Relational;
|
|
case tok::spaceship: return prec::Spaceship;
|
|
case tok::lessless: return prec::Shift;
|
|
case tok::plus:
|
|
case tok::minus: return prec::Additive;
|
|
case tok::percent:
|
|
case tok::slash:
|
|
case tok::star: return prec::Multiplicative;
|
|
case tok::periodstar:
|
|
case tok::arrowstar: return prec::PointerToMember;
|
|
}
|
|
}
|
|
|
|
} // namespace clang
|