Skip to content

Add code completion for C++20 keywords. #107982

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 22 commits into from
Nov 26, 2024
Merged

Add code completion for C++20 keywords. #107982

Show file tree
Hide file tree
Changes from 6 commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
fedea9e
add co_return, co_await, co_yield, consteval, constinit, concept, req…
16bit-ykiko Sep 10, 2024
36a0db2
make concept and requires more sensitive to context.
16bit-ykiko Sep 10, 2024
9a1a85c
Merge branch 'llvm:main' into complete-cxx20-keywords
16bit-ykiko Sep 10, 2024
326892a
format.
16bit-ykiko Sep 10, 2024
c8e555f
format and add test.
16bit-ykiko Sep 10, 2024
0375e52
fix.
16bit-ykiko Sep 10, 2024
d9c6413
add newline in eof.
16bit-ykiko Sep 10, 2024
3764782
add module keyword and Char8.
16bit-ykiko Sep 23, 2024
08dc216
Merge branch 'main' into complete-cxx20-keywords
16bit-ykiko Sep 24, 2024
585bc0a
Merge branch 'main' into complete-cxx20-keywords
16bit-ykiko Sep 26, 2024
e802aec
Merge branch 'main' into complete-cxx20-keywords
16bit-ykiko Oct 10, 2024
2d7f476
Update ReleaseNote.
16bit-ykiko Oct 10, 2024
d489327
Remove extra braces.
16bit-ykiko Oct 11, 2024
5cc6a8f
Update test file.
16bit-ykiko Oct 11, 2024
74b7c74
Fix test.
16bit-ykiko Oct 11, 2024
687ab4c
Merge branch 'main' into complete-cxx20-keywords
16bit-ykiko Oct 11, 2024
cc758c5
Remove extra brace.
16bit-ykiko Oct 11, 2024
15f6982
Make completion for module keyword more context sensitive.
16bit-ykiko Oct 11, 2024
b6218b6
Fix unexpected compiler error when code complete in `export mod^`.
16bit-ykiko Oct 12, 2024
75bb471
Remove `.clangd`.
16bit-ykiko Oct 12, 2024
68cd292
Some format.
16bit-ykiko Oct 12, 2024
cf991be
Merge branch 'main' into complete-cxx20-keywords
16bit-ykiko Nov 8, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
68 changes: 68 additions & 0 deletions clang/lib/Sema/SemaCodeComplete.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1837,6 +1837,10 @@ static void AddTypeSpecifierResults(const LangOptions &LangOpts,
Builder.AddChunk(CodeCompletionString::CK_RightParen);
Results.AddResult(Result(Builder.TakeString()));
}

if (LangOpts.CPlusPlus20) {
Results.AddResult(Result("char8_t", CCP_Type));
}
} else
Results.AddResult(Result("__auto_type", CCP_Type));

Expand Down Expand Up @@ -1889,6 +1893,10 @@ AddStorageSpecifiers(SemaCodeCompletion::ParserCompletionContext CCC,
Results.AddResult(Result("constexpr"));
Results.AddResult(Result("thread_local"));
}

if (LangOpts.CPlusPlus20) {
Results.AddResult(Result("constinit"));
}
}

static void
Expand All @@ -1912,6 +1920,9 @@ AddFunctionSpecifiers(SemaCodeCompletion::ParserCompletionContext CCC,
case SemaCodeCompletion::PCC_Template:
if (LangOpts.CPlusPlus || LangOpts.C99)
Results.AddResult(Result("inline"));

if (LangOpts.CPlusPlus20)
Results.AddResult(Result("consteval"));
break;

case SemaCodeCompletion::PCC_ObjCInstanceVariableList:
Expand Down Expand Up @@ -2254,6 +2265,11 @@ AddOrdinaryNameResults(SemaCodeCompletion::ParserCompletionContext CCC,
[[fallthrough]];

case SemaCodeCompletion::PCC_Template:
if (SemaRef.getLangOpts().CPlusPlus20 &&
CCC == SemaCodeCompletion::PCC_Template)
Results.AddResult(Result("concept", CCP_Keyword));
[[fallthrough]];

case SemaCodeCompletion::PCC_MemberTemplate:
if (SemaRef.getLangOpts().CPlusPlus && Results.includeCodePatterns()) {
// template < parameters >
Expand All @@ -2266,6 +2282,12 @@ AddOrdinaryNameResults(SemaCodeCompletion::ParserCompletionContext CCC,
Results.AddResult(Result("template", CodeCompletionResult::RK_Keyword));
}

if (SemaRef.getLangOpts().CPlusPlus20 &&
(CCC == SemaCodeCompletion::PCC_Template ||
CCC == SemaCodeCompletion::PCC_MemberTemplate)) {
Results.AddResult(Result("requires", CCP_Keyword));
}

AddStorageSpecifiers(CCC, SemaRef.getLangOpts(), Results);
AddFunctionSpecifiers(CCC, SemaRef.getLangOpts(), Results);
break;
Expand Down Expand Up @@ -2487,6 +2509,14 @@ AddOrdinaryNameResults(SemaCodeCompletion::ParserCompletionContext CCC,
Builder.AddPlaceholderChunk("expression");
Builder.AddChunk(CodeCompletionString::CK_SemiColon);
Results.AddResult(Result(Builder.TakeString()));
// "co_return expression ;" for coroutines(C++20).
if (SemaRef.getLangOpts().CPlusPlus20) {
Builder.AddTypedTextChunk("co_return");
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddPlaceholderChunk("expression");
Builder.AddChunk(CodeCompletionString::CK_SemiColon);
Results.AddResult(Result(Builder.TakeString()));
}
// When boolean, also add 'return true;' and 'return false;'.
if (ReturnType->isBooleanType()) {
Builder.AddTypedTextChunk("return true");
Expand Down Expand Up @@ -2707,6 +2737,44 @@ AddOrdinaryNameResults(SemaCodeCompletion::ParserCompletionContext CCC,
Builder.AddChunk(CodeCompletionString::CK_RightParen);
Results.AddResult(Result(Builder.TakeString()));
}

if (SemaRef.getLangOpts().CPlusPlus20) {
// co_await expression
Builder.AddTypedTextChunk("co_await");
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddPlaceholderChunk("expression");
Results.AddResult(Result(Builder.TakeString()));

// co_yield expression
Builder.AddTypedTextChunk("co_yield");
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddPlaceholderChunk("expression");
Results.AddResult(Result(Builder.TakeString()));

// requires (parameters) { requirements }
Builder.AddResultTypeChunk("bool");
Builder.AddTypedTextChunk("requires");
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddChunk(CodeCompletionString::CK_LeftParen);
Builder.AddPlaceholderChunk("parameters");
Builder.AddChunk(CodeCompletionString::CK_RightParen);
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
Builder.AddPlaceholderChunk("requirements");
Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
Builder.AddChunk(CodeCompletionString::CK_RightBrace);
Results.AddResult(Result(Builder.TakeString()));

if (SemaRef.CurContext->isRequiresExprBody()) {
// requires expression ;
Builder.AddTypedTextChunk("requires");
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddPlaceholderChunk("expression");
Builder.AddChunk(CodeCompletionString::CK_SemiColon);
Results.AddResult(Result(Builder.TakeString()));
}
}
}

if (SemaRef.getLangOpts().ObjC) {
Expand Down
35 changes: 35 additions & 0 deletions clang/test/CodeCompletion/keywords-cxx20.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
const char8_t x = 1;

template<typename T> requires true
const int y = requires { typename T::type; requires T::value; };

int f(){ co_await 1; }

// RUN: %clang_cc1 -std=c++20 -code-completion-at=%s:1:3 %s | FileCheck --check-prefix=CHECK-TOP-LEVEL %s
// CHECK-TOP-LEVEL: const
// CHECK-TOP-LEVEL: consteval
// CHECK-TOP-LEVEL: constexpr
// CHECK-TOP-LEVEL: constinit

// RUN: %clang_cc1 -std=c++20 -code-completion-at=%s:1:12 %s | FileCheck --check-prefix=CHECK-TOP-LEVEL %s
// CHECK-TOP-LEVEL: char8_t

// RUN: %clang-cc1 -std=c++20 -code-completion-at=%s:4:3 %s | FileCheck --check-prefix=CHECK-REQUIRES %s
// CHECK-REQUIRES: concept
// CHECK-REQUIRES: const
// CHECK-REQUIRES: consteval
// CHECK-REQUIRES: constexpr
// CHECK-REQUIRES: constinit

// RUN: %clang-cc1 -std=c++20 -code-completion-at=%s:3:27 %s | FileCheck --check-prefix=CHECK-REQUIRES %s
// CHECK-REQUIRES: requires

// RUN: %clang-cc1 -std=c++20 -code-completion-at=%s:4:20 %s | FileCheck -check-prefix=CHECK-CC1 %s
// CHECK-CC1-NEXT: COMPLETION: Pattern: [#bool#]requires (<#parameters#>) {
// CHECK-CC1-NEXT: <#requirements#>
// CHECK-CC1-NEXT: }

// RUN: %clang-cc1 -std=c++20 -code-completion-at=%s:6:13 %s | FileCheck --check-prefix=CHECK-COAWAIT %s
// CHECK-COAWAIT: Pattern : co_await <#expression#>
// CHECK-COAWAIT: Pattern : co_return <#expression#>;
// CHECK-COAWAIT: Pattern : co_yield <#expression#>