[CodeComplete] Fix completion in the middle of ident in ctor lists.

Summary:
The example that was broken before (^ designates completion points):

    class Foo {
      Foo() : fie^ld^() {} // no completions were provided here.
      int field;
    };

To fix it we don't cut off lexing after an identifier followed by code
completion token is lexed. Instead we skip the rest of identifier and
continue lexing.
This is consistent with behavior of completion when completion token is
right before the identifier.

Reviewers: sammccall, aaron.ballman, bkramer, sepavloff, arphaman, rsmith

Reviewed By: aaron.ballman

Subscribers: cfe-commits

Differential Revision: https://reviews.llvm.org/D44932

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@330833 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Ilya Biryukov 2018-04-25 15:13:34 +00:00
parent 3b37fe8026
commit d5cd4a06ce
3 changed files with 26 additions and 1 deletions

View File

@ -1654,7 +1654,21 @@ FinishIdentifier:
if (isCodeCompletionPoint(CurPtr)) {
// Return the code-completion token.
Result.setKind(tok::code_completion);
cutOffLexing();
// Skip the code-completion char and all immediate identifier characters.
// This ensures we get consistent behavior when completing at any point in
// an identifier (i.e. at the start, in the middle, at the end). Note that
// only simple cases (i.e. [a-zA-Z0-9_]) are supported to keep the code
// simpler.
assert(*CurPtr == 0 && "Completion character must be 0");
++CurPtr;
// Note that code completion token is not added as a separate character
// when the completion point is at the end of the buffer. Therefore, we need
// to check if the buffer has ended.
if (CurPtr < BufferEnd) {
while (isIdentifierBody(*CurPtr))
++CurPtr;
}
BufferPtr = CurPtr;
return true;
}

View File

@ -58,5 +58,9 @@ struct B {
// RUN: %clang_cc1 -fsyntax-only -std=c++98 -code-completion-at=%s:57:9 %s -o - | FileCheck -check-prefix=CHECK-CC7 %s
// RUN: %clang_cc1 -fsyntax-only -std=c++14 -code-completion-at=%s:57:9 %s -o - | FileCheck -check-prefix=CHECK-CC7 %s
// CHECK-CC7: COMPLETION: Pattern : member1(<#args#>
// Check in the middle and at the end of identifier too.
// RUN: %clang_cc1 -fsyntax-only -std=c++98 -code-completion-at=%s:57:13 %s -o - | FileCheck -check-prefix=CHECK-CC8 %s
// RUN: %clang_cc1 -fsyntax-only -std=c++98 -code-completion-at=%s:57:16 %s -o - | FileCheck -check-prefix=CHECK-CC8 %s
// CHECK-CC8: COMPLETION: Pattern : member2(<#args#>
int member1, member2;
};

View File

@ -0,0 +1,7 @@
// Check that clang does not crash when completing at the last char in the
// buffer.
// NOTE: This file must *NOT* have newline at the end.
// RUN: %clang_cc1 -code-completion-at=%s:7:2 %s | FileCheck %s
// CHECK: COMPLETION: foo
using foo = int***;
f