Provides the Expression parsing implementation. More...

#include "clang/AST/ASTContext.h"
#include "clang/AST/ExprCXX.h"
#include "clang/Basic/PrettyStackTrace.h"
#include "clang/Lex/LiteralSupport.h"
#include "clang/Parse/Parser.h"
#include "clang/Parse/RAIIObjectsForParser.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/EnterExpressionEvaluationContext.h"
#include "clang/Sema/ParsedTemplate.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/SemaCUDA.h"
#include "clang/Sema/SemaOpenMP.h"
#include "clang/Sema/SemaSYCL.h"
#include "clang/Sema/TypoCorrection.h"
#include "llvm/ADT/SmallVector.h"
#include <optional>
#include "clang/Basic/TransformTypeTraits.def"
#include "clang/Basic/OpenCLImageTypes.def"
#include "clang/Basic/TokenKinds.def"

Macros
#define	RTT_JOIN(X, Y) X##Y

#define	REVERTIBLE_TYPE_TRAIT(Name)

#define	TRANSFORM_TYPE_TRAIT_DEF(_, Trait) REVERTIBLE_TYPE_TRAIT(RTT_JOIN(__, Trait));

#define	GENERIC_IMAGE_TYPE(ImgType, Id) case tok::kw_##ImgType##_t:

#define	TYPE_TRAIT(N, Spelling, K) case tok::kw_##Spelling:

#define	TRANSFORM_TYPE_TRAIT_DEF(_, Trait) case tok::kw___##Trait:

Functions
static bool	CheckAvailabilitySpecList (Parser &P, ArrayRef< AvailabilitySpec > AvailSpecs)
	Validate availability spec list, emitting diagnostics if necessary.

Detailed Description

Provides the Expression parsing implementation.

Expressions in C99 basically consist of a bunch of binary operators with unary operators and other random stuff at the leaves.

In the C99 grammar, these unary operators bind tightest and are represented as the 'cast-expression' production. Everything else is either a binary operator (e.g. '/') or a ternary operator ("?:"). The unary leaves are handled by ParseCastExpression, the higher level pieces are handled by ParseBinaryExpression.

Definition in file ParseExpr.cpp.

Macro Definition Documentation

◆ GENERIC_IMAGE_TYPE

#define GENERIC_IMAGE_TYPE	(	ImgType,
		Id
	)	case tok::kw_##ImgType##_t:

◆ REVERTIBLE_TYPE_TRAIT

#define REVERTIBLE_TYPE_TRAIT ( Name )

Value:

RevertibleTypeTraits[PP.getIdentifierInfo(#Name)] \

= RTT_JOIN(tok::kw_,Name)

RTT_JOIN

#define RTT_JOIN(X, Y)

◆ RTT_JOIN

#define RTT_JOIN	(	X,
		Y
	)	X##Y

◆ TRANSFORM_TYPE_TRAIT_DEF [1/2]

#define TRANSFORM_TYPE_TRAIT_DEF	(	_,
		Trait
	)	REVERTIBLE_TYPE_TRAIT(RTT_JOIN(__, Trait));

◆ TRANSFORM_TYPE_TRAIT_DEF [2/2]

#define TRANSFORM_TYPE_TRAIT_DEF	(	_,
		Trait
	)	case tok::kw___##Trait:

◆ TYPE_TRAIT

#define TYPE_TRAIT	(	N,
		Spelling,
		K
	)	case tok::kw_##Spelling:

Function Documentation

◆ CheckAvailabilitySpecList()

static bool CheckAvailabilitySpecList	(	Parser &	P,
		ArrayRef< AvailabilitySpec >	AvailSpecs
	)

static

Validate availability spec list, emitting diagnostics if necessary.

Returns true if invalid.

Definition at line 3811 of file ParseExpr.cpp.

References clang::FixItHint::CreateInsertion(), and P.

Macros

Functions