Skip to content

Commit ce1a874

Browse files
authored
[clang-format] Fix a bug in annotating * in #defines (#99433)
Fixes #99271.
1 parent 98c0e55 commit ce1a874

File tree

2 files changed

+34
-5
lines changed

2 files changed

+34
-5
lines changed

clang/lib/Format/TokenAnnotator.cpp

Lines changed: 14 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -372,10 +372,6 @@ class AnnotatingParser {
372372
OpeningParen.Previous->is(tok::kw__Generic)) {
373373
Contexts.back().ContextType = Context::C11GenericSelection;
374374
Contexts.back().IsExpression = true;
375-
} else if (Line.InPPDirective &&
376-
(!OpeningParen.Previous ||
377-
OpeningParen.Previous->isNot(tok::identifier))) {
378-
Contexts.back().IsExpression = true;
379375
} else if (Contexts[Contexts.size() - 2].CaretFound) {
380376
// This is the parameter list of an ObjC block.
381377
Contexts.back().IsExpression = false;
@@ -388,7 +384,20 @@ class AnnotatingParser {
388384
OpeningParen.Previous->MatchingParen->isOneOf(
389385
TT_ObjCBlockLParen, TT_FunctionTypeLParen)) {
390386
Contexts.back().IsExpression = false;
391-
} else if (!Line.MustBeDeclaration && !Line.InPPDirective) {
387+
} else if (Line.InPPDirective) {
388+
auto IsExpr = [&OpeningParen] {
389+
const auto *Tok = OpeningParen.Previous;
390+
if (!Tok || Tok->isNot(tok::identifier))
391+
return true;
392+
Tok = Tok->Previous;
393+
while (Tok && Tok->endsSequence(tok::coloncolon, tok::identifier)) {
394+
assert(Tok->Previous);
395+
Tok = Tok->Previous->Previous;
396+
}
397+
return !Tok || !Tok->Tok.getIdentifierInfo();
398+
};
399+
Contexts.back().IsExpression = IsExpr();
400+
} else if (!Line.MustBeDeclaration) {
392401
bool IsForOrCatch =
393402
OpeningParen.Previous &&
394403
OpeningParen.Previous->isOneOf(tok::kw_for, tok::kw_catch);

clang/unittests/Format/TokenAnnotatorTest.cpp

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -75,6 +75,26 @@ TEST_F(TokenAnnotatorTest, UnderstandsUsesOfStarAndAmp) {
7575
EXPECT_TOKEN(Tokens[10], tok::r_paren, TT_TypeDeclarationParen);
7676
EXPECT_TOKEN(Tokens[11], tok::star, TT_PointerOrReference);
7777

78+
Tokens = annotate("#define FOO bar(a * b)");
79+
ASSERT_EQ(Tokens.size(), 10u) << Tokens;
80+
EXPECT_TOKEN(Tokens[6], tok::star, TT_BinaryOperator);
81+
82+
Tokens = annotate("#define FOO foo.bar(a & b)");
83+
ASSERT_EQ(Tokens.size(), 12u) << Tokens;
84+
EXPECT_TOKEN(Tokens[8], tok::amp, TT_BinaryOperator);
85+
86+
Tokens = annotate("#define FOO foo::bar(a && b)");
87+
ASSERT_EQ(Tokens.size(), 12u) << Tokens;
88+
EXPECT_TOKEN(Tokens[8], tok::ampamp, TT_BinaryOperator);
89+
90+
Tokens = annotate("#define FOO foo bar(a *b)");
91+
ASSERT_EQ(Tokens.size(), 11u) << Tokens;
92+
EXPECT_TOKEN(Tokens[7], tok::star, TT_PointerOrReference);
93+
94+
Tokens = annotate("#define FOO void foo::bar(a &b)");
95+
ASSERT_EQ(Tokens.size(), 13u) << Tokens;
96+
EXPECT_TOKEN(Tokens[9], tok::amp, TT_PointerOrReference);
97+
7898
Tokens = annotate("void f() {\n"
7999
" while (p < a && *p == 'a')\n"
80100
" p++;\n"

0 commit comments

Comments
 (0)