Bug Summary

File:clang/lib/Parse/ParseExpr.cpp
Warning:line 946, column 11
Value stored to 'ParenExprType' is never read

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name ParseExpr.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -analyzer-config-compatibility-mode=true -mrelocation-model pic -pic-level 2 -mframe-pointer=none -relaxed-aliasing -fmath-errno -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -tune-cpu generic -fno-split-dwarf-inlining -debugger-tuning=gdb -ffunction-sections -fdata-sections -resource-dir /usr/lib/llvm-12/lib/clang/12.0.0 -D CLANG_VENDOR="Debian " -D _DEBUG -D _GNU_SOURCE -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -I /build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/build-llvm/tools/clang/lib/Parse -I /build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse -I /build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/include -I /build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/build-llvm/tools/clang/include -I /build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/build-llvm/include -I /build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/llvm/include -U NDEBUG -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/c++/6.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/x86_64-linux-gnu/c++/6.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/x86_64-linux-gnu/c++/6.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/c++/6.3.0/backward -internal-isystem /usr/local/include -internal-isystem /usr/lib/llvm-12/lib/clang/12.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O2 -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-maybe-uninitialized -Wno-comment -std=c++14 -fdeprecated-macro -fdebug-compilation-dir /build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/build-llvm/tools/clang/lib/Parse -fdebug-prefix-map=/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb=. -ferror-limit 19 -fvisibility-inlines-hidden -stack-protector 2 -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -analyzer-output=html -analyzer-config stable-report-filename=true -faddrsig -o /tmp/scan-build-2020-09-26-161721-17566-1 -x c++ /build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp
1//===--- ParseExpr.cpp - Expression Parsing -------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// Provides the Expression parsing implementation.
11///
12/// Expressions in C99 basically consist of a bunch of binary operators with
13/// unary operators and other random stuff at the leaves.
14///
15/// In the C99 grammar, these unary operators bind tightest and are represented
16/// as the 'cast-expression' production. Everything else is either a binary
17/// operator (e.g. '/') or a ternary operator ("?:"). The unary leaves are
18/// handled by ParseCastExpression, the higher level pieces are handled by
19/// ParseBinaryExpression.
20///
21//===----------------------------------------------------------------------===//
22
23#include "clang/Parse/Parser.h"
24#include "clang/AST/ASTContext.h"
25#include "clang/AST/ExprCXX.h"
26#include "clang/Basic/PrettyStackTrace.h"
27#include "clang/Parse/RAIIObjectsForParser.h"
28#include "clang/Sema/DeclSpec.h"
29#include "clang/Sema/ParsedTemplate.h"
30#include "clang/Sema/Scope.h"
31#include "clang/Sema/TypoCorrection.h"
32#include "llvm/ADT/SmallVector.h"
33using namespace clang;
34
35/// Simple precedence-based parser for binary/ternary operators.
36///
37/// Note: we diverge from the C99 grammar when parsing the assignment-expression
38/// production. C99 specifies that the LHS of an assignment operator should be
39/// parsed as a unary-expression, but consistency dictates that it be a
40/// conditional-expession. In practice, the important thing here is that the
41/// LHS of an assignment has to be an l-value, which productions between
42/// unary-expression and conditional-expression don't produce. Because we want
43/// consistency, we parse the LHS as a conditional-expression, then check for
44/// l-value-ness in semantic analysis stages.
45///
46/// \verbatim
47/// pm-expression: [C++ 5.5]
48/// cast-expression
49/// pm-expression '.*' cast-expression
50/// pm-expression '->*' cast-expression
51///
52/// multiplicative-expression: [C99 6.5.5]
53/// Note: in C++, apply pm-expression instead of cast-expression
54/// cast-expression
55/// multiplicative-expression '*' cast-expression
56/// multiplicative-expression '/' cast-expression
57/// multiplicative-expression '%' cast-expression
58///
59/// additive-expression: [C99 6.5.6]
60/// multiplicative-expression
61/// additive-expression '+' multiplicative-expression
62/// additive-expression '-' multiplicative-expression
63///
64/// shift-expression: [C99 6.5.7]
65/// additive-expression
66/// shift-expression '<<' additive-expression
67/// shift-expression '>>' additive-expression
68///
69/// compare-expression: [C++20 expr.spaceship]
70/// shift-expression
71/// compare-expression '<=>' shift-expression
72///
73/// relational-expression: [C99 6.5.8]
74/// compare-expression
75/// relational-expression '<' compare-expression
76/// relational-expression '>' compare-expression
77/// relational-expression '<=' compare-expression
78/// relational-expression '>=' compare-expression
79///
80/// equality-expression: [C99 6.5.9]
81/// relational-expression
82/// equality-expression '==' relational-expression
83/// equality-expression '!=' relational-expression
84///
85/// AND-expression: [C99 6.5.10]
86/// equality-expression
87/// AND-expression '&' equality-expression
88///
89/// exclusive-OR-expression: [C99 6.5.11]
90/// AND-expression
91/// exclusive-OR-expression '^' AND-expression
92///
93/// inclusive-OR-expression: [C99 6.5.12]
94/// exclusive-OR-expression
95/// inclusive-OR-expression '|' exclusive-OR-expression
96///
97/// logical-AND-expression: [C99 6.5.13]
98/// inclusive-OR-expression
99/// logical-AND-expression '&&' inclusive-OR-expression
100///
101/// logical-OR-expression: [C99 6.5.14]
102/// logical-AND-expression
103/// logical-OR-expression '||' logical-AND-expression
104///
105/// conditional-expression: [C99 6.5.15]
106/// logical-OR-expression
107/// logical-OR-expression '?' expression ':' conditional-expression
108/// [GNU] logical-OR-expression '?' ':' conditional-expression
109/// [C++] the third operand is an assignment-expression
110///
111/// assignment-expression: [C99 6.5.16]
112/// conditional-expression
113/// unary-expression assignment-operator assignment-expression
114/// [C++] throw-expression [C++ 15]
115///
116/// assignment-operator: one of
117/// = *= /= %= += -= <<= >>= &= ^= |=
118///
119/// expression: [C99 6.5.17]
120/// assignment-expression ...[opt]
121/// expression ',' assignment-expression ...[opt]
122/// \endverbatim
123ExprResult Parser::ParseExpression(TypeCastState isTypeCast) {
124 ExprResult LHS(ParseAssignmentExpression(isTypeCast));
125 return ParseRHSOfBinaryExpression(LHS, prec::Comma);
126}
127
128/// This routine is called when the '@' is seen and consumed.
129/// Current token is an Identifier and is not a 'try'. This
130/// routine is necessary to disambiguate \@try-statement from,
131/// for example, \@encode-expression.
132///
133ExprResult
134Parser::ParseExpressionWithLeadingAt(SourceLocation AtLoc) {
135 ExprResult LHS(ParseObjCAtExpression(AtLoc));
136 return ParseRHSOfBinaryExpression(LHS, prec::Comma);
137}
138
139/// This routine is called when a leading '__extension__' is seen and
140/// consumed. This is necessary because the token gets consumed in the
141/// process of disambiguating between an expression and a declaration.
142ExprResult
143Parser::ParseExpressionWithLeadingExtension(SourceLocation ExtLoc) {
144 ExprResult LHS(true);
145 {
146 // Silence extension warnings in the sub-expression
147 ExtensionRAIIObject O(Diags);
148
149 LHS = ParseCastExpression(AnyCastExpr);
150 }
151
152 if (!LHS.isInvalid())
153 LHS = Actions.ActOnUnaryOp(getCurScope(), ExtLoc, tok::kw___extension__,
154 LHS.get());
155
156 return ParseRHSOfBinaryExpression(LHS, prec::Comma);
157}
158
159/// Parse an expr that doesn't include (top-level) commas.
160ExprResult Parser::ParseAssignmentExpression(TypeCastState isTypeCast) {
161 if (Tok.is(tok::code_completion)) {
162 Actions.CodeCompleteExpression(getCurScope(),
163 PreferredType.get(Tok.getLocation()));
164 cutOffParsing();
165 return ExprError();
166 }
167
168 if (Tok.is(tok::kw_throw))
169 return ParseThrowExpression();
170 if (Tok.is(tok::kw_co_yield))
171 return ParseCoyieldExpression();
172
173 ExprResult LHS = ParseCastExpression(AnyCastExpr,
174 /*isAddressOfOperand=*/false,
175 isTypeCast);
176 return ParseRHSOfBinaryExpression(LHS, prec::Assignment);
177}
178
179/// Parse an assignment expression where part of an Objective-C message
180/// send has already been parsed.
181///
182/// In this case \p LBracLoc indicates the location of the '[' of the message
183/// send, and either \p ReceiverName or \p ReceiverExpr is non-null indicating
184/// the receiver of the message.
185///
186/// Since this handles full assignment-expression's, it handles postfix
187/// expressions and other binary operators for these expressions as well.
188ExprResult
189Parser::ParseAssignmentExprWithObjCMessageExprStart(SourceLocation LBracLoc,
190 SourceLocation SuperLoc,
191 ParsedType ReceiverType,
192 Expr *ReceiverExpr) {
193 ExprResult R
194 = ParseObjCMessageExpressionBody(LBracLoc, SuperLoc,
195 ReceiverType, ReceiverExpr);
196 R = ParsePostfixExpressionSuffix(R);
197 return ParseRHSOfBinaryExpression(R, prec::Assignment);
198}
199
200ExprResult
201Parser::ParseConstantExpressionInExprEvalContext(TypeCastState isTypeCast) {
202 assert(Actions.ExprEvalContexts.back().Context ==((Actions.ExprEvalContexts.back().Context == Sema::ExpressionEvaluationContext
::ConstantEvaluated && "Call this function only if your ExpressionEvaluationContext is "
"already ConstantEvaluated") ? static_cast<void> (0) :
__assert_fail ("Actions.ExprEvalContexts.back().Context == Sema::ExpressionEvaluationContext::ConstantEvaluated && \"Call this function only if your ExpressionEvaluationContext is \" \"already ConstantEvaluated\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 205, __PRETTY_FUNCTION__))
203 Sema::ExpressionEvaluationContext::ConstantEvaluated &&((Actions.ExprEvalContexts.back().Context == Sema::ExpressionEvaluationContext
::ConstantEvaluated && "Call this function only if your ExpressionEvaluationContext is "
"already ConstantEvaluated") ? static_cast<void> (0) :
__assert_fail ("Actions.ExprEvalContexts.back().Context == Sema::ExpressionEvaluationContext::ConstantEvaluated && \"Call this function only if your ExpressionEvaluationContext is \" \"already ConstantEvaluated\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 205, __PRETTY_FUNCTION__))
204 "Call this function only if your ExpressionEvaluationContext is "((Actions.ExprEvalContexts.back().Context == Sema::ExpressionEvaluationContext
::ConstantEvaluated && "Call this function only if your ExpressionEvaluationContext is "
"already ConstantEvaluated") ? static_cast<void> (0) :
__assert_fail ("Actions.ExprEvalContexts.back().Context == Sema::ExpressionEvaluationContext::ConstantEvaluated && \"Call this function only if your ExpressionEvaluationContext is \" \"already ConstantEvaluated\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 205, __PRETTY_FUNCTION__))
205 "already ConstantEvaluated")((Actions.ExprEvalContexts.back().Context == Sema::ExpressionEvaluationContext
::ConstantEvaluated && "Call this function only if your ExpressionEvaluationContext is "
"already ConstantEvaluated") ? static_cast<void> (0) :
__assert_fail ("Actions.ExprEvalContexts.back().Context == Sema::ExpressionEvaluationContext::ConstantEvaluated && \"Call this function only if your ExpressionEvaluationContext is \" \"already ConstantEvaluated\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 205, __PRETTY_FUNCTION__))
;
206 ExprResult LHS(ParseCastExpression(AnyCastExpr, false, isTypeCast));
207 ExprResult Res(ParseRHSOfBinaryExpression(LHS, prec::Conditional));
208 return Actions.ActOnConstantExpression(Res);
209}
210
211ExprResult Parser::ParseConstantExpression(TypeCastState isTypeCast) {
212 // C++03 [basic.def.odr]p2:
213 // An expression is potentially evaluated unless it appears where an
214 // integral constant expression is required (see 5.19) [...].
215 // C++98 and C++11 have no such rule, but this is only a defect in C++98.
216 EnterExpressionEvaluationContext ConstantEvaluated(
217 Actions, Sema::ExpressionEvaluationContext::ConstantEvaluated);
218 return ParseConstantExpressionInExprEvalContext(isTypeCast);
219}
220
221ExprResult Parser::ParseCaseExpression(SourceLocation CaseLoc) {
222 EnterExpressionEvaluationContext ConstantEvaluated(
223 Actions, Sema::ExpressionEvaluationContext::ConstantEvaluated);
224 ExprResult LHS(ParseCastExpression(AnyCastExpr, false, NotTypeCast));
225 ExprResult Res(ParseRHSOfBinaryExpression(LHS, prec::Conditional));
226 return Actions.ActOnCaseExpr(CaseLoc, Res);
227}
228
229/// Parse a constraint-expression.
230///
231/// \verbatim
232/// constraint-expression: C++2a[temp.constr.decl]p1
233/// logical-or-expression
234/// \endverbatim
235ExprResult Parser::ParseConstraintExpression() {
236 EnterExpressionEvaluationContext ConstantEvaluated(
237 Actions, Sema::ExpressionEvaluationContext::Unevaluated);
238 ExprResult LHS(ParseCastExpression(AnyCastExpr));
239 ExprResult Res(ParseRHSOfBinaryExpression(LHS, prec::LogicalOr));
240 if (Res.isUsable() && !Actions.CheckConstraintExpression(Res.get())) {
241 Actions.CorrectDelayedTyposInExpr(Res);
242 return ExprError();
243 }
244 return Res;
245}
246
247/// \brief Parse a constraint-logical-and-expression.
248///
249/// \verbatim
250/// C++2a[temp.constr.decl]p1
251/// constraint-logical-and-expression:
252/// primary-expression
253/// constraint-logical-and-expression '&&' primary-expression
254///
255/// \endverbatim
256ExprResult
257Parser::ParseConstraintLogicalAndExpression(bool IsTrailingRequiresClause) {
258 EnterExpressionEvaluationContext ConstantEvaluated(
259 Actions, Sema::ExpressionEvaluationContext::Unevaluated);
260 bool NotPrimaryExpression = false;
261 auto ParsePrimary = [&] () {
262 ExprResult E = ParseCastExpression(PrimaryExprOnly,
263 /*isAddressOfOperand=*/false,
264 /*isTypeCast=*/NotTypeCast,
265 /*isVectorLiteral=*/false,
266 &NotPrimaryExpression);
267 if (E.isInvalid())
268 return ExprError();
269 auto RecoverFromNonPrimary = [&] (ExprResult E, bool Note) {
270 E = ParsePostfixExpressionSuffix(E);
271 // Use InclusiveOr, the precedence just after '&&' to not parse the
272 // next arguments to the logical and.
273 E = ParseRHSOfBinaryExpression(E, prec::InclusiveOr);
274 if (!E.isInvalid())
275 Diag(E.get()->getExprLoc(),
276 Note
277 ? diag::note_unparenthesized_non_primary_expr_in_requires_clause
278 : diag::err_unparenthesized_non_primary_expr_in_requires_clause)
279 << FixItHint::CreateInsertion(E.get()->getBeginLoc(), "(")
280 << FixItHint::CreateInsertion(
281 PP.getLocForEndOfToken(E.get()->getEndLoc()), ")")
282 << E.get()->getSourceRange();
283 return E;
284 };
285
286 if (NotPrimaryExpression ||
287 // Check if the following tokens must be a part of a non-primary
288 // expression
289 getBinOpPrecedence(Tok.getKind(), GreaterThanIsOperator,
290 /*CPlusPlus11=*/true) > prec::LogicalAnd ||
291 // Postfix operators other than '(' (which will be checked for in
292 // CheckConstraintExpression).
293 Tok.isOneOf(tok::period, tok::plusplus, tok::minusminus) ||
294 (Tok.is(tok::l_square) && !NextToken().is(tok::l_square))) {
295 E = RecoverFromNonPrimary(E, /*Note=*/false);
296 if (E.isInvalid())
297 return ExprError();
298 NotPrimaryExpression = false;
299 }
300 bool PossibleNonPrimary;
301 bool IsConstraintExpr =
302 Actions.CheckConstraintExpression(E.get(), Tok, &PossibleNonPrimary,
303 IsTrailingRequiresClause);
304 if (!IsConstraintExpr || PossibleNonPrimary) {
305 // Atomic constraint might be an unparenthesized non-primary expression
306 // (such as a binary operator), in which case we might get here (e.g. in
307 // 'requires 0 + 1 && true' we would now be at '+', and parse and ignore
308 // the rest of the addition expression). Try to parse the rest of it here.
309 if (PossibleNonPrimary)
310 E = RecoverFromNonPrimary(E, /*Note=*/!IsConstraintExpr);
311 Actions.CorrectDelayedTyposInExpr(E);
312 return ExprError();
313 }
314 return E;
315 };
316 ExprResult LHS = ParsePrimary();
317 if (LHS.isInvalid())
318 return ExprError();
319 while (Tok.is(tok::ampamp)) {
320 SourceLocation LogicalAndLoc = ConsumeToken();
321 ExprResult RHS = ParsePrimary();
322 if (RHS.isInvalid()) {
323 Actions.CorrectDelayedTyposInExpr(LHS);
324 return ExprError();
325 }
326 ExprResult Op = Actions.ActOnBinOp(getCurScope(), LogicalAndLoc,
327 tok::ampamp, LHS.get(), RHS.get());
328 if (!Op.isUsable()) {
329 Actions.CorrectDelayedTyposInExpr(RHS);
330 Actions.CorrectDelayedTyposInExpr(LHS);
331 return ExprError();
332 }
333 LHS = Op;
334 }
335 return LHS;
336}
337
338/// \brief Parse a constraint-logical-or-expression.
339///
340/// \verbatim
341/// C++2a[temp.constr.decl]p1
342/// constraint-logical-or-expression:
343/// constraint-logical-and-expression
344/// constraint-logical-or-expression '||'
345/// constraint-logical-and-expression
346///
347/// \endverbatim
348ExprResult
349Parser::ParseConstraintLogicalOrExpression(bool IsTrailingRequiresClause) {
350 ExprResult LHS(ParseConstraintLogicalAndExpression(IsTrailingRequiresClause));
351 if (!LHS.isUsable())
352 return ExprError();
353 while (Tok.is(tok::pipepipe)) {
354 SourceLocation LogicalOrLoc = ConsumeToken();
355 ExprResult RHS =
356 ParseConstraintLogicalAndExpression(IsTrailingRequiresClause);
357 if (!RHS.isUsable()) {
358 Actions.CorrectDelayedTyposInExpr(LHS);
359 return ExprError();
360 }
361 ExprResult Op = Actions.ActOnBinOp(getCurScope(), LogicalOrLoc,
362 tok::pipepipe, LHS.get(), RHS.get());
363 if (!Op.isUsable()) {
364 Actions.CorrectDelayedTyposInExpr(RHS);
365 Actions.CorrectDelayedTyposInExpr(LHS);
366 return ExprError();
367 }
368 LHS = Op;
369 }
370 return LHS;
371}
372
373bool Parser::isNotExpressionStart() {
374 tok::TokenKind K = Tok.getKind();
375 if (K == tok::l_brace || K == tok::r_brace ||
376 K == tok::kw_for || K == tok::kw_while ||
377 K == tok::kw_if || K == tok::kw_else ||
378 K == tok::kw_goto || K == tok::kw_try)
379 return true;
380 // If this is a decl-specifier, we can't be at the start of an expression.
381 return isKnownToBeDeclarationSpecifier();
382}
383
384bool Parser::isFoldOperator(prec::Level Level) const {
385 return Level > prec::Unknown && Level != prec::Conditional &&
386 Level != prec::Spaceship;
387}
388
389bool Parser::isFoldOperator(tok::TokenKind Kind) const {
390 return isFoldOperator(getBinOpPrecedence(Kind, GreaterThanIsOperator, true));
391}
392
393/// Parse a binary expression that starts with \p LHS and has a
394/// precedence of at least \p MinPrec.
395ExprResult
396Parser::ParseRHSOfBinaryExpression(ExprResult LHS, prec::Level MinPrec) {
397 prec::Level NextTokPrec = getBinOpPrecedence(Tok.getKind(),
398 GreaterThanIsOperator,
399 getLangOpts().CPlusPlus11);
400 SourceLocation ColonLoc;
401
402 auto SavedType = PreferredType;
403 while (1) {
404 // Every iteration may rely on a preferred type for the whole expression.
405 PreferredType = SavedType;
406 // If this token has a lower precedence than we are allowed to parse (e.g.
407 // because we are called recursively, or because the token is not a binop),
408 // then we are done!
409 if (NextTokPrec < MinPrec)
410 return LHS;
411
412 // Consume the operator, saving the operator token for error reporting.
413 Token OpToken = Tok;
414 ConsumeToken();
415
416 if (OpToken.is(tok::caretcaret)) {
417 return ExprError(Diag(Tok, diag::err_opencl_logical_exclusive_or));
418 }
419
420 // If we're potentially in a template-id, we may now be able to determine
421 // whether we're actually in one or not.
422 if (OpToken.isOneOf(tok::comma, tok::greater, tok::greatergreater,
423 tok::greatergreatergreater) &&
424 checkPotentialAngleBracketDelimiter(OpToken))
425 return ExprError();
426
427 // Bail out when encountering a comma followed by a token which can't
428 // possibly be the start of an expression. For instance:
429 // int f() { return 1, }
430 // We can't do this before consuming the comma, because
431 // isNotExpressionStart() looks at the token stream.
432 if (OpToken.is(tok::comma) && isNotExpressionStart()) {
433 PP.EnterToken(Tok, /*IsReinject*/true);
434 Tok = OpToken;
435 return LHS;
436 }
437
438 // If the next token is an ellipsis, then this is a fold-expression. Leave
439 // it alone so we can handle it in the paren expression.
440 if (isFoldOperator(NextTokPrec) && Tok.is(tok::ellipsis)) {
441 // FIXME: We can't check this via lookahead before we consume the token
442 // because that tickles a lexer bug.
443 PP.EnterToken(Tok, /*IsReinject*/true);
444 Tok = OpToken;
445 return LHS;
446 }
447
448 // In Objective-C++, alternative operator tokens can be used as keyword args
449 // in message expressions. Unconsume the token so that it can reinterpreted
450 // as an identifier in ParseObjCMessageExpressionBody. i.e., we support:
451 // [foo meth:0 and:0];
452 // [foo not_eq];
453 if (getLangOpts().ObjC && getLangOpts().CPlusPlus &&
454 Tok.isOneOf(tok::colon, tok::r_square) &&
455 OpToken.getIdentifierInfo() != nullptr) {
456 PP.EnterToken(Tok, /*IsReinject*/true);
457 Tok = OpToken;
458 return LHS;
459 }
460
461 // Special case handling for the ternary operator.
462 ExprResult TernaryMiddle(true);
463 if (NextTokPrec == prec::Conditional) {
464 if (getLangOpts().CPlusPlus11 && Tok.is(tok::l_brace)) {
465 // Parse a braced-init-list here for error recovery purposes.
466 SourceLocation BraceLoc = Tok.getLocation();
467 TernaryMiddle = ParseBraceInitializer();
468 if (!TernaryMiddle.isInvalid()) {
469 Diag(BraceLoc, diag::err_init_list_bin_op)
470 << /*RHS*/ 1 << PP.getSpelling(OpToken)
471 << Actions.getExprRange(TernaryMiddle.get());
472 TernaryMiddle = ExprError();
473 }
474 } else if (Tok.isNot(tok::colon)) {
475 // Don't parse FOO:BAR as if it were a typo for FOO::BAR.
476 ColonProtectionRAIIObject X(*this);
477
478 // Handle this production specially:
479 // logical-OR-expression '?' expression ':' conditional-expression
480 // In particular, the RHS of the '?' is 'expression', not
481 // 'logical-OR-expression' as we might expect.
482 TernaryMiddle = ParseExpression();
483 } else {
484 // Special case handling of "X ? Y : Z" where Y is empty:
485 // logical-OR-expression '?' ':' conditional-expression [GNU]
486 TernaryMiddle = nullptr;
487 Diag(Tok, diag::ext_gnu_conditional_expr);
488 }
489
490 if (TernaryMiddle.isInvalid()) {
491 Actions.CorrectDelayedTyposInExpr(LHS);
492 LHS = ExprError();
493 TernaryMiddle = nullptr;
494 }
495
496 if (!TryConsumeToken(tok::colon, ColonLoc)) {
497 // Otherwise, we're missing a ':'. Assume that this was a typo that
498 // the user forgot. If we're not in a macro expansion, we can suggest
499 // a fixit hint. If there were two spaces before the current token,
500 // suggest inserting the colon in between them, otherwise insert ": ".
501 SourceLocation FILoc = Tok.getLocation();
502 const char *FIText = ": ";
503 const SourceManager &SM = PP.getSourceManager();
504 if (FILoc.isFileID() || PP.isAtStartOfMacroExpansion(FILoc, &FILoc)) {
505 assert(FILoc.isFileID())((FILoc.isFileID()) ? static_cast<void> (0) : __assert_fail
("FILoc.isFileID()", "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 505, __PRETTY_FUNCTION__))
;
506 bool IsInvalid = false;
507 const char *SourcePtr =
508 SM.getCharacterData(FILoc.getLocWithOffset(-1), &IsInvalid);
509 if (!IsInvalid && *SourcePtr == ' ') {
510 SourcePtr =
511 SM.getCharacterData(FILoc.getLocWithOffset(-2), &IsInvalid);
512 if (!IsInvalid && *SourcePtr == ' ') {
513 FILoc = FILoc.getLocWithOffset(-1);
514 FIText = ":";
515 }
516 }
517 }
518
519 Diag(Tok, diag::err_expected)
520 << tok::colon << FixItHint::CreateInsertion(FILoc, FIText);
521 Diag(OpToken, diag::note_matching) << tok::question;
522 ColonLoc = Tok.getLocation();
523 }
524 }
525
526 PreferredType.enterBinary(Actions, Tok.getLocation(), LHS.get(),
527 OpToken.getKind());
528 // Parse another leaf here for the RHS of the operator.
529 // ParseCastExpression works here because all RHS expressions in C have it
530 // as a prefix, at least. However, in C++, an assignment-expression could
531 // be a throw-expression, which is not a valid cast-expression.
532 // Therefore we need some special-casing here.
533 // Also note that the third operand of the conditional operator is
534 // an assignment-expression in C++, and in C++11, we can have a
535 // braced-init-list on the RHS of an assignment. For better diagnostics,
536 // parse as if we were allowed braced-init-lists everywhere, and check that
537 // they only appear on the RHS of assignments later.
538 ExprResult RHS;
539 bool RHSIsInitList = false;
540 if (getLangOpts().CPlusPlus11 && Tok.is(tok::l_brace)) {
541 RHS = ParseBraceInitializer();
542 RHSIsInitList = true;
543 } else if (getLangOpts().CPlusPlus && NextTokPrec <= prec::Conditional)
544 RHS = ParseAssignmentExpression();
545 else
546 RHS = ParseCastExpression(AnyCastExpr);
547
548 if (RHS.isInvalid()) {
549 // FIXME: Errors generated by the delayed typo correction should be
550 // printed before errors from parsing the RHS, not after.
551 Actions.CorrectDelayedTyposInExpr(LHS);
552 if (TernaryMiddle.isUsable())
553 TernaryMiddle = Actions.CorrectDelayedTyposInExpr(TernaryMiddle);
554 LHS = ExprError();
555 }
556
557 // Remember the precedence of this operator and get the precedence of the
558 // operator immediately to the right of the RHS.
559 prec::Level ThisPrec = NextTokPrec;
560 NextTokPrec = getBinOpPrecedence(Tok.getKind(), GreaterThanIsOperator,
561 getLangOpts().CPlusPlus11);
562
563 // Assignment and conditional expressions are right-associative.
564 bool isRightAssoc = ThisPrec == prec::Conditional ||
565 ThisPrec == prec::Assignment;
566
567 // Get the precedence of the operator to the right of the RHS. If it binds
568 // more tightly with RHS than we do, evaluate it completely first.
569 if (ThisPrec < NextTokPrec ||
570 (ThisPrec == NextTokPrec && isRightAssoc)) {
571 if (!RHS.isInvalid() && RHSIsInitList) {
572 Diag(Tok, diag::err_init_list_bin_op)
573 << /*LHS*/0 << PP.getSpelling(Tok) << Actions.getExprRange(RHS.get());
574 RHS = ExprError();
575 }
576 // If this is left-associative, only parse things on the RHS that bind
577 // more tightly than the current operator. If it is left-associative, it
578 // is okay, to bind exactly as tightly. For example, compile A=B=C=D as
579 // A=(B=(C=D)), where each paren is a level of recursion here.
580 // The function takes ownership of the RHS.
581 RHS = ParseRHSOfBinaryExpression(RHS,
582 static_cast<prec::Level>(ThisPrec + !isRightAssoc));
583 RHSIsInitList = false;
584
585 if (RHS.isInvalid()) {
586 // FIXME: Errors generated by the delayed typo correction should be
587 // printed before errors from ParseRHSOfBinaryExpression, not after.
588 Actions.CorrectDelayedTyposInExpr(LHS);
589 if (TernaryMiddle.isUsable())
590 TernaryMiddle = Actions.CorrectDelayedTyposInExpr(TernaryMiddle);
591 LHS = ExprError();
592 }
593
594 NextTokPrec = getBinOpPrecedence(Tok.getKind(), GreaterThanIsOperator,
595 getLangOpts().CPlusPlus11);
596 }
597
598 if (!RHS.isInvalid() && RHSIsInitList) {
599 if (ThisPrec == prec::Assignment) {
600 Diag(OpToken, diag::warn_cxx98_compat_generalized_initializer_lists)
601 << Actions.getExprRange(RHS.get());
602 } else if (ColonLoc.isValid()) {
603 Diag(ColonLoc, diag::err_init_list_bin_op)
604 << /*RHS*/1 << ":"
605 << Actions.getExprRange(RHS.get());
606 LHS = ExprError();
607 } else {
608 Diag(OpToken, diag::err_init_list_bin_op)
609 << /*RHS*/1 << PP.getSpelling(OpToken)
610 << Actions.getExprRange(RHS.get());
611 LHS = ExprError();
612 }
613 }
614
615 ExprResult OrigLHS = LHS;
616 if (!LHS.isInvalid()) {
617 // Combine the LHS and RHS into the LHS (e.g. build AST).
618 if (TernaryMiddle.isInvalid()) {
619 // If we're using '>>' as an operator within a template
620 // argument list (in C++98), suggest the addition of
621 // parentheses so that the code remains well-formed in C++0x.
622 if (!GreaterThanIsOperator && OpToken.is(tok::greatergreater))
623 SuggestParentheses(OpToken.getLocation(),
624 diag::warn_cxx11_right_shift_in_template_arg,
625 SourceRange(Actions.getExprRange(LHS.get()).getBegin(),
626 Actions.getExprRange(RHS.get()).getEnd()));
627
628 ExprResult BinOp =
629 Actions.ActOnBinOp(getCurScope(), OpToken.getLocation(),
630 OpToken.getKind(), LHS.get(), RHS.get());
631 if (BinOp.isInvalid())
632 BinOp = Actions.CreateRecoveryExpr(LHS.get()->getBeginLoc(),
633 RHS.get()->getEndLoc(),
634 {LHS.get(), RHS.get()});
635
636 LHS = BinOp;
637 } else {
638 ExprResult CondOp = Actions.ActOnConditionalOp(
639 OpToken.getLocation(), ColonLoc, LHS.get(), TernaryMiddle.get(),
640 RHS.get());
641 if (CondOp.isInvalid()) {
642 std::vector<clang::Expr *> Args;
643 // TernaryMiddle can be null for the GNU conditional expr extension.
644 if (TernaryMiddle.get())
645 Args = {LHS.get(), TernaryMiddle.get(), RHS.get()};
646 else
647 Args = {LHS.get(), RHS.get()};
648 CondOp = Actions.CreateRecoveryExpr(LHS.get()->getBeginLoc(),
649 RHS.get()->getEndLoc(), Args);
650 }
651
652 LHS = CondOp;
653 }
654 // In this case, ActOnBinOp or ActOnConditionalOp performed the
655 // CorrectDelayedTyposInExpr check.
656 if (!getLangOpts().CPlusPlus)
657 continue;
658 }
659
660 // Ensure potential typos aren't left undiagnosed.
661 if (LHS.isInvalid()) {
662 Actions.CorrectDelayedTyposInExpr(OrigLHS);
663 Actions.CorrectDelayedTyposInExpr(TernaryMiddle);
664 Actions.CorrectDelayedTyposInExpr(RHS);
665 }
666 }
667}
668
669/// Parse a cast-expression, unary-expression or primary-expression, based
670/// on \p ExprType.
671///
672/// \p isAddressOfOperand exists because an id-expression that is the
673/// operand of address-of gets special treatment due to member pointers.
674///
675ExprResult Parser::ParseCastExpression(CastParseKind ParseKind,
676 bool isAddressOfOperand,
677 TypeCastState isTypeCast,
678 bool isVectorLiteral,
679 bool *NotPrimaryExpression) {
680 bool NotCastExpr;
681 ExprResult Res = ParseCastExpression(ParseKind,
682 isAddressOfOperand,
683 NotCastExpr,
684 isTypeCast,
685 isVectorLiteral,
686 NotPrimaryExpression);
687 if (NotCastExpr)
688 Diag(Tok, diag::err_expected_expression);
689 return Res;
690}
691
692namespace {
693class CastExpressionIdValidator final : public CorrectionCandidateCallback {
694 public:
695 CastExpressionIdValidator(Token Next, bool AllowTypes, bool AllowNonTypes)
696 : NextToken(Next), AllowNonTypes(AllowNonTypes) {
697 WantTypeSpecifiers = WantFunctionLikeCasts = AllowTypes;
698 }
699
700 bool ValidateCandidate(const TypoCorrection &candidate) override {
701 NamedDecl *ND = candidate.getCorrectionDecl();
702 if (!ND)
703 return candidate.isKeyword();
704
705 if (isa<TypeDecl>(ND))
706 return WantTypeSpecifiers;
707
708 if (!AllowNonTypes || !CorrectionCandidateCallback::ValidateCandidate(candidate))
709 return false;
710
711 if (!NextToken.isOneOf(tok::equal, tok::arrow, tok::period))
712 return true;
713
714 for (auto *C : candidate) {
715 NamedDecl *ND = C->getUnderlyingDecl();
716 if (isa<ValueDecl>(ND) && !isa<FunctionDecl>(ND))
717 return true;
718 }
719 return false;
720 }
721
722 std::unique_ptr<CorrectionCandidateCallback> clone() override {
723 return std::make_unique<CastExpressionIdValidator>(*this);
724 }
725
726 private:
727 Token NextToken;
728 bool AllowNonTypes;
729};
730}
731
732/// Parse a cast-expression, or, if \pisUnaryExpression is true, parse
733/// a unary-expression.
734///
735/// \p isAddressOfOperand exists because an id-expression that is the operand
736/// of address-of gets special treatment due to member pointers. NotCastExpr
737/// is set to true if the token is not the start of a cast-expression, and no
738/// diagnostic is emitted in this case and no tokens are consumed.
739///
740/// \verbatim
741/// cast-expression: [C99 6.5.4]
742/// unary-expression
743/// '(' type-name ')' cast-expression
744///
745/// unary-expression: [C99 6.5.3]
746/// postfix-expression
747/// '++' unary-expression
748/// '--' unary-expression
749/// [Coro] 'co_await' cast-expression
750/// unary-operator cast-expression
751/// 'sizeof' unary-expression
752/// 'sizeof' '(' type-name ')'
753/// [C++11] 'sizeof' '...' '(' identifier ')'
754/// [GNU] '__alignof' unary-expression
755/// [GNU] '__alignof' '(' type-name ')'
756/// [C11] '_Alignof' '(' type-name ')'
757/// [C++11] 'alignof' '(' type-id ')'
758/// [GNU] '&&' identifier
759/// [C++11] 'noexcept' '(' expression ')' [C++11 5.3.7]
760/// [C++] new-expression
761/// [C++] delete-expression
762///
763/// unary-operator: one of
764/// '&' '*' '+' '-' '~' '!'
765/// [GNU] '__extension__' '__real' '__imag'
766///
767/// primary-expression: [C99 6.5.1]
768/// [C99] identifier
769/// [C++] id-expression
770/// constant
771/// string-literal
772/// [C++] boolean-literal [C++ 2.13.5]
773/// [C++11] 'nullptr' [C++11 2.14.7]
774/// [C++11] user-defined-literal
775/// '(' expression ')'
776/// [C11] generic-selection
777/// [C++2a] requires-expression
778/// '__func__' [C99 6.4.2.2]
779/// [GNU] '__FUNCTION__'
780/// [MS] '__FUNCDNAME__'
781/// [MS] 'L__FUNCTION__'
782/// [MS] '__FUNCSIG__'
783/// [MS] 'L__FUNCSIG__'
784/// [GNU] '__PRETTY_FUNCTION__'
785/// [GNU] '(' compound-statement ')'
786/// [GNU] '__builtin_va_arg' '(' assignment-expression ',' type-name ')'
787/// [GNU] '__builtin_offsetof' '(' type-name ',' offsetof-member-designator')'
788/// [GNU] '__builtin_choose_expr' '(' assign-expr ',' assign-expr ','
789/// assign-expr ')'
790/// [GNU] '__builtin_FILE' '(' ')'
791/// [GNU] '__builtin_FUNCTION' '(' ')'
792/// [GNU] '__builtin_LINE' '(' ')'
793/// [CLANG] '__builtin_COLUMN' '(' ')'
794/// [GNU] '__builtin_types_compatible_p' '(' type-name ',' type-name ')'
795/// [GNU] '__null'
796/// [OBJC] '[' objc-message-expr ']'
797/// [OBJC] '\@selector' '(' objc-selector-arg ')'
798/// [OBJC] '\@protocol' '(' identifier ')'
799/// [OBJC] '\@encode' '(' type-name ')'
800/// [OBJC] objc-string-literal
801/// [C++] simple-type-specifier '(' expression-list[opt] ')' [C++ 5.2.3]
802/// [C++11] simple-type-specifier braced-init-list [C++11 5.2.3]
803/// [C++] typename-specifier '(' expression-list[opt] ')' [C++ 5.2.3]
804/// [C++11] typename-specifier braced-init-list [C++11 5.2.3]
805/// [C++] 'const_cast' '<' type-name '>' '(' expression ')' [C++ 5.2p1]
806/// [C++] 'dynamic_cast' '<' type-name '>' '(' expression ')' [C++ 5.2p1]
807/// [C++] 'reinterpret_cast' '<' type-name '>' '(' expression ')' [C++ 5.2p1]
808/// [C++] 'static_cast' '<' type-name '>' '(' expression ')' [C++ 5.2p1]
809/// [C++] 'typeid' '(' expression ')' [C++ 5.2p1]
810/// [C++] 'typeid' '(' type-id ')' [C++ 5.2p1]
811/// [C++] 'this' [C++ 9.3.2]
812/// [G++] unary-type-trait '(' type-id ')'
813/// [G++] binary-type-trait '(' type-id ',' type-id ')' [TODO]
814/// [EMBT] array-type-trait '(' type-id ',' integer ')'
815/// [clang] '^' block-literal
816///
817/// constant: [C99 6.4.4]
818/// integer-constant
819/// floating-constant
820/// enumeration-constant -> identifier
821/// character-constant
822///
823/// id-expression: [C++ 5.1]
824/// unqualified-id
825/// qualified-id
826///
827/// unqualified-id: [C++ 5.1]
828/// identifier
829/// operator-function-id
830/// conversion-function-id
831/// '~' class-name
832/// template-id
833///
834/// new-expression: [C++ 5.3.4]
835/// '::'[opt] 'new' new-placement[opt] new-type-id
836/// new-initializer[opt]
837/// '::'[opt] 'new' new-placement[opt] '(' type-id ')'
838/// new-initializer[opt]
839///
840/// delete-expression: [C++ 5.3.5]
841/// '::'[opt] 'delete' cast-expression
842/// '::'[opt] 'delete' '[' ']' cast-expression
843///
844/// [GNU/Embarcadero] unary-type-trait:
845/// '__is_arithmetic'
846/// '__is_floating_point'
847/// '__is_integral'
848/// '__is_lvalue_expr'
849/// '__is_rvalue_expr'
850/// '__is_complete_type'
851/// '__is_void'
852/// '__is_array'
853/// '__is_function'
854/// '__is_reference'
855/// '__is_lvalue_reference'
856/// '__is_rvalue_reference'
857/// '__is_fundamental'
858/// '__is_object'
859/// '__is_scalar'
860/// '__is_compound'
861/// '__is_pointer'
862/// '__is_member_object_pointer'
863/// '__is_member_function_pointer'
864/// '__is_member_pointer'
865/// '__is_const'
866/// '__is_volatile'
867/// '__is_trivial'
868/// '__is_standard_layout'
869/// '__is_signed'
870/// '__is_unsigned'
871///
872/// [GNU] unary-type-trait:
873/// '__has_nothrow_assign'
874/// '__has_nothrow_copy'
875/// '__has_nothrow_constructor'
876/// '__has_trivial_assign' [TODO]
877/// '__has_trivial_copy' [TODO]
878/// '__has_trivial_constructor'
879/// '__has_trivial_destructor'
880/// '__has_virtual_destructor'
881/// '__is_abstract' [TODO]
882/// '__is_class'
883/// '__is_empty' [TODO]
884/// '__is_enum'
885/// '__is_final'
886/// '__is_pod'
887/// '__is_polymorphic'
888/// '__is_sealed' [MS]
889/// '__is_trivial'
890/// '__is_union'
891/// '__has_unique_object_representations'
892///
893/// [Clang] unary-type-trait:
894/// '__is_aggregate'
895/// '__trivially_copyable'
896///
897/// binary-type-trait:
898/// [GNU] '__is_base_of'
899/// [MS] '__is_convertible_to'
900/// '__is_convertible'
901/// '__is_same'
902///
903/// [Embarcadero] array-type-trait:
904/// '__array_rank'
905/// '__array_extent'
906///
907/// [Embarcadero] expression-trait:
908/// '__is_lvalue_expr'
909/// '__is_rvalue_expr'
910/// \endverbatim
911///
912ExprResult Parser::ParseCastExpression(CastParseKind ParseKind,
913 bool isAddressOfOperand,
914 bool &NotCastExpr,
915 TypeCastState isTypeCast,
916 bool isVectorLiteral,
917 bool *NotPrimaryExpression) {
918 ExprResult Res;
919 tok::TokenKind SavedKind = Tok.getKind();
920 auto SavedType = PreferredType;
921 NotCastExpr = false;
922
923 // Are postfix-expression suffix operators permitted after this
924 // cast-expression? If not, and we find some, we'll parse them anyway and
925 // diagnose them.
926 bool AllowSuffix = true;
927
928 // This handles all of cast-expression, unary-expression, postfix-expression,
929 // and primary-expression. We handle them together like this for efficiency
930 // and to simplify handling of an expression starting with a '(' token: which
931 // may be one of a parenthesized expression, cast-expression, compound literal
932 // expression, or statement expression.
933 //
934 // If the parsed tokens consist of a primary-expression, the cases below
935 // break out of the switch; at the end we call ParsePostfixExpressionSuffix
936 // to handle the postfix expression suffixes. Cases that cannot be followed
937 // by postfix exprs should set AllowSuffix to false.
938 switch (SavedKind) {
939 case tok::l_paren: {
940 // If this expression is limited to being a unary-expression, the paren can
941 // not start a cast expression.
942 ParenParseOption ParenExprType;
943 switch (ParseKind) {
944 case CastParseKind::UnaryExprOnly:
945 if (!getLangOpts().CPlusPlus)
946 ParenExprType = CompoundLiteral;
Value stored to 'ParenExprType' is never read
947 LLVM_FALLTHROUGH[[gnu::fallthrough]];
948 case CastParseKind::AnyCastExpr:
949 ParenExprType = ParenParseOption::CastExpr;
950 break;
951 case CastParseKind::PrimaryExprOnly:
952 ParenExprType = FoldExpr;
953 break;
954 }
955 ParsedType CastTy;
956 SourceLocation RParenLoc;
957 Res = ParseParenExpression(ParenExprType, false/*stopIfCastExr*/,
958 isTypeCast == IsTypeCast, CastTy, RParenLoc);
959
960 // FIXME: What should we do if a vector literal is followed by a
961 // postfix-expression suffix? Usually postfix operators are permitted on
962 // literals.
963 if (isVectorLiteral)
964 return Res;
965
966 switch (ParenExprType) {
967 case SimpleExpr: break; // Nothing else to do.
968 case CompoundStmt: break; // Nothing else to do.
969 case CompoundLiteral:
970 // We parsed '(' type-name ')' '{' ... '}'. If any suffixes of
971 // postfix-expression exist, parse them now.
972 break;
973 case CastExpr:
974 // We have parsed the cast-expression and no postfix-expr pieces are
975 // following.
976 return Res;
977 case FoldExpr:
978 // We only parsed a fold-expression. There might be postfix-expr pieces
979 // afterwards; parse them now.
980 break;
981 }
982
983 break;
984 }
985
986 // primary-expression
987 case tok::numeric_constant:
988 // constant: integer-constant
989 // constant: floating-constant
990
991 Res = Actions.ActOnNumericConstant(Tok, /*UDLScope*/getCurScope());
992 ConsumeToken();
993 break;
994
995 case tok::kw_true:
996 case tok::kw_false:
997 Res = ParseCXXBoolLiteral();
998 break;
999
1000 case tok::kw___objc_yes:
1001 case tok::kw___objc_no:
1002 Res = ParseObjCBoolLiteral();
1003 break;
1004
1005 case tok::kw_nullptr:
1006 Diag(Tok, diag::warn_cxx98_compat_nullptr);
1007 Res = Actions.ActOnCXXNullPtrLiteral(ConsumeToken());
1008 break;
1009
1010 case tok::annot_primary_expr:
1011 case tok::annot_overload_set:
1012 Res = getExprAnnotation(Tok);
1013 if (!Res.isInvalid() && Tok.getKind() == tok::annot_overload_set)
1014 Res = Actions.ActOnNameClassifiedAsOverloadSet(getCurScope(), Res.get());
1015 ConsumeAnnotationToken();
1016 if (!Res.isInvalid() && Tok.is(tok::less))
1017 checkPotentialAngleBracket(Res);
1018 break;
1019
1020 case tok::annot_non_type:
1021 case tok::annot_non_type_dependent:
1022 case tok::annot_non_type_undeclared: {
1023 CXXScopeSpec SS;
1024 Token Replacement;
1025 Res = tryParseCXXIdExpression(SS, isAddressOfOperand, Replacement);
1026 assert(!Res.isUnset() &&((!Res.isUnset() && "should not perform typo correction on annotation token"
) ? static_cast<void> (0) : __assert_fail ("!Res.isUnset() && \"should not perform typo correction on annotation token\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 1027, __PRETTY_FUNCTION__))
1027 "should not perform typo correction on annotation token")((!Res.isUnset() && "should not perform typo correction on annotation token"
) ? static_cast<void> (0) : __assert_fail ("!Res.isUnset() && \"should not perform typo correction on annotation token\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 1027, __PRETTY_FUNCTION__))
;
1028 break;
1029 }
1030
1031 case tok::kw___super:
1032 case tok::kw_decltype:
1033 // Annotate the token and tail recurse.
1034 if (TryAnnotateTypeOrScopeToken())
1035 return ExprError();
1036 assert(Tok.isNot(tok::kw_decltype) && Tok.isNot(tok::kw___super))((Tok.isNot(tok::kw_decltype) && Tok.isNot(tok::kw___super
)) ? static_cast<void> (0) : __assert_fail ("Tok.isNot(tok::kw_decltype) && Tok.isNot(tok::kw___super)"
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 1036, __PRETTY_FUNCTION__))
;
1037 return ParseCastExpression(ParseKind, isAddressOfOperand, isTypeCast,
1038 isVectorLiteral, NotPrimaryExpression);
1039
1040 case tok::identifier: { // primary-expression: identifier
1041 // unqualified-id: identifier
1042 // constant: enumeration-constant
1043 // Turn a potentially qualified name into a annot_typename or
1044 // annot_cxxscope if it would be valid. This handles things like x::y, etc.
1045 if (getLangOpts().CPlusPlus) {
1046 // Avoid the unnecessary parse-time lookup in the common case
1047 // where the syntax forbids a type.
1048 const Token &Next = NextToken();
1049
1050 // If this identifier was reverted from a token ID, and the next token
1051 // is a parenthesis, this is likely to be a use of a type trait. Check
1052 // those tokens.
1053 if (Next.is(tok::l_paren) &&
1054 Tok.is(tok::identifier) &&
1055 Tok.getIdentifierInfo()->hasRevertedTokenIDToIdentifier()) {
1056 IdentifierInfo *II = Tok.getIdentifierInfo();
1057 // Build up the mapping of revertible type traits, for future use.
1058 if (RevertibleTypeTraits.empty()) {
1059#define RTT_JOIN(X,Y) X##Y
1060#define REVERTIBLE_TYPE_TRAIT(Name) \
1061 RevertibleTypeTraits[PP.getIdentifierInfo(#Name)] \
1062 = RTT_JOIN(tok::kw_,Name)
1063
1064 REVERTIBLE_TYPE_TRAIT(__is_abstract);
1065 REVERTIBLE_TYPE_TRAIT(__is_aggregate);
1066 REVERTIBLE_TYPE_TRAIT(__is_arithmetic);
1067 REVERTIBLE_TYPE_TRAIT(__is_array);
1068 REVERTIBLE_TYPE_TRAIT(__is_assignable);
1069 REVERTIBLE_TYPE_TRAIT(__is_base_of);
1070 REVERTIBLE_TYPE_TRAIT(__is_class);
1071 REVERTIBLE_TYPE_TRAIT(__is_complete_type);
1072 REVERTIBLE_TYPE_TRAIT(__is_compound);
1073 REVERTIBLE_TYPE_TRAIT(__is_const);
1074 REVERTIBLE_TYPE_TRAIT(__is_constructible);
1075 REVERTIBLE_TYPE_TRAIT(__is_convertible);
1076 REVERTIBLE_TYPE_TRAIT(__is_convertible_to);
1077 REVERTIBLE_TYPE_TRAIT(__is_destructible);
1078 REVERTIBLE_TYPE_TRAIT(__is_empty);
1079 REVERTIBLE_TYPE_TRAIT(__is_enum);
1080 REVERTIBLE_TYPE_TRAIT(__is_floating_point);
1081 REVERTIBLE_TYPE_TRAIT(__is_final);
1082 REVERTIBLE_TYPE_TRAIT(__is_function);
1083 REVERTIBLE_TYPE_TRAIT(__is_fundamental);
1084 REVERTIBLE_TYPE_TRAIT(__is_integral);
1085 REVERTIBLE_TYPE_TRAIT(__is_interface_class);
1086 REVERTIBLE_TYPE_TRAIT(__is_literal);
1087 REVERTIBLE_TYPE_TRAIT(__is_lvalue_expr);
1088 REVERTIBLE_TYPE_TRAIT(__is_lvalue_reference);
1089 REVERTIBLE_TYPE_TRAIT(__is_member_function_pointer);
1090 REVERTIBLE_TYPE_TRAIT(__is_member_object_pointer);
1091 REVERTIBLE_TYPE_TRAIT(__is_member_pointer);
1092 REVERTIBLE_TYPE_TRAIT(__is_nothrow_assignable);
1093 REVERTIBLE_TYPE_TRAIT(__is_nothrow_constructible);
1094 REVERTIBLE_TYPE_TRAIT(__is_nothrow_destructible);
1095 REVERTIBLE_TYPE_TRAIT(__is_object);
1096 REVERTIBLE_TYPE_TRAIT(__is_pod);
1097 REVERTIBLE_TYPE_TRAIT(__is_pointer);
1098 REVERTIBLE_TYPE_TRAIT(__is_polymorphic);
1099 REVERTIBLE_TYPE_TRAIT(__is_reference);
1100 REVERTIBLE_TYPE_TRAIT(__is_rvalue_expr);
1101 REVERTIBLE_TYPE_TRAIT(__is_rvalue_reference);
1102 REVERTIBLE_TYPE_TRAIT(__is_same);
1103 REVERTIBLE_TYPE_TRAIT(__is_scalar);
1104 REVERTIBLE_TYPE_TRAIT(__is_sealed);
1105 REVERTIBLE_TYPE_TRAIT(__is_signed);
1106 REVERTIBLE_TYPE_TRAIT(__is_standard_layout);
1107 REVERTIBLE_TYPE_TRAIT(__is_trivial);
1108 REVERTIBLE_TYPE_TRAIT(__is_trivially_assignable);
1109 REVERTIBLE_TYPE_TRAIT(__is_trivially_constructible);
1110 REVERTIBLE_TYPE_TRAIT(__is_trivially_copyable);
1111 REVERTIBLE_TYPE_TRAIT(__is_union);
1112 REVERTIBLE_TYPE_TRAIT(__is_unsigned);
1113 REVERTIBLE_TYPE_TRAIT(__is_void);
1114 REVERTIBLE_TYPE_TRAIT(__is_volatile);
1115#undef REVERTIBLE_TYPE_TRAIT
1116#undef RTT_JOIN
1117 }
1118
1119 // If we find that this is in fact the name of a type trait,
1120 // update the token kind in place and parse again to treat it as
1121 // the appropriate kind of type trait.
1122 llvm::SmallDenseMap<IdentifierInfo *, tok::TokenKind>::iterator Known
1123 = RevertibleTypeTraits.find(II);
1124 if (Known != RevertibleTypeTraits.end()) {
1125 Tok.setKind(Known->second);
1126 return ParseCastExpression(ParseKind, isAddressOfOperand,
1127 NotCastExpr, isTypeCast,
1128 isVectorLiteral, NotPrimaryExpression);
1129 }
1130 }
1131
1132 if ((!ColonIsSacred && Next.is(tok::colon)) ||
1133 Next.isOneOf(tok::coloncolon, tok::less, tok::l_paren,
1134 tok::l_brace)) {
1135 // If TryAnnotateTypeOrScopeToken annotates the token, tail recurse.
1136 if (TryAnnotateTypeOrScopeToken())
1137 return ExprError();
1138 if (!Tok.is(tok::identifier))
1139 return ParseCastExpression(ParseKind, isAddressOfOperand,
1140 NotCastExpr, isTypeCast,
1141 isVectorLiteral,
1142 NotPrimaryExpression);
1143 }
1144 }
1145
1146 // Consume the identifier so that we can see if it is followed by a '(' or
1147 // '.'.
1148 IdentifierInfo &II = *Tok.getIdentifierInfo();
1149 SourceLocation ILoc = ConsumeToken();
1150
1151 // Support 'Class.property' and 'super.property' notation.
1152 if (getLangOpts().ObjC && Tok.is(tok::period) &&
1153 (Actions.getTypeName(II, ILoc, getCurScope()) ||
1154 // Allow the base to be 'super' if in an objc-method.
1155 (&II == Ident_super && getCurScope()->isInObjcMethodScope()))) {
1156 ConsumeToken();
1157
1158 if (Tok.is(tok::code_completion) && &II != Ident_super) {
1159 Actions.CodeCompleteObjCClassPropertyRefExpr(
1160 getCurScope(), II, ILoc, ExprStatementTokLoc == ILoc);
1161 cutOffParsing();
1162 return ExprError();
1163 }
1164 // Allow either an identifier or the keyword 'class' (in C++).
1165 if (Tok.isNot(tok::identifier) &&
1166 !(getLangOpts().CPlusPlus && Tok.is(tok::kw_class))) {
1167 Diag(Tok, diag::err_expected_property_name);
1168 return ExprError();
1169 }
1170 IdentifierInfo &PropertyName = *Tok.getIdentifierInfo();
1171 SourceLocation PropertyLoc = ConsumeToken();
1172
1173 Res = Actions.ActOnClassPropertyRefExpr(II, PropertyName,
1174 ILoc, PropertyLoc);
1175 break;
1176 }
1177
1178 // In an Objective-C method, if we have "super" followed by an identifier,
1179 // the token sequence is ill-formed. However, if there's a ':' or ']' after
1180 // that identifier, this is probably a message send with a missing open
1181 // bracket. Treat it as such.
1182 if (getLangOpts().ObjC && &II == Ident_super && !InMessageExpression &&
1183 getCurScope()->isInObjcMethodScope() &&
1184 ((Tok.is(tok::identifier) &&
1185 (NextToken().is(tok::colon) || NextToken().is(tok::r_square))) ||
1186 Tok.is(tok::code_completion))) {
1187 Res = ParseObjCMessageExpressionBody(SourceLocation(), ILoc, nullptr,
1188 nullptr);
1189 break;
1190 }
1191
1192 // If we have an Objective-C class name followed by an identifier
1193 // and either ':' or ']', this is an Objective-C class message
1194 // send that's missing the opening '['. Recovery
1195 // appropriately. Also take this path if we're performing code
1196 // completion after an Objective-C class name.
1197 if (getLangOpts().ObjC &&
1198 ((Tok.is(tok::identifier) && !InMessageExpression) ||
1199 Tok.is(tok::code_completion))) {
1200 const Token& Next = NextToken();
1201 if (Tok.is(tok::code_completion) ||
1202 Next.is(tok::colon) || Next.is(tok::r_square))
1203 if (ParsedType Typ = Actions.getTypeName(II, ILoc, getCurScope()))
1204 if (Typ.get()->isObjCObjectOrInterfaceType()) {
1205 // Fake up a Declarator to use with ActOnTypeName.
1206 DeclSpec DS(AttrFactory);
1207 DS.SetRangeStart(ILoc);
1208 DS.SetRangeEnd(ILoc);
1209 const char *PrevSpec = nullptr;
1210 unsigned DiagID;
1211 DS.SetTypeSpecType(TST_typename, ILoc, PrevSpec, DiagID, Typ,
1212 Actions.getASTContext().getPrintingPolicy());
1213
1214 Declarator DeclaratorInfo(DS, DeclaratorContext::TypeNameContext);
1215 TypeResult Ty = Actions.ActOnTypeName(getCurScope(),
1216 DeclaratorInfo);
1217 if (Ty.isInvalid())
1218 break;
1219
1220 Res = ParseObjCMessageExpressionBody(SourceLocation(),
1221 SourceLocation(),
1222 Ty.get(), nullptr);
1223 break;
1224 }
1225 }
1226
1227 // Make sure to pass down the right value for isAddressOfOperand.
1228 if (isAddressOfOperand && isPostfixExpressionSuffixStart())
1229 isAddressOfOperand = false;
1230
1231 // Function designators are allowed to be undeclared (C99 6.5.1p2), so we
1232 // need to know whether or not this identifier is a function designator or
1233 // not.
1234 UnqualifiedId Name;
1235 CXXScopeSpec ScopeSpec;
1236 SourceLocation TemplateKWLoc;
1237 Token Replacement;
1238 CastExpressionIdValidator Validator(
1239 /*Next=*/Tok,
1240 /*AllowTypes=*/isTypeCast != NotTypeCast,
1241 /*AllowNonTypes=*/isTypeCast != IsTypeCast);
1242 Validator.IsAddressOfOperand = isAddressOfOperand;
1243 if (Tok.isOneOf(tok::periodstar, tok::arrowstar)) {
1244 Validator.WantExpressionKeywords = false;
1245 Validator.WantRemainingKeywords = false;
1246 } else {
1247 Validator.WantRemainingKeywords = Tok.isNot(tok::r_paren);
1248 }
1249 Name.setIdentifier(&II, ILoc);
1250 Res = Actions.ActOnIdExpression(
1251 getCurScope(), ScopeSpec, TemplateKWLoc, Name, Tok.is(tok::l_paren),
1252 isAddressOfOperand, &Validator,
1253 /*IsInlineAsmIdentifier=*/false,
1254 Tok.is(tok::r_paren) ? nullptr : &Replacement);
1255 if (!Res.isInvalid() && Res.isUnset()) {
1256 UnconsumeToken(Replacement);
1257 return ParseCastExpression(ParseKind, isAddressOfOperand,
1258 NotCastExpr, isTypeCast,
1259 /*isVectorLiteral=*/false,
1260 NotPrimaryExpression);
1261 }
1262 if (!Res.isInvalid() && Tok.is(tok::less))
1263 checkPotentialAngleBracket(Res);
1264 break;
1265 }
1266 case tok::char_constant: // constant: character-constant
1267 case tok::wide_char_constant:
1268 case tok::utf8_char_constant:
1269 case tok::utf16_char_constant:
1270 case tok::utf32_char_constant:
1271 Res = Actions.ActOnCharacterConstant(Tok, /*UDLScope*/getCurScope());
1272 ConsumeToken();
1273 break;
1274 case tok::kw___func__: // primary-expression: __func__ [C99 6.4.2.2]
1275 case tok::kw___FUNCTION__: // primary-expression: __FUNCTION__ [GNU]
1276 case tok::kw___FUNCDNAME__: // primary-expression: __FUNCDNAME__ [MS]
1277 case tok::kw___FUNCSIG__: // primary-expression: __FUNCSIG__ [MS]
1278 case tok::kw_L__FUNCTION__: // primary-expression: L__FUNCTION__ [MS]
1279 case tok::kw_L__FUNCSIG__: // primary-expression: L__FUNCSIG__ [MS]
1280 case tok::kw___PRETTY_FUNCTION__: // primary-expression: __P..Y_F..N__ [GNU]
1281 Res = Actions.ActOnPredefinedExpr(Tok.getLocation(), SavedKind);
1282 ConsumeToken();
1283 break;
1284 case tok::string_literal: // primary-expression: string-literal
1285 case tok::wide_string_literal:
1286 case tok::utf8_string_literal:
1287 case tok::utf16_string_literal:
1288 case tok::utf32_string_literal:
1289 Res = ParseStringLiteralExpression(true);
1290 break;
1291 case tok::kw__Generic: // primary-expression: generic-selection [C11 6.5.1]
1292 Res = ParseGenericSelectionExpression();
1293 break;
1294 case tok::kw___builtin_available:
1295 Res = ParseAvailabilityCheckExpr(Tok.getLocation());
1296 break;
1297 case tok::kw___builtin_va_arg:
1298 case tok::kw___builtin_offsetof:
1299 case tok::kw___builtin_choose_expr:
1300 case tok::kw___builtin_astype: // primary-expression: [OCL] as_type()
1301 case tok::kw___builtin_convertvector:
1302 case tok::kw___builtin_COLUMN:
1303 case tok::kw___builtin_FILE:
1304 case tok::kw___builtin_FUNCTION:
1305 case tok::kw___builtin_LINE:
1306 if (NotPrimaryExpression)
1307 *NotPrimaryExpression = true;
1308 // This parses the complete suffix; we can return early.
1309 return ParseBuiltinPrimaryExpression();
1310 case tok::kw___null:
1311 Res = Actions.ActOnGNUNullExpr(ConsumeToken());
1312 break;
1313
1314 case tok::plusplus: // unary-expression: '++' unary-expression [C99]
1315 case tok::minusminus: { // unary-expression: '--' unary-expression [C99]
1316 if (NotPrimaryExpression)
1317 *NotPrimaryExpression = true;
1318 // C++ [expr.unary] has:
1319 // unary-expression:
1320 // ++ cast-expression
1321 // -- cast-expression
1322 Token SavedTok = Tok;
1323 ConsumeToken();
1324
1325 PreferredType.enterUnary(Actions, Tok.getLocation(), SavedTok.getKind(),
1326 SavedTok.getLocation());
1327 // One special case is implicitly handled here: if the preceding tokens are
1328 // an ambiguous cast expression, such as "(T())++", then we recurse to
1329 // determine whether the '++' is prefix or postfix.
1330 Res = ParseCastExpression(getLangOpts().CPlusPlus ?
1331 UnaryExprOnly : AnyCastExpr,
1332 /*isAddressOfOperand*/false, NotCastExpr,
1333 NotTypeCast);
1334 if (NotCastExpr) {
1335 // If we return with NotCastExpr = true, we must not consume any tokens,
1336 // so put the token back where we found it.
1337 assert(Res.isInvalid())((Res.isInvalid()) ? static_cast<void> (0) : __assert_fail
("Res.isInvalid()", "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 1337, __PRETTY_FUNCTION__))
;
1338 UnconsumeToken(SavedTok);
1339 return ExprError();
1340 }
1341 if (!Res.isInvalid()) {
1342 Expr *Arg = Res.get();
1343 Res = Actions.ActOnUnaryOp(getCurScope(), SavedTok.getLocation(),
1344 SavedKind, Arg);
1345 if (Res.isInvalid())
1346 Res = Actions.CreateRecoveryExpr(SavedTok.getLocation(),
1347 Arg->getEndLoc(), Arg);
1348 }
1349 return Res;
1350 }
1351 case tok::amp: { // unary-expression: '&' cast-expression
1352 if (NotPrimaryExpression)
1353 *NotPrimaryExpression = true;
1354 // Special treatment because of member pointers
1355 SourceLocation SavedLoc = ConsumeToken();
1356 PreferredType.enterUnary(Actions, Tok.getLocation(), tok::amp, SavedLoc);
1357 Res = ParseCastExpression(AnyCastExpr, true);
1358 if (!Res.isInvalid()) {
1359 Expr *Arg = Res.get();
1360 Res = Actions.ActOnUnaryOp(getCurScope(), SavedLoc, SavedKind, Arg);
1361 if (Res.isInvalid())
1362 Res = Actions.CreateRecoveryExpr(Tok.getLocation(), Arg->getEndLoc(),
1363 Arg);
1364 }
1365 return Res;
1366 }
1367
1368 case tok::star: // unary-expression: '*' cast-expression
1369 case tok::plus: // unary-expression: '+' cast-expression
1370 case tok::minus: // unary-expression: '-' cast-expression
1371 case tok::tilde: // unary-expression: '~' cast-expression
1372 case tok::exclaim: // unary-expression: '!' cast-expression
1373 case tok::kw___real: // unary-expression: '__real' cast-expression [GNU]
1374 case tok::kw___imag: { // unary-expression: '__imag' cast-expression [GNU]
1375 if (NotPrimaryExpression)
1376 *NotPrimaryExpression = true;
1377 SourceLocation SavedLoc = ConsumeToken();
1378 PreferredType.enterUnary(Actions, Tok.getLocation(), SavedKind, SavedLoc);
1379 Res = ParseCastExpression(AnyCastExpr);
1380 if (!Res.isInvalid()) {
1381 Expr *Arg = Res.get();
1382 Res = Actions.ActOnUnaryOp(getCurScope(), SavedLoc, SavedKind, Arg);
1383 if (Res.isInvalid())
1384 Res = Actions.CreateRecoveryExpr(SavedLoc, Arg->getEndLoc(), Arg);
1385 }
1386 return Res;
1387 }
1388
1389 case tok::kw_co_await: { // unary-expression: 'co_await' cast-expression
1390 if (NotPrimaryExpression)
1391 *NotPrimaryExpression = true;
1392 SourceLocation CoawaitLoc = ConsumeToken();
1393 Res = ParseCastExpression(AnyCastExpr);
1394 if (!Res.isInvalid())
1395 Res = Actions.ActOnCoawaitExpr(getCurScope(), CoawaitLoc, Res.get());
1396 return Res;
1397 }
1398
1399 case tok::kw___extension__:{//unary-expression:'__extension__' cast-expr [GNU]
1400 // __extension__ silences extension warnings in the subexpression.
1401 if (NotPrimaryExpression)
1402 *NotPrimaryExpression = true;
1403 ExtensionRAIIObject O(Diags); // Use RAII to do this.
1404 SourceLocation SavedLoc = ConsumeToken();
1405 Res = ParseCastExpression(AnyCastExpr);
1406 if (!Res.isInvalid())
1407 Res = Actions.ActOnUnaryOp(getCurScope(), SavedLoc, SavedKind, Res.get());
1408 return Res;
1409 }
1410 case tok::kw__Alignof: // unary-expression: '_Alignof' '(' type-name ')'
1411 if (!getLangOpts().C11)
1412 Diag(Tok, diag::ext_c11_feature) << Tok.getName();
1413 LLVM_FALLTHROUGH[[gnu::fallthrough]];
1414 case tok::kw_alignof: // unary-expression: 'alignof' '(' type-id ')'
1415 case tok::kw___alignof: // unary-expression: '__alignof' unary-expression
1416 // unary-expression: '__alignof' '(' type-name ')'
1417 case tok::kw_sizeof: // unary-expression: 'sizeof' unary-expression
1418 // unary-expression: 'sizeof' '(' type-name ')'
1419 case tok::kw_vec_step: // unary-expression: OpenCL 'vec_step' expression
1420 // unary-expression: '__builtin_omp_required_simd_align' '(' type-name ')'
1421 case tok::kw___builtin_omp_required_simd_align:
1422 if (NotPrimaryExpression)
1423 *NotPrimaryExpression = true;
1424 AllowSuffix = false;
1425 Res = ParseUnaryExprOrTypeTraitExpression();
1426 break;
1427 case tok::ampamp: { // unary-expression: '&&' identifier
1428 if (NotPrimaryExpression)
1429 *NotPrimaryExpression = true;
1430 SourceLocation AmpAmpLoc = ConsumeToken();
1431 if (Tok.isNot(tok::identifier))
1432 return ExprError(Diag(Tok, diag::err_expected) << tok::identifier);
1433
1434 if (getCurScope()->getFnParent() == nullptr)
1435 return ExprError(Diag(Tok, diag::err_address_of_label_outside_fn));
1436
1437 Diag(AmpAmpLoc, diag::ext_gnu_address_of_label);
1438 LabelDecl *LD = Actions.LookupOrCreateLabel(Tok.getIdentifierInfo(),
1439 Tok.getLocation());
1440 Res = Actions.ActOnAddrLabel(AmpAmpLoc, Tok.getLocation(), LD);
1441 ConsumeToken();
1442 AllowSuffix = false;
1443 break;
1444 }
1445 case tok::kw_const_cast:
1446 case tok::kw_dynamic_cast:
1447 case tok::kw_reinterpret_cast:
1448 case tok::kw_static_cast:
1449 case tok::kw_addrspace_cast:
1450 if (NotPrimaryExpression)
1451 *NotPrimaryExpression = true;
1452 Res = ParseCXXCasts();
1453 break;
1454 case tok::kw___builtin_bit_cast:
1455 if (NotPrimaryExpression)
1456 *NotPrimaryExpression = true;
1457 Res = ParseBuiltinBitCast();
1458 break;
1459 case tok::kw_typeid:
1460 if (NotPrimaryExpression)
1461 *NotPrimaryExpression = true;
1462 Res = ParseCXXTypeid();
1463 break;
1464 case tok::kw___uuidof:
1465 if (NotPrimaryExpression)
1466 *NotPrimaryExpression = true;
1467 Res = ParseCXXUuidof();
1468 break;
1469 case tok::kw_this:
1470 Res = ParseCXXThis();
1471 break;
1472 case tok::kw___builtin_unique_stable_name:
1473 Res = ParseUniqueStableNameExpression();
1474 break;
1475 case tok::annot_typename:
1476 if (isStartOfObjCClassMessageMissingOpenBracket()) {
1477 TypeResult Type = getTypeAnnotation(Tok);
1478
1479 // Fake up a Declarator to use with ActOnTypeName.
1480 DeclSpec DS(AttrFactory);
1481 DS.SetRangeStart(Tok.getLocation());
1482 DS.SetRangeEnd(Tok.getLastLoc());
1483
1484 const char *PrevSpec = nullptr;
1485 unsigned DiagID;
1486 DS.SetTypeSpecType(TST_typename, Tok.getAnnotationEndLoc(),
1487 PrevSpec, DiagID, Type,
1488 Actions.getASTContext().getPrintingPolicy());
1489
1490 Declarator DeclaratorInfo(DS, DeclaratorContext::TypeNameContext);
1491 TypeResult Ty = Actions.ActOnTypeName(getCurScope(), DeclaratorInfo);
1492 if (Ty.isInvalid())
1493 break;
1494
1495 ConsumeAnnotationToken();
1496 Res = ParseObjCMessageExpressionBody(SourceLocation(), SourceLocation(),
1497 Ty.get(), nullptr);
1498 break;
1499 }
1500 LLVM_FALLTHROUGH[[gnu::fallthrough]];
1501
1502 case tok::annot_decltype:
1503 case tok::kw_char:
1504 case tok::kw_wchar_t:
1505 case tok::kw_char8_t:
1506 case tok::kw_char16_t:
1507 case tok::kw_char32_t:
1508 case tok::kw_bool:
1509 case tok::kw_short:
1510 case tok::kw_int:
1511 case tok::kw_long:
1512 case tok::kw___int64:
1513 case tok::kw___int128:
1514 case tok::kw__ExtInt:
1515 case tok::kw_signed:
1516 case tok::kw_unsigned:
1517 case tok::kw_half:
1518 case tok::kw_float:
1519 case tok::kw_double:
1520 case tok::kw___bf16:
1521 case tok::kw__Float16:
1522 case tok::kw___float128:
1523 case tok::kw_void:
1524 case tok::kw_typename:
1525 case tok::kw_typeof:
1526 case tok::kw___vector:
1527#define GENERIC_IMAGE_TYPE(ImgType, Id) case tok::kw_##ImgType##_t:
1528#include "clang/Basic/OpenCLImageTypes.def"
1529 {
1530 if (!getLangOpts().CPlusPlus) {
1531 Diag(Tok, diag::err_expected_expression);
1532 return ExprError();
1533 }
1534
1535 // Everything henceforth is a postfix-expression.
1536 if (NotPrimaryExpression)
1537 *NotPrimaryExpression = true;
1538
1539 if (SavedKind == tok::kw_typename) {
1540 // postfix-expression: typename-specifier '(' expression-list[opt] ')'
1541 // typename-specifier braced-init-list
1542 if (TryAnnotateTypeOrScopeToken())
1543 return ExprError();
1544
1545 if (!Actions.isSimpleTypeSpecifier(Tok.getKind()))
1546 // We are trying to parse a simple-type-specifier but might not get such
1547 // a token after error recovery.
1548 return ExprError();
1549 }
1550
1551 // postfix-expression: simple-type-specifier '(' expression-list[opt] ')'
1552 // simple-type-specifier braced-init-list
1553 //
1554 DeclSpec DS(AttrFactory);
1555
1556 ParseCXXSimpleTypeSpecifier(DS);
1557 if (Tok.isNot(tok::l_paren) &&
1558 (!getLangOpts().CPlusPlus11 || Tok.isNot(tok::l_brace)))
1559 return ExprError(Diag(Tok, diag::err_expected_lparen_after_type)
1560 << DS.getSourceRange());
1561
1562 if (Tok.is(tok::l_brace))
1563 Diag(Tok, diag::warn_cxx98_compat_generalized_initializer_lists);
1564
1565 Res = ParseCXXTypeConstructExpression(DS);
1566 break;
1567 }
1568
1569 case tok::annot_cxxscope: { // [C++] id-expression: qualified-id
1570 // If TryAnnotateTypeOrScopeToken annotates the token, tail recurse.
1571 // (We can end up in this situation after tentative parsing.)
1572 if (TryAnnotateTypeOrScopeToken())
1573 return ExprError();
1574 if (!Tok.is(tok::annot_cxxscope))
1575 return ParseCastExpression(ParseKind, isAddressOfOperand, NotCastExpr,
1576 isTypeCast, isVectorLiteral,
1577 NotPrimaryExpression);
1578
1579 Token Next = NextToken();
1580 if (Next.is(tok::annot_template_id)) {
1581 TemplateIdAnnotation *TemplateId = takeTemplateIdAnnotation(Next);
1582 if (TemplateId->Kind == TNK_Type_template) {
1583 // We have a qualified template-id that we know refers to a
1584 // type, translate it into a type and continue parsing as a
1585 // cast expression.
1586 CXXScopeSpec SS;
1587 ParseOptionalCXXScopeSpecifier(SS, /*ObjectType=*/nullptr,
1588 /*ObjectHadErrors=*/false,
1589 /*EnteringContext=*/false);
1590 AnnotateTemplateIdTokenAsType(SS);
1591 return ParseCastExpression(ParseKind, isAddressOfOperand, NotCastExpr,
1592 isTypeCast, isVectorLiteral,
1593 NotPrimaryExpression);
1594 }
1595 }
1596
1597 // Parse as an id-expression.
1598 Res = ParseCXXIdExpression(isAddressOfOperand);
1599 break;
1600 }
1601
1602 case tok::annot_template_id: { // [C++] template-id
1603 TemplateIdAnnotation *TemplateId = takeTemplateIdAnnotation(Tok);
1604 if (TemplateId->Kind == TNK_Type_template) {
1605 // We have a template-id that we know refers to a type,
1606 // translate it into a type and continue parsing as a cast
1607 // expression.
1608 CXXScopeSpec SS;
1609 AnnotateTemplateIdTokenAsType(SS);
1610 return ParseCastExpression(ParseKind, isAddressOfOperand,
1611 NotCastExpr, isTypeCast, isVectorLiteral,
1612 NotPrimaryExpression);
1613 }
1614
1615 // Fall through to treat the template-id as an id-expression.
1616 LLVM_FALLTHROUGH[[gnu::fallthrough]];
1617 }
1618
1619 case tok::kw_operator: // [C++] id-expression: operator/conversion-function-id
1620 Res = ParseCXXIdExpression(isAddressOfOperand);
1621 break;
1622
1623 case tok::coloncolon: {
1624 // ::foo::bar -> global qualified name etc. If TryAnnotateTypeOrScopeToken
1625 // annotates the token, tail recurse.
1626 if (TryAnnotateTypeOrScopeToken())
1627 return ExprError();
1628 if (!Tok.is(tok::coloncolon))
1629 return ParseCastExpression(ParseKind, isAddressOfOperand, isTypeCast,
1630 isVectorLiteral, NotPrimaryExpression);
1631
1632 // ::new -> [C++] new-expression
1633 // ::delete -> [C++] delete-expression
1634 SourceLocation CCLoc = ConsumeToken();
1635 if (Tok.is(tok::kw_new)) {
1636 if (NotPrimaryExpression)
1637 *NotPrimaryExpression = true;
1638 Res = ParseCXXNewExpression(true, CCLoc);
1639 AllowSuffix = false;
1640 break;
1641 }
1642 if (Tok.is(tok::kw_delete)) {
1643 if (NotPrimaryExpression)
1644 *NotPrimaryExpression = true;
1645 Res = ParseCXXDeleteExpression(true, CCLoc);
1646 AllowSuffix = false;
1647 break;
1648 }
1649
1650 // This is not a type name or scope specifier, it is an invalid expression.
1651 Diag(CCLoc, diag::err_expected_expression);
1652 return ExprError();
1653 }
1654
1655 case tok::kw_new: // [C++] new-expression
1656 if (NotPrimaryExpression)
1657 *NotPrimaryExpression = true;
1658 Res = ParseCXXNewExpression(false, Tok.getLocation());
1659 AllowSuffix = false;
1660 break;
1661
1662 case tok::kw_delete: // [C++] delete-expression
1663 if (NotPrimaryExpression)
1664 *NotPrimaryExpression = true;
1665 Res = ParseCXXDeleteExpression(false, Tok.getLocation());
1666 AllowSuffix = false;
1667 break;
1668
1669 case tok::kw_requires: // [C++2a] requires-expression
1670 Res = ParseRequiresExpression();
1671 AllowSuffix = false;
1672 break;
1673
1674 case tok::kw_noexcept: { // [C++0x] 'noexcept' '(' expression ')'
1675 if (NotPrimaryExpression)
1676 *NotPrimaryExpression = true;
1677 Diag(Tok, diag::warn_cxx98_compat_noexcept_expr);
1678 SourceLocation KeyLoc = ConsumeToken();
1679 BalancedDelimiterTracker T(*this, tok::l_paren);
1680
1681 if (T.expectAndConsume(diag::err_expected_lparen_after, "noexcept"))
1682 return ExprError();
1683 // C++11 [expr.unary.noexcept]p1:
1684 // The noexcept operator determines whether the evaluation of its operand,
1685 // which is an unevaluated operand, can throw an exception.
1686 EnterExpressionEvaluationContext Unevaluated(
1687 Actions, Sema::ExpressionEvaluationContext::Unevaluated);
1688 Res = ParseExpression();
1689
1690 T.consumeClose();
1691
1692 if (!Res.isInvalid())
1693 Res = Actions.ActOnNoexceptExpr(KeyLoc, T.getOpenLocation(), Res.get(),
1694 T.getCloseLocation());
1695 AllowSuffix = false;
1696 break;
1697 }
1698
1699#define TYPE_TRAIT(N,Spelling,K) \
1700 case tok::kw_##Spelling:
1701#include "clang/Basic/TokenKinds.def"
1702 Res = ParseTypeTrait();
1703 break;
1704
1705 case tok::kw___array_rank:
1706 case tok::kw___array_extent:
1707 if (NotPrimaryExpression)
1708 *NotPrimaryExpression = true;
1709 Res = ParseArrayTypeTrait();
1710 break;
1711
1712 case tok::kw___is_lvalue_expr:
1713 case tok::kw___is_rvalue_expr:
1714 if (NotPrimaryExpression)
1715 *NotPrimaryExpression = true;
1716 Res = ParseExpressionTrait();
1717 break;
1718
1719 case tok::at: {
1720 if (NotPrimaryExpression)
1721 *NotPrimaryExpression = true;
1722 SourceLocation AtLoc = ConsumeToken();
1723 return ParseObjCAtExpression(AtLoc);
1724 }
1725 case tok::caret:
1726 Res = ParseBlockLiteralExpression();
1727 break;
1728 case tok::code_completion: {
1729 Actions.CodeCompleteExpression(getCurScope(),
1730 PreferredType.get(Tok.getLocation()));
1731 cutOffParsing();
1732 return ExprError();
1733 }
1734 case tok::l_square:
1735 if (getLangOpts().CPlusPlus11) {
1736 if (getLangOpts().ObjC) {
1737 // C++11 lambda expressions and Objective-C message sends both start with a
1738 // square bracket. There are three possibilities here:
1739 // we have a valid lambda expression, we have an invalid lambda
1740 // expression, or we have something that doesn't appear to be a lambda.
1741 // If we're in the last case, we fall back to ParseObjCMessageExpression.
1742 Res = TryParseLambdaExpression();
1743 if (!Res.isInvalid() && !Res.get()) {
1744 // We assume Objective-C++ message expressions are not
1745 // primary-expressions.
1746 if (NotPrimaryExpression)
1747 *NotPrimaryExpression = true;
1748 Res = ParseObjCMessageExpression();
1749 }
1750 break;
1751 }
1752 Res = ParseLambdaExpression();
1753 break;
1754 }
1755 if (getLangOpts().ObjC) {
1756 Res = ParseObjCMessageExpression();
1757 break;
1758 }
1759 LLVM_FALLTHROUGH[[gnu::fallthrough]];
1760 default:
1761 NotCastExpr = true;
1762 return ExprError();
1763 }
1764
1765 // Check to see whether Res is a function designator only. If it is and we
1766 // are compiling for OpenCL, we need to return an error as this implies
1767 // that the address of the function is being taken, which is illegal in CL.
1768
1769 if (ParseKind == PrimaryExprOnly)
1770 // This is strictly a primary-expression - no postfix-expr pieces should be
1771 // parsed.
1772 return Res;
1773
1774 if (!AllowSuffix) {
1775 // FIXME: Don't parse a primary-expression suffix if we encountered a parse
1776 // error already.
1777 if (Res.isInvalid())
1778 return Res;
1779
1780 switch (Tok.getKind()) {
1781 case tok::l_square:
1782 case tok::l_paren:
1783 case tok::plusplus:
1784 case tok::minusminus:
1785 // "expected ';'" or similar is probably the right diagnostic here. Let
1786 // the caller decide what to do.
1787 if (Tok.isAtStartOfLine())
1788 return Res;
1789
1790 LLVM_FALLTHROUGH[[gnu::fallthrough]];
1791 case tok::period:
1792 case tok::arrow:
1793 break;
1794
1795 default:
1796 return Res;
1797 }
1798
1799 // This was a unary-expression for which a postfix-expression suffix is
1800 // not permitted by the grammar (eg, a sizeof expression or
1801 // new-expression or similar). Diagnose but parse the suffix anyway.
1802 Diag(Tok.getLocation(), diag::err_postfix_after_unary_requires_parens)
1803 << Tok.getKind() << Res.get()->getSourceRange()
1804 << FixItHint::CreateInsertion(Res.get()->getBeginLoc(), "(")
1805 << FixItHint::CreateInsertion(PP.getLocForEndOfToken(PrevTokLocation),
1806 ")");
1807 }
1808
1809 // These can be followed by postfix-expr pieces.
1810 PreferredType = SavedType;
1811 Res = ParsePostfixExpressionSuffix(Res);
1812 if (getLangOpts().OpenCL)
1813 if (Expr *PostfixExpr = Res.get()) {
1814 QualType Ty = PostfixExpr->getType();
1815 if (!Ty.isNull() && Ty->isFunctionType()) {
1816 Diag(PostfixExpr->getExprLoc(),
1817 diag::err_opencl_taking_function_address_parser);
1818 return ExprError();
1819 }
1820 }
1821
1822 return Res;
1823}
1824
1825/// Once the leading part of a postfix-expression is parsed, this
1826/// method parses any suffixes that apply.
1827///
1828/// \verbatim
1829/// postfix-expression: [C99 6.5.2]
1830/// primary-expression
1831/// postfix-expression '[' expression ']'
1832/// postfix-expression '[' braced-init-list ']'
1833/// postfix-expression '(' argument-expression-list[opt] ')'
1834/// postfix-expression '.' identifier
1835/// postfix-expression '->' identifier
1836/// postfix-expression '++'
1837/// postfix-expression '--'
1838/// '(' type-name ')' '{' initializer-list '}'
1839/// '(' type-name ')' '{' initializer-list ',' '}'
1840///
1841/// argument-expression-list: [C99 6.5.2]
1842/// argument-expression ...[opt]
1843/// argument-expression-list ',' assignment-expression ...[opt]
1844/// \endverbatim
1845ExprResult
1846Parser::ParsePostfixExpressionSuffix(ExprResult LHS) {
1847 // Now that the primary-expression piece of the postfix-expression has been
1848 // parsed, see if there are any postfix-expression pieces here.
1849 SourceLocation Loc;
1850 auto SavedType = PreferredType;
1851 while (1) {
1852 // Each iteration relies on preferred type for the whole expression.
1853 PreferredType = SavedType;
1854 switch (Tok.getKind()) {
1855 case tok::code_completion:
1856 if (InMessageExpression)
1857 return LHS;
1858
1859 Actions.CodeCompletePostfixExpression(
1860 getCurScope(), LHS, PreferredType.get(Tok.getLocation()));
1861 cutOffParsing();
1862 return ExprError();
1863
1864 case tok::identifier:
1865 // If we see identifier: after an expression, and we're not already in a
1866 // message send, then this is probably a message send with a missing
1867 // opening bracket '['.
1868 if (getLangOpts().ObjC && !InMessageExpression &&
1869 (NextToken().is(tok::colon) || NextToken().is(tok::r_square))) {
1870 LHS = ParseObjCMessageExpressionBody(SourceLocation(), SourceLocation(),
1871 nullptr, LHS.get());
1872 break;
1873 }
1874 // Fall through; this isn't a message send.
1875 LLVM_FALLTHROUGH[[gnu::fallthrough]];
1876
1877 default: // Not a postfix-expression suffix.
1878 return LHS;
1879 case tok::l_square: { // postfix-expression: p-e '[' expression ']'
1880 // If we have a array postfix expression that starts on a new line and
1881 // Objective-C is enabled, it is highly likely that the user forgot a
1882 // semicolon after the base expression and that the array postfix-expr is
1883 // actually another message send. In this case, do some look-ahead to see
1884 // if the contents of the square brackets are obviously not a valid
1885 // expression and recover by pretending there is no suffix.
1886 if (getLangOpts().ObjC && Tok.isAtStartOfLine() &&
1887 isSimpleObjCMessageExpression())
1888 return LHS;
1889
1890 // Reject array indices starting with a lambda-expression. '[[' is
1891 // reserved for attributes.
1892 if (CheckProhibitedCXX11Attribute()) {
1893 (void)Actions.CorrectDelayedTyposInExpr(LHS);
1894 return ExprError();
1895 }
1896
1897 BalancedDelimiterTracker T(*this, tok::l_square);
1898 T.consumeOpen();
1899 Loc = T.getOpenLocation();
1900 ExprResult Idx, Length, Stride;
1901 SourceLocation ColonLocFirst, ColonLocSecond;
1902 PreferredType.enterSubscript(Actions, Tok.getLocation(), LHS.get());
1903 if (getLangOpts().CPlusPlus11 && Tok.is(tok::l_brace)) {
1904 Diag(Tok, diag::warn_cxx98_compat_generalized_initializer_lists);
1905 Idx = ParseBraceInitializer();
1906 } else if (getLangOpts().OpenMP) {
1907 ColonProtectionRAIIObject RAII(*this);
1908 // Parse [: or [ expr or [ expr :
1909 if (!Tok.is(tok::colon)) {
1910 // [ expr
1911 Idx = ParseExpression();
1912 }
1913 if (Tok.is(tok::colon)) {
1914 // Consume ':'
1915 ColonLocFirst = ConsumeToken();
1916 if (Tok.isNot(tok::r_square) &&
1917 (getLangOpts().OpenMP < 50 ||
1918 ((Tok.isNot(tok::colon) && getLangOpts().OpenMP >= 50))))
1919 Length = ParseExpression();
1920 }
1921 if (getLangOpts().OpenMP >= 50 &&
1922 (OMPClauseKind == llvm::omp::Clause::OMPC_to ||
1923 OMPClauseKind == llvm::omp::Clause::OMPC_from) &&
1924 Tok.is(tok::colon)) {
1925 // Consume ':'
1926 ColonLocSecond = ConsumeToken();
1927 if (Tok.isNot(tok::r_square)) {
1928 Stride = ParseExpression();
1929 }
1930 }
1931 } else
1932 Idx = ParseExpression();
1933
1934 SourceLocation RLoc = Tok.getLocation();
1935
1936 LHS = Actions.CorrectDelayedTyposInExpr(LHS);
1937 Idx = Actions.CorrectDelayedTyposInExpr(Idx);
1938 Length = Actions.CorrectDelayedTyposInExpr(Length);
1939 if (!LHS.isInvalid() && !Idx.isInvalid() && !Length.isInvalid() &&
1940 !Stride.isInvalid() && Tok.is(tok::r_square)) {
1941 if (ColonLocFirst.isValid() || ColonLocSecond.isValid()) {
1942 LHS = Actions.ActOnOMPArraySectionExpr(
1943 LHS.get(), Loc, Idx.get(), ColonLocFirst, ColonLocSecond,
1944 Length.get(), Stride.get(), RLoc);
1945 } else {
1946 LHS = Actions.ActOnArraySubscriptExpr(getCurScope(), LHS.get(), Loc,
1947 Idx.get(), RLoc);
1948 }
1949 } else {
1950 LHS = ExprError();
1951 Idx = ExprError();
1952 }
1953
1954 // Match the ']'.
1955 T.consumeClose();
1956 break;
1957 }
1958
1959 case tok::l_paren: // p-e: p-e '(' argument-expression-list[opt] ')'
1960 case tok::lesslessless: { // p-e: p-e '<<<' argument-expression-list '>>>'
1961 // '(' argument-expression-list[opt] ')'
1962 tok::TokenKind OpKind = Tok.getKind();
1963 InMessageExpressionRAIIObject InMessage(*this, false);
1964
1965 Expr *ExecConfig = nullptr;
1966
1967 BalancedDelimiterTracker PT(*this, tok::l_paren);
1968
1969 if (OpKind == tok::lesslessless) {
1970 ExprVector ExecConfigExprs;
1971 CommaLocsTy ExecConfigCommaLocs;
1972 SourceLocation OpenLoc = ConsumeToken();
1973
1974 if (ParseSimpleExpressionList(ExecConfigExprs, ExecConfigCommaLocs)) {
1975 (void)Actions.CorrectDelayedTyposInExpr(LHS);
1976 LHS = ExprError();
1977 }
1978
1979 SourceLocation CloseLoc;
1980 if (TryConsumeToken(tok::greatergreatergreater, CloseLoc)) {
1981 } else if (LHS.isInvalid()) {
1982 SkipUntil(tok::greatergreatergreater, StopAtSemi);
1983 } else {
1984 // There was an error closing the brackets
1985 Diag(Tok, diag::err_expected) << tok::greatergreatergreater;
1986 Diag(OpenLoc, diag::note_matching) << tok::lesslessless;
1987 SkipUntil(tok::greatergreatergreater, StopAtSemi);
1988 LHS = ExprError();
1989 }
1990
1991 if (!LHS.isInvalid()) {
1992 if (ExpectAndConsume(tok::l_paren))
1993 LHS = ExprError();
1994 else
1995 Loc = PrevTokLocation;
1996 }
1997
1998 if (!LHS.isInvalid()) {
1999 ExprResult ECResult = Actions.ActOnCUDAExecConfigExpr(getCurScope(),
2000 OpenLoc,
2001 ExecConfigExprs,
2002 CloseLoc);
2003 if (ECResult.isInvalid())
2004 LHS = ExprError();
2005 else
2006 ExecConfig = ECResult.get();
2007 }
2008 } else {
2009 PT.consumeOpen();
2010 Loc = PT.getOpenLocation();
2011 }
2012
2013 ExprVector ArgExprs;
2014 CommaLocsTy CommaLocs;
2015 auto RunSignatureHelp = [&]() -> QualType {
2016 QualType PreferredType = Actions.ProduceCallSignatureHelp(
2017 getCurScope(), LHS.get(), ArgExprs, PT.getOpenLocation());
2018 CalledSignatureHelp = true;
2019 return PreferredType;
2020 };
2021 if (OpKind == tok::l_paren || !LHS.isInvalid()) {
2022 if (Tok.isNot(tok::r_paren)) {
2023 if (ParseExpressionList(ArgExprs, CommaLocs, [&] {
2024 PreferredType.enterFunctionArgument(Tok.getLocation(),
2025 RunSignatureHelp);
2026 })) {
2027 (void)Actions.CorrectDelayedTyposInExpr(LHS);
2028 // If we got an error when parsing expression list, we don't call
2029 // the CodeCompleteCall handler inside the parser. So call it here
2030 // to make sure we get overload suggestions even when we are in the
2031 // middle of a parameter.
2032 if (PP.isCodeCompletionReached() && !CalledSignatureHelp)
2033 RunSignatureHelp();
2034 LHS = ExprError();
2035 } else if (LHS.isInvalid()) {
2036 for (auto &E : ArgExprs)
2037 Actions.CorrectDelayedTyposInExpr(E);
2038 }
2039 }
2040 }
2041
2042 // Match the ')'.
2043 if (LHS.isInvalid()) {
2044 SkipUntil(tok::r_paren, StopAtSemi);
2045 } else if (Tok.isNot(tok::r_paren)) {
2046 bool HadDelayedTypo = false;
2047 if (Actions.CorrectDelayedTyposInExpr(LHS).get() != LHS.get())
2048 HadDelayedTypo = true;
2049 for (auto &E : ArgExprs)
2050 if (Actions.CorrectDelayedTyposInExpr(E).get() != E)
2051 HadDelayedTypo = true;
2052 // If there were delayed typos in the LHS or ArgExprs, call SkipUntil
2053 // instead of PT.consumeClose() to avoid emitting extra diagnostics for
2054 // the unmatched l_paren.
2055 if (HadDelayedTypo)
2056 SkipUntil(tok::r_paren, StopAtSemi);
2057 else
2058 PT.consumeClose();
2059 LHS = ExprError();
2060 } else {
2061 assert((((ArgExprs.size() == 0 || ArgExprs.size() - 1 == CommaLocs.size
()) && "Unexpected number of commas!") ? static_cast<
void> (0) : __assert_fail ("(ArgExprs.size() == 0 || ArgExprs.size() - 1 == CommaLocs.size()) && \"Unexpected number of commas!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2063, __PRETTY_FUNCTION__))
2062 (ArgExprs.size() == 0 || ArgExprs.size() - 1 == CommaLocs.size()) &&(((ArgExprs.size() == 0 || ArgExprs.size() - 1 == CommaLocs.size
()) && "Unexpected number of commas!") ? static_cast<
void> (0) : __assert_fail ("(ArgExprs.size() == 0 || ArgExprs.size() - 1 == CommaLocs.size()) && \"Unexpected number of commas!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2063, __PRETTY_FUNCTION__))
2063 "Unexpected number of commas!")(((ArgExprs.size() == 0 || ArgExprs.size() - 1 == CommaLocs.size
()) && "Unexpected number of commas!") ? static_cast<
void> (0) : __assert_fail ("(ArgExprs.size() == 0 || ArgExprs.size() - 1 == CommaLocs.size()) && \"Unexpected number of commas!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2063, __PRETTY_FUNCTION__))
;
2064 Expr *Fn = LHS.get();
2065 SourceLocation RParLoc = Tok.getLocation();
2066 LHS = Actions.ActOnCallExpr(getCurScope(), Fn, Loc, ArgExprs, RParLoc,
2067 ExecConfig);
2068 if (LHS.isInvalid()) {
2069 ArgExprs.insert(ArgExprs.begin(), Fn);
2070 LHS =
2071 Actions.CreateRecoveryExpr(Fn->getBeginLoc(), RParLoc, ArgExprs);
2072 }
2073 PT.consumeClose();
2074 }
2075
2076 break;
2077 }
2078 case tok::arrow:
2079 case tok::period: {
2080 // postfix-expression: p-e '->' template[opt] id-expression
2081 // postfix-expression: p-e '.' template[opt] id-expression
2082 tok::TokenKind OpKind = Tok.getKind();
2083 SourceLocation OpLoc = ConsumeToken(); // Eat the "." or "->" token.
2084
2085 CXXScopeSpec SS;
2086 ParsedType ObjectType;
2087 bool MayBePseudoDestructor = false;
2088 Expr* OrigLHS = !LHS.isInvalid() ? LHS.get() : nullptr;
2089
2090 PreferredType.enterMemAccess(Actions, Tok.getLocation(), OrigLHS);
2091
2092 if (getLangOpts().CPlusPlus && !LHS.isInvalid()) {
2093 Expr *Base = OrigLHS;
2094 const Type* BaseType = Base->getType().getTypePtrOrNull();
2095 if (BaseType && Tok.is(tok::l_paren) &&
2096 (BaseType->isFunctionType() ||
2097 BaseType->isSpecificPlaceholderType(BuiltinType::BoundMember))) {
2098 Diag(OpLoc, diag::err_function_is_not_record)
2099 << OpKind << Base->getSourceRange()
2100 << FixItHint::CreateRemoval(OpLoc);
2101 return ParsePostfixExpressionSuffix(Base);
2102 }
2103
2104 LHS = Actions.ActOnStartCXXMemberReference(getCurScope(), Base, OpLoc,
2105 OpKind, ObjectType,
2106 MayBePseudoDestructor);
2107 if (LHS.isInvalid()) {
2108 // Clang will try to perform expression based completion as a
2109 // fallback, which is confusing in case of member references. So we
2110 // stop here without any completions.
2111 if (Tok.is(tok::code_completion)) {
2112 cutOffParsing();
2113 return ExprError();
2114 }
2115 break;
2116 }
2117 ParseOptionalCXXScopeSpecifier(
2118 SS, ObjectType, LHS.get() && LHS.get()->containsErrors(),
2119 /*EnteringContext=*/false, &MayBePseudoDestructor);
2120 if (SS.isNotEmpty())
2121 ObjectType = nullptr;
2122 }
2123
2124 if (Tok.is(tok::code_completion)) {
2125 tok::TokenKind CorrectedOpKind =
2126 OpKind == tok::arrow ? tok::period : tok::arrow;
2127 ExprResult CorrectedLHS(/*Invalid=*/true);
2128 if (getLangOpts().CPlusPlus && OrigLHS) {
2129 // FIXME: Creating a TentativeAnalysisScope from outside Sema is a
2130 // hack.
2131 Sema::TentativeAnalysisScope Trap(Actions);
2132 CorrectedLHS = Actions.ActOnStartCXXMemberReference(
2133 getCurScope(), OrigLHS, OpLoc, CorrectedOpKind, ObjectType,
2134 MayBePseudoDestructor);
2135 }
2136
2137 Expr *Base = LHS.get();
2138 Expr *CorrectedBase = CorrectedLHS.get();
2139 if (!CorrectedBase && !getLangOpts().CPlusPlus)
2140 CorrectedBase = Base;
2141
2142 // Code completion for a member access expression.
2143 Actions.CodeCompleteMemberReferenceExpr(
2144 getCurScope(), Base, CorrectedBase, OpLoc, OpKind == tok::arrow,
2145 Base && ExprStatementTokLoc == Base->getBeginLoc(),
2146 PreferredType.get(Tok.getLocation()));
2147
2148 cutOffParsing();
2149 return ExprError();
2150 }
2151
2152 if (MayBePseudoDestructor && !LHS.isInvalid()) {
2153 LHS = ParseCXXPseudoDestructor(LHS.get(), OpLoc, OpKind, SS,
2154 ObjectType);
2155 break;
2156 }
2157
2158 // Either the action has told us that this cannot be a
2159 // pseudo-destructor expression (based on the type of base
2160 // expression), or we didn't see a '~' in the right place. We
2161 // can still parse a destructor name here, but in that case it
2162 // names a real destructor.
2163 // Allow explicit constructor calls in Microsoft mode.
2164 // FIXME: Add support for explicit call of template constructor.
2165 SourceLocation TemplateKWLoc;
2166 UnqualifiedId Name;
2167 if (getLangOpts().ObjC && OpKind == tok::period &&
2168 Tok.is(tok::kw_class)) {
2169 // Objective-C++:
2170 // After a '.' in a member access expression, treat the keyword
2171 // 'class' as if it were an identifier.
2172 //
2173 // This hack allows property access to the 'class' method because it is
2174 // such a common method name. For other C++ keywords that are
2175 // Objective-C method names, one must use the message send syntax.
2176 IdentifierInfo *Id = Tok.getIdentifierInfo();
2177 SourceLocation Loc = ConsumeToken();
2178 Name.setIdentifier(Id, Loc);
2179 } else if (ParseUnqualifiedId(
2180 SS, ObjectType, LHS.get() && LHS.get()->containsErrors(),
2181 /*EnteringContext=*/false,
2182 /*AllowDestructorName=*/true,
2183 /*AllowConstructorName=*/
2184 getLangOpts().MicrosoftExt && SS.isNotEmpty(),
2185 /*AllowDeductionGuide=*/false, &TemplateKWLoc, Name)) {
2186 (void)Actions.CorrectDelayedTyposInExpr(LHS);
2187 LHS = ExprError();
2188 }
2189
2190 if (!LHS.isInvalid())
2191 LHS = Actions.ActOnMemberAccessExpr(getCurScope(), LHS.get(), OpLoc,
2192 OpKind, SS, TemplateKWLoc, Name,
2193 CurParsedObjCImpl ? CurParsedObjCImpl->Dcl
2194 : nullptr);
2195 if (!LHS.isInvalid()) {
2196 if (Tok.is(tok::less))
2197 checkPotentialAngleBracket(LHS);
2198 } else if (OrigLHS && Name.isValid()) {
2199 // Preserve the LHS if the RHS is an invalid member.
2200 LHS = Actions.CreateRecoveryExpr(OrigLHS->getBeginLoc(),
2201 Name.getEndLoc(), {OrigLHS});
2202 }
2203 break;
2204 }
2205 case tok::plusplus: // postfix-expression: postfix-expression '++'
2206 case tok::minusminus: // postfix-expression: postfix-expression '--'
2207 if (!LHS.isInvalid()) {
2208 Expr *Arg = LHS.get();
2209 LHS = Actions.ActOnPostfixUnaryOp(getCurScope(), Tok.getLocation(),
2210 Tok.getKind(), Arg);
2211 if (LHS.isInvalid())
2212 LHS = Actions.CreateRecoveryExpr(Arg->getBeginLoc(),
2213 Tok.getLocation(), Arg);
2214 }
2215 ConsumeToken();
2216 break;
2217 }
2218 }
2219}
2220
2221/// ParseExprAfterUnaryExprOrTypeTrait - We parsed a typeof/sizeof/alignof/
2222/// vec_step and we are at the start of an expression or a parenthesized
2223/// type-id. OpTok is the operand token (typeof/sizeof/alignof). Returns the
2224/// expression (isCastExpr == false) or the type (isCastExpr == true).
2225///
2226/// \verbatim
2227/// unary-expression: [C99 6.5.3]
2228/// 'sizeof' unary-expression
2229/// 'sizeof' '(' type-name ')'
2230/// [GNU] '__alignof' unary-expression
2231/// [GNU] '__alignof' '(' type-name ')'
2232/// [C11] '_Alignof' '(' type-name ')'
2233/// [C++0x] 'alignof' '(' type-id ')'
2234///
2235/// [GNU] typeof-specifier:
2236/// typeof ( expressions )
2237/// typeof ( type-name )
2238/// [GNU/C++] typeof unary-expression
2239///
2240/// [OpenCL 1.1 6.11.12] vec_step built-in function:
2241/// vec_step ( expressions )
2242/// vec_step ( type-name )
2243/// \endverbatim
2244ExprResult
2245Parser::ParseExprAfterUnaryExprOrTypeTrait(const Token &OpTok,
2246 bool &isCastExpr,
2247 ParsedType &CastTy,
2248 SourceRange &CastRange) {
2249
2250 assert(OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof,((OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof
, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align
) && "Not a typeof/sizeof/alignof/vec_step expression!"
) ? static_cast<void> (0) : __assert_fail ("OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align) && \"Not a typeof/sizeof/alignof/vec_step expression!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2253, __PRETTY_FUNCTION__))
2251 tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step,((OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof
, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align
) && "Not a typeof/sizeof/alignof/vec_step expression!"
) ? static_cast<void> (0) : __assert_fail ("OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align) && \"Not a typeof/sizeof/alignof/vec_step expression!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2253, __PRETTY_FUNCTION__))
2252 tok::kw___builtin_omp_required_simd_align) &&((OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof
, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align
) && "Not a typeof/sizeof/alignof/vec_step expression!"
) ? static_cast<void> (0) : __assert_fail ("OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align) && \"Not a typeof/sizeof/alignof/vec_step expression!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2253, __PRETTY_FUNCTION__))
2253 "Not a typeof/sizeof/alignof/vec_step expression!")((OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof
, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align
) && "Not a typeof/sizeof/alignof/vec_step expression!"
) ? static_cast<void> (0) : __assert_fail ("OpTok.isOneOf(tok::kw_typeof, tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align) && \"Not a typeof/sizeof/alignof/vec_step expression!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2253, __PRETTY_FUNCTION__))
;
2254
2255 ExprResult Operand;
2256
2257 // If the operand doesn't start with an '(', it must be an expression.
2258 if (Tok.isNot(tok::l_paren)) {
2259 // If construct allows a form without parenthesis, user may forget to put
2260 // pathenthesis around type name.
2261 if (OpTok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof,
2262 tok::kw__Alignof)) {
2263 if (isTypeIdUnambiguously()) {
2264 DeclSpec DS(AttrFactory);
2265 ParseSpecifierQualifierList(DS);
2266 Declarator DeclaratorInfo(DS, DeclaratorContext::TypeNameContext);
2267 ParseDeclarator(DeclaratorInfo);
2268
2269 SourceLocation LParenLoc = PP.getLocForEndOfToken(OpTok.getLocation());
2270 SourceLocation RParenLoc = PP.getLocForEndOfToken(PrevTokLocation);
2271 Diag(LParenLoc, diag::err_expected_parentheses_around_typename)
2272 << OpTok.getName()
2273 << FixItHint::CreateInsertion(LParenLoc, "(")
2274 << FixItHint::CreateInsertion(RParenLoc, ")");
2275 isCastExpr = true;
2276 return ExprEmpty();
2277 }
2278 }
2279
2280 isCastExpr = false;
2281 if (OpTok.is(tok::kw_typeof) && !getLangOpts().CPlusPlus) {
2282 Diag(Tok, diag::err_expected_after) << OpTok.getIdentifierInfo()
2283 << tok::l_paren;
2284 return ExprError();
2285 }
2286
2287 Operand = ParseCastExpression(UnaryExprOnly);
2288 } else {
2289 // If it starts with a '(', we know that it is either a parenthesized
2290 // type-name, or it is a unary-expression that starts with a compound
2291 // literal, or starts with a primary-expression that is a parenthesized
2292 // expression.
2293 ParenParseOption ExprType = CastExpr;
2294 SourceLocation LParenLoc = Tok.getLocation(), RParenLoc;
2295
2296 Operand = ParseParenExpression(ExprType, true/*stopIfCastExpr*/,
2297 false, CastTy, RParenLoc);
2298 CastRange = SourceRange(LParenLoc, RParenLoc);
2299
2300 // If ParseParenExpression parsed a '(typename)' sequence only, then this is
2301 // a type.
2302 if (ExprType == CastExpr) {
2303 isCastExpr = true;
2304 return ExprEmpty();
2305 }
2306
2307 if (getLangOpts().CPlusPlus || OpTok.isNot(tok::kw_typeof)) {
2308 // GNU typeof in C requires the expression to be parenthesized. Not so for
2309 // sizeof/alignof or in C++. Therefore, the parenthesized expression is
2310 // the start of a unary-expression, but doesn't include any postfix
2311 // pieces. Parse these now if present.
2312 if (!Operand.isInvalid())
2313 Operand = ParsePostfixExpressionSuffix(Operand.get());
2314 }
2315 }
2316
2317 // If we get here, the operand to the typeof/sizeof/alignof was an expression.
2318 isCastExpr = false;
2319 return Operand;
2320}
2321
2322
2323ExprResult Parser::ParseUniqueStableNameExpression() {
2324 assert(Tok.is(tok::kw___builtin_unique_stable_name) &&((Tok.is(tok::kw___builtin_unique_stable_name) && "Not __bulitin_unique_stable_name"
) ? static_cast<void> (0) : __assert_fail ("Tok.is(tok::kw___builtin_unique_stable_name) && \"Not __bulitin_unique_stable_name\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2325, __PRETTY_FUNCTION__))
2325 "Not __bulitin_unique_stable_name")((Tok.is(tok::kw___builtin_unique_stable_name) && "Not __bulitin_unique_stable_name"
) ? static_cast<void> (0) : __assert_fail ("Tok.is(tok::kw___builtin_unique_stable_name) && \"Not __bulitin_unique_stable_name\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2325, __PRETTY_FUNCTION__))
;
2326
2327 SourceLocation OpLoc = ConsumeToken();
2328 BalancedDelimiterTracker T(*this, tok::l_paren);
2329
2330 // typeid expressions are always parenthesized.
2331 if (T.expectAndConsume(diag::err_expected_lparen_after,
2332 "__builtin_unique_stable_name"))
2333 return ExprError();
2334
2335 if (isTypeIdInParens()) {
2336 TypeResult Ty = ParseTypeName();
2337 T.consumeClose();
2338
2339 if (Ty.isInvalid())
2340 return ExprError();
2341
2342 return Actions.ActOnUniqueStableNameExpr(OpLoc, T.getOpenLocation(),
2343 T.getCloseLocation(), Ty.get());
2344 }
2345
2346 EnterExpressionEvaluationContext Unevaluated(
2347 Actions, Sema::ExpressionEvaluationContext::Unevaluated);
2348 ExprResult Result = ParseExpression();
2349
2350 if (Result.isInvalid()) {
2351 SkipUntil(tok::r_paren, StopAtSemi);
2352 return Result;
2353 }
2354
2355 T.consumeClose();
2356 return Actions.ActOnUniqueStableNameExpr(OpLoc, T.getOpenLocation(),
2357 T.getCloseLocation(), Result.get());
2358}
2359
2360/// Parse a sizeof or alignof expression.
2361///
2362/// \verbatim
2363/// unary-expression: [C99 6.5.3]
2364/// 'sizeof' unary-expression
2365/// 'sizeof' '(' type-name ')'
2366/// [C++11] 'sizeof' '...' '(' identifier ')'
2367/// [GNU] '__alignof' unary-expression
2368/// [GNU] '__alignof' '(' type-name ')'
2369/// [C11] '_Alignof' '(' type-name ')'
2370/// [C++11] 'alignof' '(' type-id ')'
2371/// \endverbatim
2372ExprResult Parser::ParseUnaryExprOrTypeTraitExpression() {
2373 assert(Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof,((Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof
, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align
) && "Not a sizeof/alignof/vec_step expression!") ? static_cast
<void> (0) : __assert_fail ("Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align) && \"Not a sizeof/alignof/vec_step expression!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2376, __PRETTY_FUNCTION__))
2374 tok::kw__Alignof, tok::kw_vec_step,((Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof
, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align
) && "Not a sizeof/alignof/vec_step expression!") ? static_cast
<void> (0) : __assert_fail ("Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align) && \"Not a sizeof/alignof/vec_step expression!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2376, __PRETTY_FUNCTION__))
2375 tok::kw___builtin_omp_required_simd_align) &&((Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof
, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align
) && "Not a sizeof/alignof/vec_step expression!") ? static_cast
<void> (0) : __assert_fail ("Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align) && \"Not a sizeof/alignof/vec_step expression!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2376, __PRETTY_FUNCTION__))
2376 "Not a sizeof/alignof/vec_step expression!")((Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof
, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align
) && "Not a sizeof/alignof/vec_step expression!") ? static_cast
<void> (0) : __assert_fail ("Tok.isOneOf(tok::kw_sizeof, tok::kw___alignof, tok::kw_alignof, tok::kw__Alignof, tok::kw_vec_step, tok::kw___builtin_omp_required_simd_align) && \"Not a sizeof/alignof/vec_step expression!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2376, __PRETTY_FUNCTION__))
;
2377 Token OpTok = Tok;
2378 ConsumeToken();
2379
2380 // [C++11] 'sizeof' '...' '(' identifier ')'
2381 if (Tok.is(tok::ellipsis) && OpTok.is(tok::kw_sizeof)) {
2382 SourceLocation EllipsisLoc = ConsumeToken();
2383 SourceLocation LParenLoc, RParenLoc;
2384 IdentifierInfo *Name = nullptr;
2385 SourceLocation NameLoc;
2386 if (Tok.is(tok::l_paren)) {
2387 BalancedDelimiterTracker T(*this, tok::l_paren);
2388 T.consumeOpen();
2389 LParenLoc = T.getOpenLocation();
2390 if (Tok.is(tok::identifier)) {
2391 Name = Tok.getIdentifierInfo();
2392 NameLoc = ConsumeToken();
2393 T.consumeClose();
2394 RParenLoc = T.getCloseLocation();
2395 if (RParenLoc.isInvalid())
2396 RParenLoc = PP.getLocForEndOfToken(NameLoc);
2397 } else {
2398 Diag(Tok, diag::err_expected_parameter_pack);
2399 SkipUntil(tok::r_paren, StopAtSemi);
2400 }
2401 } else if (Tok.is(tok::identifier)) {
2402 Name = Tok.getIdentifierInfo();
2403 NameLoc = ConsumeToken();
2404 LParenLoc = PP.getLocForEndOfToken(EllipsisLoc);
2405 RParenLoc = PP.getLocForEndOfToken(NameLoc);
2406 Diag(LParenLoc, diag::err_paren_sizeof_parameter_pack)
2407 << Name
2408 << FixItHint::CreateInsertion(LParenLoc, "(")
2409 << FixItHint::CreateInsertion(RParenLoc, ")");
2410 } else {
2411 Diag(Tok, diag::err_sizeof_parameter_pack);
2412 }
2413
2414 if (!Name)
2415 return ExprError();
2416
2417 EnterExpressionEvaluationContext Unevaluated(
2418 Actions, Sema::ExpressionEvaluationContext::Unevaluated,
2419 Sema::ReuseLambdaContextDecl);
2420
2421 return Actions.ActOnSizeofParameterPackExpr(getCurScope(),
2422 OpTok.getLocation(),
2423 *Name, NameLoc,
2424 RParenLoc);
2425 }
2426
2427 if (OpTok.isOneOf(tok::kw_alignof, tok::kw__Alignof))
2428 Diag(OpTok, diag::warn_cxx98_compat_alignof);
2429
2430 EnterExpressionEvaluationContext Unevaluated(
2431 Actions, Sema::ExpressionEvaluationContext::Unevaluated,
2432 Sema::ReuseLambdaContextDecl);
2433
2434 bool isCastExpr;
2435 ParsedType CastTy;
2436 SourceRange CastRange;
2437 ExprResult Operand = ParseExprAfterUnaryExprOrTypeTrait(OpTok,
2438 isCastExpr,
2439 CastTy,
2440 CastRange);
2441
2442 UnaryExprOrTypeTrait ExprKind = UETT_SizeOf;
2443 if (OpTok.isOneOf(tok::kw_alignof, tok::kw__Alignof))
2444 ExprKind = UETT_AlignOf;
2445 else if (OpTok.is(tok::kw___alignof))
2446 ExprKind = UETT_PreferredAlignOf;
2447 else if (OpTok.is(tok::kw_vec_step))
2448 ExprKind = UETT_VecStep;
2449 else if (OpTok.is(tok::kw___builtin_omp_required_simd_align))
2450 ExprKind = UETT_OpenMPRequiredSimdAlign;
2451
2452 if (isCastExpr)
2453 return Actions.ActOnUnaryExprOrTypeTraitExpr(OpTok.getLocation(),
2454 ExprKind,
2455 /*IsType=*/true,
2456 CastTy.getAsOpaquePtr(),
2457 CastRange);
2458
2459 if (OpTok.isOneOf(tok::kw_alignof, tok::kw__Alignof))
2460 Diag(OpTok, diag::ext_alignof_expr) << OpTok.getIdentifierInfo();
2461
2462 // If we get here, the operand to the sizeof/alignof was an expression.
2463 if (!Operand.isInvalid())
2464 Operand = Actions.ActOnUnaryExprOrTypeTraitExpr(OpTok.getLocation(),
2465 ExprKind,
2466 /*IsType=*/false,
2467 Operand.get(),
2468 CastRange);
2469 return Operand;
2470}
2471
2472/// ParseBuiltinPrimaryExpression
2473///
2474/// \verbatim
2475/// primary-expression: [C99 6.5.1]
2476/// [GNU] '__builtin_va_arg' '(' assignment-expression ',' type-name ')'
2477/// [GNU] '__builtin_offsetof' '(' type-name ',' offsetof-member-designator')'
2478/// [GNU] '__builtin_choose_expr' '(' assign-expr ',' assign-expr ','
2479/// assign-expr ')'
2480/// [GNU] '__builtin_types_compatible_p' '(' type-name ',' type-name ')'
2481/// [GNU] '__builtin_FILE' '(' ')'
2482/// [GNU] '__builtin_FUNCTION' '(' ')'
2483/// [GNU] '__builtin_LINE' '(' ')'
2484/// [CLANG] '__builtin_COLUMN' '(' ')'
2485/// [OCL] '__builtin_astype' '(' assignment-expression ',' type-name ')'
2486///
2487/// [GNU] offsetof-member-designator:
2488/// [GNU] identifier
2489/// [GNU] offsetof-member-designator '.' identifier
2490/// [GNU] offsetof-member-designator '[' expression ']'
2491/// \endverbatim
2492ExprResult Parser::ParseBuiltinPrimaryExpression() {
2493 ExprResult Res;
2494 const IdentifierInfo *BuiltinII = Tok.getIdentifierInfo();
2495
2496 tok::TokenKind T = Tok.getKind();
2497 SourceLocation StartLoc = ConsumeToken(); // Eat the builtin identifier.
2498
2499 // All of these start with an open paren.
2500 if (Tok.isNot(tok::l_paren))
2501 return ExprError(Diag(Tok, diag::err_expected_after) << BuiltinII
2502 << tok::l_paren);
2503
2504 BalancedDelimiterTracker PT(*this, tok::l_paren);
2505 PT.consumeOpen();
2506
2507 // TODO: Build AST.
2508
2509 switch (T) {
2510 default: llvm_unreachable("Not a builtin primary expression!")::llvm::llvm_unreachable_internal("Not a builtin primary expression!"
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2510)
;
2511 case tok::kw___builtin_va_arg: {
2512 ExprResult Expr(ParseAssignmentExpression());
2513
2514 if (ExpectAndConsume(tok::comma)) {
2515 SkipUntil(tok::r_paren, StopAtSemi);
2516 Expr = ExprError();
2517 }
2518
2519 TypeResult Ty = ParseTypeName();
2520
2521 if (Tok.isNot(tok::r_paren)) {
2522 Diag(Tok, diag::err_expected) << tok::r_paren;
2523 Expr = ExprError();
2524 }
2525
2526 if (Expr.isInvalid() || Ty.isInvalid())
2527 Res = ExprError();
2528 else
2529 Res = Actions.ActOnVAArg(StartLoc, Expr.get(), Ty.get(), ConsumeParen());
2530 break;
2531 }
2532 case tok::kw___builtin_offsetof: {
2533 SourceLocation TypeLoc = Tok.getLocation();
2534 TypeResult Ty = ParseTypeName();
2535 if (Ty.isInvalid()) {
2536 SkipUntil(tok::r_paren, StopAtSemi);
2537 return ExprError();
2538 }
2539
2540 if (ExpectAndConsume(tok::comma)) {
2541 SkipUntil(tok::r_paren, StopAtSemi);
2542 return ExprError();
2543 }
2544
2545 // We must have at least one identifier here.
2546 if (Tok.isNot(tok::identifier)) {
2547 Diag(Tok, diag::err_expected) << tok::identifier;
2548 SkipUntil(tok::r_paren, StopAtSemi);
2549 return ExprError();
2550 }
2551
2552 // Keep track of the various subcomponents we see.
2553 SmallVector<Sema::OffsetOfComponent, 4> Comps;
2554
2555 Comps.push_back(Sema::OffsetOfComponent());
2556 Comps.back().isBrackets = false;
2557 Comps.back().U.IdentInfo = Tok.getIdentifierInfo();
2558 Comps.back().LocStart = Comps.back().LocEnd = ConsumeToken();
2559
2560 // FIXME: This loop leaks the index expressions on error.
2561 while (1) {
2562 if (Tok.is(tok::period)) {
2563 // offsetof-member-designator: offsetof-member-designator '.' identifier
2564 Comps.push_back(Sema::OffsetOfComponent());
2565 Comps.back().isBrackets = false;
2566 Comps.back().LocStart = ConsumeToken();
2567
2568 if (Tok.isNot(tok::identifier)) {
2569 Diag(Tok, diag::err_expected) << tok::identifier;
2570 SkipUntil(tok::r_paren, StopAtSemi);
2571 return ExprError();
2572 }
2573 Comps.back().U.IdentInfo = Tok.getIdentifierInfo();
2574 Comps.back().LocEnd = ConsumeToken();
2575
2576 } else if (Tok.is(tok::l_square)) {
2577 if (CheckProhibitedCXX11Attribute())
2578 return ExprError();
2579
2580 // offsetof-member-designator: offsetof-member-design '[' expression ']'
2581 Comps.push_back(Sema::OffsetOfComponent());
2582 Comps.back().isBrackets = true;
2583 BalancedDelimiterTracker ST(*this, tok::l_square);
2584 ST.consumeOpen();
2585 Comps.back().LocStart = ST.getOpenLocation();
2586 Res = ParseExpression();
2587 if (Res.isInvalid()) {
2588 SkipUntil(tok::r_paren, StopAtSemi);
2589 return Res;
2590 }
2591 Comps.back().U.E = Res.get();
2592
2593 ST.consumeClose();
2594 Comps.back().LocEnd = ST.getCloseLocation();
2595 } else {
2596 if (Tok.isNot(tok::r_paren)) {
2597 PT.consumeClose();
2598 Res = ExprError();
2599 } else if (Ty.isInvalid()) {
2600 Res = ExprError();
2601 } else {
2602 PT.consumeClose();
2603 Res = Actions.ActOnBuiltinOffsetOf(getCurScope(), StartLoc, TypeLoc,
2604 Ty.get(), Comps,
2605 PT.getCloseLocation());
2606 }
2607 break;
2608 }
2609 }
2610 break;
2611 }
2612 case tok::kw___builtin_choose_expr: {
2613 ExprResult Cond(ParseAssignmentExpression());
2614 if (Cond.isInvalid()) {
2615 SkipUntil(tok::r_paren, StopAtSemi);
2616 return Cond;
2617 }
2618 if (ExpectAndConsume(tok::comma)) {
2619 SkipUntil(tok::r_paren, StopAtSemi);
2620 return ExprError();
2621 }
2622
2623 ExprResult Expr1(ParseAssignmentExpression());
2624 if (Expr1.isInvalid()) {
2625 SkipUntil(tok::r_paren, StopAtSemi);
2626 return Expr1;
2627 }
2628 if (ExpectAndConsume(tok::comma)) {
2629 SkipUntil(tok::r_paren, StopAtSemi);
2630 return ExprError();
2631 }
2632
2633 ExprResult Expr2(ParseAssignmentExpression());
2634 if (Expr2.isInvalid()) {
2635 SkipUntil(tok::r_paren, StopAtSemi);
2636 return Expr2;
2637 }
2638 if (Tok.isNot(tok::r_paren)) {
2639 Diag(Tok, diag::err_expected) << tok::r_paren;
2640 return ExprError();
2641 }
2642 Res = Actions.ActOnChooseExpr(StartLoc, Cond.get(), Expr1.get(),
2643 Expr2.get(), ConsumeParen());
2644 break;
2645 }
2646 case tok::kw___builtin_astype: {
2647 // The first argument is an expression to be converted, followed by a comma.
2648 ExprResult Expr(ParseAssignmentExpression());
2649 if (Expr.isInvalid()) {
2650 SkipUntil(tok::r_paren, StopAtSemi);
2651 return ExprError();
2652 }
2653
2654 if (ExpectAndConsume(tok::comma)) {
2655 SkipUntil(tok::r_paren, StopAtSemi);
2656 return ExprError();
2657 }
2658
2659 // Second argument is the type to bitcast to.
2660 TypeResult DestTy = ParseTypeName();
2661 if (DestTy.isInvalid())
2662 return ExprError();
2663
2664 // Attempt to consume the r-paren.
2665 if (Tok.isNot(tok::r_paren)) {
2666 Diag(Tok, diag::err_expected) << tok::r_paren;
2667 SkipUntil(tok::r_paren, StopAtSemi);
2668 return ExprError();
2669 }
2670
2671 Res = Actions.ActOnAsTypeExpr(Expr.get(), DestTy.get(), StartLoc,
2672 ConsumeParen());
2673 break;
2674 }
2675 case tok::kw___builtin_convertvector: {
2676 // The first argument is an expression to be converted, followed by a comma.
2677 ExprResult Expr(ParseAssignmentExpression());
2678 if (Expr.isInvalid()) {
2679 SkipUntil(tok::r_paren, StopAtSemi);
2680 return ExprError();
2681 }
2682
2683 if (ExpectAndConsume(tok::comma)) {
2684 SkipUntil(tok::r_paren, StopAtSemi);
2685 return ExprError();
2686 }
2687
2688 // Second argument is the type to bitcast to.
2689 TypeResult DestTy = ParseTypeName();
2690 if (DestTy.isInvalid())
2691 return ExprError();
2692
2693 // Attempt to consume the r-paren.
2694 if (Tok.isNot(tok::r_paren)) {
2695 Diag(Tok, diag::err_expected) << tok::r_paren;
2696 SkipUntil(tok::r_paren, StopAtSemi);
2697 return ExprError();
2698 }
2699
2700 Res = Actions.ActOnConvertVectorExpr(Expr.get(), DestTy.get(), StartLoc,
2701 ConsumeParen());
2702 break;
2703 }
2704 case tok::kw___builtin_COLUMN:
2705 case tok::kw___builtin_FILE:
2706 case tok::kw___builtin_FUNCTION:
2707 case tok::kw___builtin_LINE: {
2708 // Attempt to consume the r-paren.
2709 if (Tok.isNot(tok::r_paren)) {
2710 Diag(Tok, diag::err_expected) << tok::r_paren;
2711 SkipUntil(tok::r_paren, StopAtSemi);
2712 return ExprError();
2713 }
2714 SourceLocExpr::IdentKind Kind = [&] {
2715 switch (T) {
2716 case tok::kw___builtin_FILE:
2717 return SourceLocExpr::File;
2718 case tok::kw___builtin_FUNCTION:
2719 return SourceLocExpr::Function;
2720 case tok::kw___builtin_LINE:
2721 return SourceLocExpr::Line;
2722 case tok::kw___builtin_COLUMN:
2723 return SourceLocExpr::Column;
2724 default:
2725 llvm_unreachable("invalid keyword")::llvm::llvm_unreachable_internal("invalid keyword", "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2725)
;
2726 }
2727 }();
2728 Res = Actions.ActOnSourceLocExpr(Kind, StartLoc, ConsumeParen());
2729 break;
2730 }
2731 }
2732
2733 if (Res.isInvalid())
2734 return ExprError();
2735
2736 // These can be followed by postfix-expr pieces because they are
2737 // primary-expressions.
2738 return ParsePostfixExpressionSuffix(Res.get());
2739}
2740
2741bool Parser::tryParseOpenMPArrayShapingCastPart() {
2742 assert(Tok.is(tok::l_square) && "Expected open bracket")((Tok.is(tok::l_square) && "Expected open bracket") ?
static_cast<void> (0) : __assert_fail ("Tok.is(tok::l_square) && \"Expected open bracket\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2742, __PRETTY_FUNCTION__))
;
2743 bool ErrorFound = true;
2744 TentativeParsingAction TPA(*this);
2745 do {
2746 if (Tok.isNot(tok::l_square))
2747 break;
2748 // Consume '['
2749 ConsumeBracket();
2750 // Skip inner expression.
2751 while (!SkipUntil(tok::r_square, tok::annot_pragma_openmp_end,
2752 StopAtSemi | StopBeforeMatch))
2753 ;
2754 if (Tok.isNot(tok::r_square))
2755 break;
2756 // Consume ']'
2757 ConsumeBracket();
2758 // Found ')' - done.
2759 if (Tok.is(tok::r_paren)) {
2760 ErrorFound = false;
2761 break;
2762 }
2763 } while (Tok.isNot(tok::annot_pragma_openmp_end));
2764 TPA.Revert();
2765 return !ErrorFound;
2766}
2767
2768/// ParseParenExpression - This parses the unit that starts with a '(' token,
2769/// based on what is allowed by ExprType. The actual thing parsed is returned
2770/// in ExprType. If stopIfCastExpr is true, it will only return the parsed type,
2771/// not the parsed cast-expression.
2772///
2773/// \verbatim
2774/// primary-expression: [C99 6.5.1]
2775/// '(' expression ')'
2776/// [GNU] '(' compound-statement ')' (if !ParenExprOnly)
2777/// postfix-expression: [C99 6.5.2]
2778/// '(' type-name ')' '{' initializer-list '}'
2779/// '(' type-name ')' '{' initializer-list ',' '}'
2780/// cast-expression: [C99 6.5.4]
2781/// '(' type-name ')' cast-expression
2782/// [ARC] bridged-cast-expression
2783/// [ARC] bridged-cast-expression:
2784/// (__bridge type-name) cast-expression
2785/// (__bridge_transfer type-name) cast-expression
2786/// (__bridge_retained type-name) cast-expression
2787/// fold-expression: [C++1z]
2788/// '(' cast-expression fold-operator '...' ')'
2789/// '(' '...' fold-operator cast-expression ')'
2790/// '(' cast-expression fold-operator '...'
2791/// fold-operator cast-expression ')'
2792/// [OPENMP] Array shaping operation
2793/// '(' '[' expression ']' { '[' expression ']' } cast-expression
2794/// \endverbatim
2795ExprResult
2796Parser::ParseParenExpression(ParenParseOption &ExprType, bool stopIfCastExpr,
2797 bool isTypeCast, ParsedType &CastTy,
2798 SourceLocation &RParenLoc) {
2799 assert(Tok.is(tok::l_paren) && "Not a paren expr!")((Tok.is(tok::l_paren) && "Not a paren expr!") ? static_cast
<void> (0) : __assert_fail ("Tok.is(tok::l_paren) && \"Not a paren expr!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2799, __PRETTY_FUNCTION__))
;
2800 ColonProtectionRAIIObject ColonProtection(*this, false);
2801 BalancedDelimiterTracker T(*this, tok::l_paren);
2802 if (T.consumeOpen())
2803 return ExprError();
2804 SourceLocation OpenLoc = T.getOpenLocation();
2805
2806 PreferredType.enterParenExpr(Tok.getLocation(), OpenLoc);
2807
2808 ExprResult Result(true);
2809 bool isAmbiguousTypeId;
2810 CastTy = nullptr;
2811
2812 if (Tok.is(tok::code_completion)) {
2813 Actions.CodeCompleteExpression(
2814 getCurScope(), PreferredType.get(Tok.getLocation()),
2815 /*IsParenthesized=*/ExprType >= CompoundLiteral);
2816 cutOffParsing();
2817 return ExprError();
2818 }
2819
2820 // Diagnose use of bridge casts in non-arc mode.
2821 bool BridgeCast = (getLangOpts().ObjC &&
2822 Tok.isOneOf(tok::kw___bridge,
2823 tok::kw___bridge_transfer,
2824 tok::kw___bridge_retained,
2825 tok::kw___bridge_retain));
2826 if (BridgeCast && !getLangOpts().ObjCAutoRefCount) {
2827 if (!TryConsumeToken(tok::kw___bridge)) {
2828 StringRef BridgeCastName = Tok.getName();
2829 SourceLocation BridgeKeywordLoc = ConsumeToken();
2830 if (!PP.getSourceManager().isInSystemHeader(BridgeKeywordLoc))
2831 Diag(BridgeKeywordLoc, diag::warn_arc_bridge_cast_nonarc)
2832 << BridgeCastName
2833 << FixItHint::CreateReplacement(BridgeKeywordLoc, "");
2834 }
2835 BridgeCast = false;
2836 }
2837
2838 // None of these cases should fall through with an invalid Result
2839 // unless they've already reported an error.
2840 if (ExprType >= CompoundStmt && Tok.is(tok::l_brace)) {
2841 Diag(Tok, diag::ext_gnu_statement_expr);
2842
2843 checkCompoundToken(OpenLoc, tok::l_paren, CompoundToken::StmtExprBegin);
2844
2845 if (!getCurScope()->getFnParent() && !getCurScope()->getBlockParent()) {
2846 Result = ExprError(Diag(OpenLoc, diag::err_stmtexpr_file_scope));
2847 } else {
2848 // Find the nearest non-record decl context. Variables declared in a
2849 // statement expression behave as if they were declared in the enclosing
2850 // function, block, or other code construct.
2851 DeclContext *CodeDC = Actions.CurContext;
2852 while (CodeDC->isRecord() || isa<EnumDecl>(CodeDC)) {
2853 CodeDC = CodeDC->getParent();
2854 assert(CodeDC && !CodeDC->isFileContext() &&((CodeDC && !CodeDC->isFileContext() && "statement expr not in code context"
) ? static_cast<void> (0) : __assert_fail ("CodeDC && !CodeDC->isFileContext() && \"statement expr not in code context\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2855, __PRETTY_FUNCTION__))
2855 "statement expr not in code context")((CodeDC && !CodeDC->isFileContext() && "statement expr not in code context"
) ? static_cast<void> (0) : __assert_fail ("CodeDC && !CodeDC->isFileContext() && \"statement expr not in code context\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2855, __PRETTY_FUNCTION__))
;
2856 }
2857 Sema::ContextRAII SavedContext(Actions, CodeDC, /*NewThisContext=*/false);
2858
2859 Actions.ActOnStartStmtExpr();
2860
2861 StmtResult Stmt(ParseCompoundStatement(true));
2862 ExprType = CompoundStmt;
2863
2864 // If the substmt parsed correctly, build the AST node.
2865 if (!Stmt.isInvalid()) {
2866 Result = Actions.ActOnStmtExpr(getCurScope(), OpenLoc, Stmt.get(),
2867 Tok.getLocation());
2868 } else {
2869 Actions.ActOnStmtExprError();
2870 }
2871 }
2872 } else if (ExprType >= CompoundLiteral && BridgeCast) {
2873 tok::TokenKind tokenKind = Tok.getKind();
2874 SourceLocation BridgeKeywordLoc = ConsumeToken();
2875
2876 // Parse an Objective-C ARC ownership cast expression.
2877 ObjCBridgeCastKind Kind;
2878 if (tokenKind == tok::kw___bridge)
2879 Kind = OBC_Bridge;
2880 else if (tokenKind == tok::kw___bridge_transfer)
2881 Kind = OBC_BridgeTransfer;
2882 else if (tokenKind == tok::kw___bridge_retained)
2883 Kind = OBC_BridgeRetained;
2884 else {
2885 // As a hopefully temporary workaround, allow __bridge_retain as
2886 // a synonym for __bridge_retained, but only in system headers.
2887 assert(tokenKind == tok::kw___bridge_retain)((tokenKind == tok::kw___bridge_retain) ? static_cast<void
> (0) : __assert_fail ("tokenKind == tok::kw___bridge_retain"
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 2887, __PRETTY_FUNCTION__))
;
2888 Kind = OBC_BridgeRetained;
2889 if (!PP.getSourceManager().isInSystemHeader(BridgeKeywordLoc))
2890 Diag(BridgeKeywordLoc, diag::err_arc_bridge_retain)
2891 << FixItHint::CreateReplacement(BridgeKeywordLoc,
2892 "__bridge_retained");
2893 }
2894
2895 TypeResult Ty = ParseTypeName();
2896 T.consumeClose();
2897 ColonProtection.restore();
2898 RParenLoc = T.getCloseLocation();
2899
2900 PreferredType.enterTypeCast(Tok.getLocation(), Ty.get().get());
2901 ExprResult SubExpr = ParseCastExpression(AnyCastExpr);
2902
2903 if (Ty.isInvalid() || SubExpr.isInvalid())
2904 return ExprError();
2905
2906 return Actions.ActOnObjCBridgedCast(getCurScope(), OpenLoc, Kind,
2907 BridgeKeywordLoc, Ty.get(),
2908 RParenLoc, SubExpr.get());
2909 } else if (ExprType >= CompoundLiteral &&
2910 isTypeIdInParens(isAmbiguousTypeId)) {
2911
2912 // Otherwise, this is a compound literal expression or cast expression.
2913
2914 // In C++, if the type-id is ambiguous we disambiguate based on context.
2915 // If stopIfCastExpr is true the context is a typeof/sizeof/alignof
2916 // in which case we should treat it as type-id.
2917 // if stopIfCastExpr is false, we need to determine the context past the
2918 // parens, so we defer to ParseCXXAmbiguousParenExpression for that.
2919 if (isAmbiguousTypeId && !stopIfCastExpr) {
2920 ExprResult res = ParseCXXAmbiguousParenExpression(ExprType, CastTy, T,
2921 ColonProtection);
2922 RParenLoc = T.getCloseLocation();
2923 return res;
2924 }
2925
2926 // Parse the type declarator.
2927 DeclSpec DS(AttrFactory);
2928 ParseSpecifierQualifierList(DS);
2929 Declarator DeclaratorInfo(DS, DeclaratorContext::TypeNameContext);
2930 ParseDeclarator(DeclaratorInfo);
2931
2932 // If our type is followed by an identifier and either ':' or ']', then
2933 // this is probably an Objective-C message send where the leading '[' is
2934 // missing. Recover as if that were the case.
2935 if (!DeclaratorInfo.isInvalidType() && Tok.is(tok::identifier) &&
2936 !InMessageExpression && getLangOpts().ObjC &&
2937 (NextToken().is(tok::colon) || NextToken().is(tok::r_square))) {
2938 TypeResult Ty;
2939 {
2940 InMessageExpressionRAIIObject InMessage(*this, false);
2941 Ty = Actions.ActOnTypeName(getCurScope(), DeclaratorInfo);
2942 }
2943 Result = ParseObjCMessageExpressionBody(SourceLocation(),
2944 SourceLocation(),
2945 Ty.get(), nullptr);
2946 } else {
2947 // Match the ')'.
2948 T.consumeClose();
2949 ColonProtection.restore();
2950 RParenLoc = T.getCloseLocation();
2951 if (Tok.is(tok::l_brace)) {
2952 ExprType = CompoundLiteral;
2953 TypeResult Ty;
2954 {
2955 InMessageExpressionRAIIObject InMessage(*this, false);
2956 Ty = Actions.ActOnTypeName(getCurScope(), DeclaratorInfo);
2957 }
2958 return ParseCompoundLiteralExpression(Ty.get(), OpenLoc, RParenLoc);
2959 }
2960
2961 if (Tok.is(tok::l_paren)) {
2962 // This could be OpenCL vector Literals
2963 if (getLangOpts().OpenCL)
2964 {
2965 TypeResult Ty;
2966 {
2967 InMessageExpressionRAIIObject InMessage(*this, false);
2968 Ty = Actions.ActOnTypeName(getCurScope(), DeclaratorInfo);
2969 }
2970 if(Ty.isInvalid())
2971 {
2972 return ExprError();
2973 }
2974 QualType QT = Ty.get().get().getCanonicalType();
2975 if (QT->isVectorType())
2976 {
2977 // We parsed '(' vector-type-name ')' followed by '('
2978
2979 // Parse the cast-expression that follows it next.
2980 // isVectorLiteral = true will make sure we don't parse any
2981 // Postfix expression yet
2982 Result = ParseCastExpression(/*isUnaryExpression=*/AnyCastExpr,
2983 /*isAddressOfOperand=*/false,
2984 /*isTypeCast=*/IsTypeCast,
2985 /*isVectorLiteral=*/true);
2986
2987 if (!Result.isInvalid()) {
2988 Result = Actions.ActOnCastExpr(getCurScope(), OpenLoc,
2989 DeclaratorInfo, CastTy,
2990 RParenLoc, Result.get());
2991 }
2992
2993 // After we performed the cast we can check for postfix-expr pieces.
2994 if (!Result.isInvalid()) {
2995 Result = ParsePostfixExpressionSuffix(Result);
2996 }
2997
2998 return Result;
2999 }
3000 }
3001 }
3002
3003 if (ExprType == CastExpr) {
3004 // We parsed '(' type-name ')' and the thing after it wasn't a '{'.
3005
3006 if (DeclaratorInfo.isInvalidType())
3007 return ExprError();
3008
3009 // Note that this doesn't parse the subsequent cast-expression, it just
3010 // returns the parsed type to the callee.
3011 if (stopIfCastExpr) {
3012 TypeResult Ty;
3013 {
3014 InMessageExpressionRAIIObject InMessage(*this, false);
3015 Ty = Actions.ActOnTypeName(getCurScope(), DeclaratorInfo);
3016 }
3017 CastTy = Ty.get();
3018 return ExprResult();
3019 }
3020
3021 // Reject the cast of super idiom in ObjC.
3022 if (Tok.is(tok::identifier) && getLangOpts().ObjC &&
3023 Tok.getIdentifierInfo() == Ident_super &&
3024 getCurScope()->isInObjcMethodScope() &&
3025 GetLookAheadToken(1).isNot(tok::period)) {
3026 Diag(Tok.getLocation(), diag::err_illegal_super_cast)
3027 << SourceRange(OpenLoc, RParenLoc);
3028 return ExprError();
3029 }
3030
3031 PreferredType.enterTypeCast(Tok.getLocation(), CastTy.get());
3032 // Parse the cast-expression that follows it next.
3033 // TODO: For cast expression with CastTy.
3034 Result = ParseCastExpression(/*isUnaryExpression=*/AnyCastExpr,
3035 /*isAddressOfOperand=*/false,
3036 /*isTypeCast=*/IsTypeCast);
3037 if (!Result.isInvalid()) {
3038 Result = Actions.ActOnCastExpr(getCurScope(), OpenLoc,
3039 DeclaratorInfo, CastTy,
3040 RParenLoc, Result.get());
3041 }
3042 return Result;
3043 }
3044
3045 Diag(Tok, diag::err_expected_lbrace_in_compound_literal);
3046 return ExprError();
3047 }
3048 } else if (ExprType >= FoldExpr && Tok.is(tok::ellipsis) &&
3049 isFoldOperator(NextToken().getKind())) {
3050 ExprType = FoldExpr;
3051 return ParseFoldExpression(ExprResult(), T);
3052 } else if (isTypeCast) {
3053 // Parse the expression-list.
3054 InMessageExpressionRAIIObject InMessage(*this, false);
3055
3056 ExprVector ArgExprs;
3057 CommaLocsTy CommaLocs;
3058
3059 if (!ParseSimpleExpressionList(ArgExprs, CommaLocs)) {
3060 // FIXME: If we ever support comma expressions as operands to
3061 // fold-expressions, we'll need to allow multiple ArgExprs here.
3062 if (ExprType >= FoldExpr && ArgExprs.size() == 1 &&
3063 isFoldOperator(Tok.getKind()) && NextToken().is(tok::ellipsis)) {
3064 ExprType = FoldExpr;
3065 return ParseFoldExpression(ArgExprs[0], T);
3066 }
3067
3068 ExprType = SimpleExpr;
3069 Result = Actions.ActOnParenListExpr(OpenLoc, Tok.getLocation(),
3070 ArgExprs);
3071 }
3072 } else if (getLangOpts().OpenMP >= 50 && OpenMPDirectiveParsing &&
3073 ExprType == CastExpr && Tok.is(tok::l_square) &&
3074 tryParseOpenMPArrayShapingCastPart()) {
3075 bool ErrorFound = false;
3076 SmallVector<Expr *, 4> OMPDimensions;
3077 SmallVector<SourceRange, 4> OMPBracketsRanges;
3078 do {
3079 BalancedDelimiterTracker TS(*this, tok::l_square);
3080 TS.consumeOpen();
3081 ExprResult NumElements =
3082 Actions.CorrectDelayedTyposInExpr(ParseExpression());
3083 if (!NumElements.isUsable()) {
3084 ErrorFound = true;
3085 while (!SkipUntil(tok::r_square, tok::r_paren,
3086 StopAtSemi | StopBeforeMatch))
3087 ;
3088 }
3089 TS.consumeClose();
3090 OMPDimensions.push_back(NumElements.get());
3091 OMPBracketsRanges.push_back(TS.getRange());
3092 } while (Tok.isNot(tok::r_paren));
3093 // Match the ')'.
3094 T.consumeClose();
3095 RParenLoc = T.getCloseLocation();
3096 Result = Actions.CorrectDelayedTyposInExpr(ParseAssignmentExpression());
3097 if (ErrorFound) {
3098 Result = ExprError();
3099 } else if (!Result.isInvalid()) {
3100 Result = Actions.ActOnOMPArrayShapingExpr(
3101 Result.get(), OpenLoc, RParenLoc, OMPDimensions, OMPBracketsRanges);
3102 }
3103 return Result;
3104 } else {
3105 InMessageExpressionRAIIObject InMessage(*this, false);
3106
3107 Result = ParseExpression(MaybeTypeCast);
3108 if (!getLangOpts().CPlusPlus && MaybeTypeCast && Result.isUsable()) {
3109 // Correct typos in non-C++ code earlier so that implicit-cast-like
3110 // expressions are parsed correctly.
3111 Result = Actions.CorrectDelayedTyposInExpr(Result);
3112 }
3113
3114 if (ExprType >= FoldExpr && isFoldOperator(Tok.getKind()) &&
3115 NextToken().is(tok::ellipsis)) {
3116 ExprType = FoldExpr;
3117 return ParseFoldExpression(Result, T);
3118 }
3119 ExprType = SimpleExpr;
3120
3121 // Don't build a paren expression unless we actually match a ')'.
3122 if (!Result.isInvalid() && Tok.is(tok::r_paren))
3123 Result =
3124 Actions.ActOnParenExpr(OpenLoc, Tok.getLocation(), Result.get());
3125 }
3126
3127 // Match the ')'.
3128 if (Result.isInvalid()) {
3129 SkipUntil(tok::r_paren, StopAtSemi);
3130 return ExprError();
3131 }
3132
3133 T.consumeClose();
3134 RParenLoc = T.getCloseLocation();
3135 return Result;
3136}
3137
3138/// ParseCompoundLiteralExpression - We have parsed the parenthesized type-name
3139/// and we are at the left brace.
3140///
3141/// \verbatim
3142/// postfix-expression: [C99 6.5.2]
3143/// '(' type-name ')' '{' initializer-list '}'
3144/// '(' type-name ')' '{' initializer-list ',' '}'
3145/// \endverbatim
3146ExprResult
3147Parser::ParseCompoundLiteralExpression(ParsedType Ty,
3148 SourceLocation LParenLoc,
3149 SourceLocation RParenLoc) {
3150 assert(Tok.is(tok::l_brace) && "Not a compound literal!")((Tok.is(tok::l_brace) && "Not a compound literal!") ?
static_cast<void> (0) : __assert_fail ("Tok.is(tok::l_brace) && \"Not a compound literal!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 3150, __PRETTY_FUNCTION__))
;
3151 if (!getLangOpts().C99) // Compound literals don't exist in C90.
3152 Diag(LParenLoc, diag::ext_c99_compound_literal);
3153 ExprResult Result = ParseInitializer();
3154 if (!Result.isInvalid() && Ty)
3155 return Actions.ActOnCompoundLiteral(LParenLoc, Ty, RParenLoc, Result.get());
3156 return Result;
3157}
3158
3159/// ParseStringLiteralExpression - This handles the various token types that
3160/// form string literals, and also handles string concatenation [C99 5.1.1.2,
3161/// translation phase #6].
3162///
3163/// \verbatim
3164/// primary-expression: [C99 6.5.1]
3165/// string-literal
3166/// \verbatim
3167ExprResult Parser::ParseStringLiteralExpression(bool AllowUserDefinedLiteral) {
3168 assert(isTokenStringLiteral() && "Not a string literal!")((isTokenStringLiteral() && "Not a string literal!") ?
static_cast<void> (0) : __assert_fail ("isTokenStringLiteral() && \"Not a string literal!\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 3168, __PRETTY_FUNCTION__))
;
3169
3170 // String concat. Note that keywords like __func__ and __FUNCTION__ are not
3171 // considered to be strings for concatenation purposes.
3172 SmallVector<Token, 4> StringToks;
3173
3174 do {
3175 StringToks.push_back(Tok);
3176 ConsumeStringToken();
3177 } while (isTokenStringLiteral());
3178
3179 // Pass the set of string tokens, ready for concatenation, to the actions.
3180 return Actions.ActOnStringLiteral(StringToks,
3181 AllowUserDefinedLiteral ? getCurScope()
3182 : nullptr);
3183}
3184
3185/// ParseGenericSelectionExpression - Parse a C11 generic-selection
3186/// [C11 6.5.1.1].
3187///
3188/// \verbatim
3189/// generic-selection:
3190/// _Generic ( assignment-expression , generic-assoc-list )
3191/// generic-assoc-list:
3192/// generic-association
3193/// generic-assoc-list , generic-association
3194/// generic-association:
3195/// type-name : assignment-expression
3196/// default : assignment-expression
3197/// \endverbatim
3198ExprResult Parser::ParseGenericSelectionExpression() {
3199 assert(Tok.is(tok::kw__Generic) && "_Generic keyword expected")((Tok.is(tok::kw__Generic) && "_Generic keyword expected"
) ? static_cast<void> (0) : __assert_fail ("Tok.is(tok::kw__Generic) && \"_Generic keyword expected\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 3199, __PRETTY_FUNCTION__))
;
3200 if (!getLangOpts().C11)
3201 Diag(Tok, diag::ext_c11_feature) << Tok.getName();
3202
3203 SourceLocation KeyLoc = ConsumeToken();
3204 BalancedDelimiterTracker T(*this, tok::l_paren);
3205 if (T.expectAndConsume())
3206 return ExprError();
3207
3208 ExprResult ControllingExpr;
3209 {
3210 // C11 6.5.1.1p3 "The controlling expression of a generic selection is
3211 // not evaluated."
3212 EnterExpressionEvaluationContext Unevaluated(
3213 Actions, Sema::ExpressionEvaluationContext::Unevaluated);
3214 ControllingExpr =
3215 Actions.CorrectDelayedTyposInExpr(ParseAssignmentExpression());
3216 if (ControllingExpr.isInvalid()) {
3217 SkipUntil(tok::r_paren, StopAtSemi);
3218 return ExprError();
3219 }
3220 }
3221
3222 if (ExpectAndConsume(tok::comma)) {
3223 SkipUntil(tok::r_paren, StopAtSemi);
3224 return ExprError();
3225 }
3226
3227 SourceLocation DefaultLoc;
3228 TypeVector Types;
3229 ExprVector Exprs;
3230 do {
3231 ParsedType Ty;
3232 if (Tok.is(tok::kw_default)) {
3233 // C11 6.5.1.1p2 "A generic selection shall have no more than one default
3234 // generic association."
3235 if (!DefaultLoc.isInvalid()) {
3236 Diag(Tok, diag::err_duplicate_default_assoc);
3237 Diag(DefaultLoc, diag::note_previous_default_assoc);
3238 SkipUntil(tok::r_paren, StopAtSemi);
3239 return ExprError();
3240 }
3241 DefaultLoc = ConsumeToken();
3242 Ty = nullptr;
3243 } else {
3244 ColonProtectionRAIIObject X(*this);
3245 TypeResult TR = ParseTypeName();
3246 if (TR.isInvalid()) {
3247 SkipUntil(tok::r_paren, StopAtSemi);
3248 return ExprError();
3249 }
3250 Ty = TR.get();
3251 }
3252 Types.push_back(Ty);
3253
3254 if (ExpectAndConsume(tok::colon)) {
3255 SkipUntil(tok::r_paren, StopAtSemi);
3256 return ExprError();
3257 }
3258
3259 // FIXME: These expressions should be parsed in a potentially potentially
3260 // evaluated context.
3261 ExprResult ER(
3262 Actions.CorrectDelayedTyposInExpr(ParseAssignmentExpression()));
3263 if (ER.isInvalid()) {
3264 SkipUntil(tok::r_paren, StopAtSemi);
3265 return ExprError();
3266 }
3267 Exprs.push_back(ER.get());
3268 } while (TryConsumeToken(tok::comma));
3269
3270 T.consumeClose();
3271 if (T.getCloseLocation().isInvalid())
3272 return ExprError();
3273
3274 return Actions.ActOnGenericSelectionExpr(KeyLoc, DefaultLoc,
3275 T.getCloseLocation(),
3276 ControllingExpr.get(),
3277 Types, Exprs);
3278}
3279
3280/// Parse A C++1z fold-expression after the opening paren and optional
3281/// left-hand-side expression.
3282///
3283/// \verbatim
3284/// fold-expression:
3285/// ( cast-expression fold-operator ... )
3286/// ( ... fold-operator cast-expression )
3287/// ( cast-expression fold-operator ... fold-operator cast-expression )
3288ExprResult Parser::ParseFoldExpression(ExprResult LHS,
3289 BalancedDelimiterTracker &T) {
3290 if (LHS.isInvalid()) {
3291 T.skipToEnd();
3292 return true;
3293 }
3294
3295 tok::TokenKind Kind = tok::unknown;
3296 SourceLocation FirstOpLoc;
3297 if (LHS.isUsable()) {
3298 Kind = Tok.getKind();
3299 assert(isFoldOperator(Kind) && "missing fold-operator")((isFoldOperator(Kind) && "missing fold-operator") ? static_cast
<void> (0) : __assert_fail ("isFoldOperator(Kind) && \"missing fold-operator\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 3299, __PRETTY_FUNCTION__))
;
3300 FirstOpLoc = ConsumeToken();
3301 }
3302
3303 assert(Tok.is(tok::ellipsis) && "not a fold-expression")((Tok.is(tok::ellipsis) && "not a fold-expression") ?
static_cast<void> (0) : __assert_fail ("Tok.is(tok::ellipsis) && \"not a fold-expression\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 3303, __PRETTY_FUNCTION__))
;
3304 SourceLocation EllipsisLoc = ConsumeToken();
3305
3306 ExprResult RHS;
3307 if (Tok.isNot(tok::r_paren)) {
3308 if (!isFoldOperator(Tok.getKind()))
3309 return Diag(Tok.getLocation(), diag::err_expected_fold_operator);
3310
3311 if (Kind != tok::unknown && Tok.getKind() != Kind)
3312 Diag(Tok.getLocation(), diag::err_fold_operator_mismatch)
3313 << SourceRange(FirstOpLoc);
3314 Kind = Tok.getKind();
3315 ConsumeToken();
3316
3317 RHS = ParseExpression();
3318 if (RHS.isInvalid()) {
3319 T.skipToEnd();
3320 return true;
3321 }
3322 }
3323
3324 Diag(EllipsisLoc, getLangOpts().CPlusPlus17
3325 ? diag::warn_cxx14_compat_fold_expression
3326 : diag::ext_fold_expression);
3327
3328 T.consumeClose();
3329 return Actions.ActOnCXXFoldExpr(getCurScope(), T.getOpenLocation(), LHS.get(),
3330 Kind, EllipsisLoc, RHS.get(),
3331 T.getCloseLocation());
3332}
3333
3334/// ParseExpressionList - Used for C/C++ (argument-)expression-list.
3335///
3336/// \verbatim
3337/// argument-expression-list:
3338/// assignment-expression
3339/// argument-expression-list , assignment-expression
3340///
3341/// [C++] expression-list:
3342/// [C++] assignment-expression
3343/// [C++] expression-list , assignment-expression
3344///
3345/// [C++0x] expression-list:
3346/// [C++0x] initializer-list
3347///
3348/// [C++0x] initializer-list
3349/// [C++0x] initializer-clause ...[opt]
3350/// [C++0x] initializer-list , initializer-clause ...[opt]
3351///
3352/// [C++0x] initializer-clause:
3353/// [C++0x] assignment-expression
3354/// [C++0x] braced-init-list
3355/// \endverbatim
3356bool Parser::ParseExpressionList(SmallVectorImpl<Expr *> &Exprs,
3357 SmallVectorImpl<SourceLocation> &CommaLocs,
3358 llvm::function_ref<void()> ExpressionStarts) {
3359 bool SawError = false;
3360 while (1) {
3361 if (ExpressionStarts)
3362 ExpressionStarts();
3363
3364 ExprResult Expr;
3365 if (getLangOpts().CPlusPlus11 && Tok.is(tok::l_brace)) {
3366 Diag(Tok, diag::warn_cxx98_compat_generalized_initializer_lists);
3367 Expr = ParseBraceInitializer();
3368 } else
3369 Expr = ParseAssignmentExpression();
3370
3371 if (Tok.is(tok::ellipsis))
3372 Expr = Actions.ActOnPackExpansion(Expr.get(), ConsumeToken());
3373 else if (Tok.is(tok::code_completion)) {
3374 // There's nothing to suggest in here as we parsed a full expression.
3375 // Instead fail and propogate the error since caller might have something
3376 // the suggest, e.g. signature help in function call. Note that this is
3377 // performed before pushing the \p Expr, so that signature help can report
3378 // current argument correctly.
3379 SawError = true;
3380 cutOffParsing();
3381 break;
3382 }
3383 if (Expr.isInvalid()) {
3384 SkipUntil(tok::comma, tok::r_paren, StopBeforeMatch);
3385 SawError = true;
3386 } else {
3387 Exprs.push_back(Expr.get());
3388 }
3389
3390 if (Tok.isNot(tok::comma))
3391 break;
3392 // Move to the next argument, remember where the comma was.
3393 Token Comma = Tok;
3394 CommaLocs.push_back(ConsumeToken());
3395
3396 checkPotentialAngleBracketDelimiter(Comma);
3397 }
3398 if (SawError) {
3399 // Ensure typos get diagnosed when errors were encountered while parsing the
3400 // expression list.
3401 for (auto &E : Exprs) {
3402 ExprResult Expr = Actions.CorrectDelayedTyposInExpr(E);
3403 if (Expr.isUsable()) E = Expr.get();
3404 }
3405 }
3406 return SawError;
3407}
3408
3409/// ParseSimpleExpressionList - A simple comma-separated list of expressions,
3410/// used for misc language extensions.
3411///
3412/// \verbatim
3413/// simple-expression-list:
3414/// assignment-expression
3415/// simple-expression-list , assignment-expression
3416/// \endverbatim
3417bool
3418Parser::ParseSimpleExpressionList(SmallVectorImpl<Expr*> &Exprs,
3419 SmallVectorImpl<SourceLocation> &CommaLocs) {
3420 while (1) {
3421 ExprResult Expr = ParseAssignmentExpression();
3422 if (Expr.isInvalid())
3423 return true;
3424
3425 Exprs.push_back(Expr.get());
3426
3427 if (Tok.isNot(tok::comma))
3428 return false;
3429
3430 // Move to the next argument, remember where the comma was.
3431 Token Comma = Tok;
3432 CommaLocs.push_back(ConsumeToken());
3433
3434 checkPotentialAngleBracketDelimiter(Comma);
3435 }
3436}
3437
3438/// ParseBlockId - Parse a block-id, which roughly looks like int (int x).
3439///
3440/// \verbatim
3441/// [clang] block-id:
3442/// [clang] specifier-qualifier-list block-declarator
3443/// \endverbatim
3444void Parser::ParseBlockId(SourceLocation CaretLoc) {
3445 if (Tok.is(tok::code_completion)) {
3446 Actions.CodeCompleteOrdinaryName(getCurScope(), Sema::PCC_Type);
3447 return cutOffParsing();
3448 }
3449
3450 // Parse the specifier-qualifier-list piece.
3451 DeclSpec DS(AttrFactory);
3452 ParseSpecifierQualifierList(DS);
3453
3454 // Parse the block-declarator.
3455 Declarator DeclaratorInfo(DS, DeclaratorContext::BlockLiteralContext);
3456 DeclaratorInfo.setFunctionDefinitionKind(FDK_Definition);
3457 ParseDeclarator(DeclaratorInfo);
3458
3459 MaybeParseGNUAttributes(DeclaratorInfo);
3460
3461 // Inform sema that we are starting a block.
3462 Actions.ActOnBlockArguments(CaretLoc, DeclaratorInfo, getCurScope());
3463}
3464
3465/// ParseBlockLiteralExpression - Parse a block literal, which roughly looks
3466/// like ^(int x){ return x+1; }
3467///
3468/// \verbatim
3469/// block-literal:
3470/// [clang] '^' block-args[opt] compound-statement
3471/// [clang] '^' block-id compound-statement
3472/// [clang] block-args:
3473/// [clang] '(' parameter-list ')'
3474/// \endverbatim
3475ExprResult Parser::ParseBlockLiteralExpression() {
3476 assert(Tok.is(tok::caret) && "block literal starts with ^")((Tok.is(tok::caret) && "block literal starts with ^"
) ? static_cast<void> (0) : __assert_fail ("Tok.is(tok::caret) && \"block literal starts with ^\""
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 3476, __PRETTY_FUNCTION__))
;
3477 SourceLocation CaretLoc = ConsumeToken();
3478
3479 PrettyStackTraceLoc CrashInfo(PP.getSourceManager(), CaretLoc,
3480 "block literal parsing");
3481
3482 // Enter a scope to hold everything within the block. This includes the
3483 // argument decls, decls within the compound expression, etc. This also
3484 // allows determining whether a variable reference inside the block is
3485 // within or outside of the block.
3486 ParseScope BlockScope(this, Scope::BlockScope | Scope::FnScope |
3487 Scope::CompoundStmtScope | Scope::DeclScope);
3488
3489 // Inform sema that we are starting a block.
3490 Actions.ActOnBlockStart(CaretLoc, getCurScope());
3491
3492 // Parse the return type if present.
3493 DeclSpec DS(AttrFactory);
3494 Declarator ParamInfo(DS, DeclaratorContext::BlockLiteralContext);
3495 ParamInfo.setFunctionDefinitionKind(FDK_Definition);
3496 // FIXME: Since the return type isn't actually parsed, it can't be used to
3497 // fill ParamInfo with an initial valid range, so do it manually.
3498 ParamInfo.SetSourceRange(SourceRange(Tok.getLocation(), Tok.getLocation()));
3499
3500 // If this block has arguments, parse them. There is no ambiguity here with
3501 // the expression case, because the expression case requires a parameter list.
3502 if (Tok.is(tok::l_paren)) {
3503 ParseParenDeclarator(ParamInfo);
3504 // Parse the pieces after the identifier as if we had "int(...)".
3505 // SetIdentifier sets the source range end, but in this case we're past
3506 // that location.
3507 SourceLocation Tmp = ParamInfo.getSourceRange().getEnd();
3508 ParamInfo.SetIdentifier(nullptr, CaretLoc);
3509 ParamInfo.SetRangeEnd(Tmp);
3510 if (ParamInfo.isInvalidType()) {
3511 // If there was an error parsing the arguments, they may have
3512 // tried to use ^(x+y) which requires an argument list. Just
3513 // skip the whole block literal.
3514 Actions.ActOnBlockError(CaretLoc, getCurScope());
3515 return ExprError();
3516 }
3517
3518 MaybeParseGNUAttributes(ParamInfo);
3519
3520 // Inform sema that we are starting a block.
3521 Actions.ActOnBlockArguments(CaretLoc, ParamInfo, getCurScope());
3522 } else if (!Tok.is(tok::l_brace)) {
3523 ParseBlockId(CaretLoc);
3524 } else {
3525 // Otherwise, pretend we saw (void).
3526 SourceLocation NoLoc;
3527 ParamInfo.AddTypeInfo(
3528 DeclaratorChunk::getFunction(/*HasProto=*/true,
3529 /*IsAmbiguous=*/false,
3530 /*RParenLoc=*/NoLoc,
3531 /*ArgInfo=*/nullptr,
3532 /*NumParams=*/0,
3533 /*EllipsisLoc=*/NoLoc,
3534 /*RParenLoc=*/NoLoc,
3535 /*RefQualifierIsLvalueRef=*/true,
3536 /*RefQualifierLoc=*/NoLoc,
3537 /*MutableLoc=*/NoLoc, EST_None,
3538 /*ESpecRange=*/SourceRange(),
3539 /*Exceptions=*/nullptr,
3540 /*ExceptionRanges=*/nullptr,
3541 /*NumExceptions=*/0,
3542 /*NoexceptExpr=*/nullptr,
3543 /*ExceptionSpecTokens=*/nullptr,
3544 /*DeclsInPrototype=*/None, CaretLoc,
3545 CaretLoc, ParamInfo),
3546 CaretLoc);
3547
3548 MaybeParseGNUAttributes(ParamInfo);
3549
3550 // Inform sema that we are starting a block.
3551 Actions.ActOnBlockArguments(CaretLoc, ParamInfo, getCurScope());
3552 }
3553
3554
3555 ExprResult Result(true);
3556 if (!Tok.is(tok::l_brace)) {
3557 // Saw something like: ^expr
3558 Diag(Tok, diag::err_expected_expression);
3559 Actions.ActOnBlockError(CaretLoc, getCurScope());
3560 return ExprError();
3561 }
3562
3563 StmtResult Stmt(ParseCompoundStatementBody());
3564 BlockScope.Exit();
3565 if (!Stmt.isInvalid())
3566 Result = Actions.ActOnBlockStmtExpr(CaretLoc, Stmt.get(), getCurScope());
3567 else
3568 Actions.ActOnBlockError(CaretLoc, getCurScope());
3569 return Result;
3570}
3571
3572/// ParseObjCBoolLiteral - This handles the objective-c Boolean literals.
3573///
3574/// '__objc_yes'
3575/// '__objc_no'
3576ExprResult Parser::ParseObjCBoolLiteral() {
3577 tok::TokenKind Kind = Tok.getKind();
3578 return Actions.ActOnObjCBoolLiteral(ConsumeToken(), Kind);
3579}
3580
3581/// Validate availability spec list, emitting diagnostics if necessary. Returns
3582/// true if invalid.
3583static bool CheckAvailabilitySpecList(Parser &P,
3584 ArrayRef<AvailabilitySpec> AvailSpecs) {
3585 llvm::SmallSet<StringRef, 4> Platforms;
3586 bool HasOtherPlatformSpec = false;
3587 bool Valid = true;
3588 for (const auto &Spec : AvailSpecs) {
3589 if (Spec.isOtherPlatformSpec()) {
3590 if (HasOtherPlatformSpec) {
3591 P.Diag(Spec.getBeginLoc(), diag::err_availability_query_repeated_star);
3592 Valid = false;
3593 }
3594
3595 HasOtherPlatformSpec = true;
3596 continue;
3597 }
3598
3599 bool Inserted = Platforms.insert(Spec.getPlatform()).second;
3600 if (!Inserted) {
3601 // Rule out multiple version specs referring to the same platform.
3602 // For example, we emit an error for:
3603 // @available(macos 10.10, macos 10.11, *)
3604 StringRef Platform = Spec.getPlatform();
3605 P.Diag(Spec.getBeginLoc(), diag::err_availability_query_repeated_platform)
3606 << Spec.getEndLoc() << Platform;
3607 Valid = false;
3608 }
3609 }
3610
3611 if (!HasOtherPlatformSpec) {
3612 SourceLocation InsertWildcardLoc = AvailSpecs.back().getEndLoc();
3613 P.Diag(InsertWildcardLoc, diag::err_availability_query_wildcard_required)
3614 << FixItHint::CreateInsertion(InsertWildcardLoc, ", *");
3615 return true;
3616 }
3617
3618 return !Valid;
3619}
3620
3621/// Parse availability query specification.
3622///
3623/// availability-spec:
3624/// '*'
3625/// identifier version-tuple
3626Optional<AvailabilitySpec> Parser::ParseAvailabilitySpec() {
3627 if (Tok.is(tok::star)) {
3628 return AvailabilitySpec(ConsumeToken());
3629 } else {
3630 // Parse the platform name.
3631 if (Tok.is(tok::code_completion)) {
3632 Actions.CodeCompleteAvailabilityPlatformName();
3633 cutOffParsing();
3634 return None;
3635 }
3636 if (Tok.isNot(tok::identifier)) {
3637 Diag(Tok, diag::err_avail_query_expected_platform_name);
3638 return None;
3639 }
3640
3641 IdentifierLoc *PlatformIdentifier = ParseIdentifierLoc();
3642 SourceRange VersionRange;
3643 VersionTuple Version = ParseVersionTuple(VersionRange);
3644
3645 if (Version.empty())
3646 return None;
3647
3648 StringRef GivenPlatform = PlatformIdentifier->Ident->getName();
3649 StringRef Platform =
3650 AvailabilityAttr::canonicalizePlatformName(GivenPlatform);
3651
3652 if (AvailabilityAttr::getPrettyPlatformName(Platform).empty()) {
3653 Diag(PlatformIdentifier->Loc,
3654 diag::err_avail_query_unrecognized_platform_name)
3655 << GivenPlatform;
3656 return None;
3657 }
3658
3659 return AvailabilitySpec(Version, Platform, PlatformIdentifier->Loc,
3660 VersionRange.getEnd());
3661 }
3662}
3663
3664ExprResult Parser::ParseAvailabilityCheckExpr(SourceLocation BeginLoc) {
3665 assert(Tok.is(tok::kw___builtin_available) ||((Tok.is(tok::kw___builtin_available) || Tok.isObjCAtKeyword(
tok::objc_available)) ? static_cast<void> (0) : __assert_fail
("Tok.is(tok::kw___builtin_available) || Tok.isObjCAtKeyword(tok::objc_available)"
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 3666, __PRETTY_FUNCTION__))
3666 Tok.isObjCAtKeyword(tok::objc_available))((Tok.is(tok::kw___builtin_available) || Tok.isObjCAtKeyword(
tok::objc_available)) ? static_cast<void> (0) : __assert_fail
("Tok.is(tok::kw___builtin_available) || Tok.isObjCAtKeyword(tok::objc_available)"
, "/build/llvm-toolchain-snapshot-12~++20200926111128+c6c5629f2fb/clang/lib/Parse/ParseExpr.cpp"
, 3666, __PRETTY_FUNCTION__))
;
3667
3668 // Eat the available or __builtin_available.
3669 ConsumeToken();
3670
3671 BalancedDelimiterTracker Parens(*this, tok::l_paren);
3672 if (Parens.expectAndConsume())
3673 return ExprError();
3674
3675 SmallVector<AvailabilitySpec, 4> AvailSpecs;
3676 bool HasError = false;
3677 while (true) {
3678 Optional<AvailabilitySpec> Spec = ParseAvailabilitySpec();
3679 if (!Spec)
3680 HasError = true;
3681 else
3682 AvailSpecs.push_back(*Spec);
3683
3684 if (!TryConsumeToken(tok::comma))
3685 break;
3686 }
3687
3688 if (HasError) {
3689 SkipUntil(tok::r_paren, StopAtSemi);
3690 return ExprError();
3691 }
3692
3693 CheckAvailabilitySpecList(*this, AvailSpecs);
3694
3695 if (Parens.consumeClose())
3696 return ExprError();
3697
3698 return Actions.ActOnObjCAvailabilityCheckExpr(AvailSpecs, BeginLoc,
3699 Parens.getCloseLocation());
3700}