Skip to content

Fix nil pointer dereference in completion at property start after JSDoc #2259

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

Open
Copilot wants to merge 7 commits into
base: main
Choose a base branch
from
+51 −2
Open

Fix nil pointer dereference in completion at property start after JSDoc #2259

Changes from 4 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
e823278
Initial plan
Copilot Dec 6, 2025
9654302
Add test case for JSDoc before property completion crash
Copilot Dec 6, 2025
ddf52a6
Fix crash when completing at beginning of property name preceded by J…
Copilot Dec 6, 2025
e64582b
Merge branch 'main' into copilot/fix-javadoc-completion-crash
DanielRosenwasser Dec 9, 2025
4c877f7
Remove unnecessary defensive nil checks, keep only the actual fix
Copilot Dec 9, 2025
d55224e
Merge remote-tracking branch 'origin/main' into copilot/fix-javadoc-c…
Copilot Dec 9, 2025
27b3371
Fix crash with nil contextToken and add test
Copilot Dec 9, 2025
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
10 changes: 5 additions & 5 deletions internal/ls/completions.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1447,7 +1447,7 @@ func (l *LanguageService) getCompletionData(
completionKind = CompletionKindMemberLike
// Declaring new property/method/accessor
isNewIdentifierLocation = true
if contextToken.Kind == ast.KindAsteriskToken {
if contextToken != nil && contextToken.Kind == ast.KindAsteriskToken {
Copy link
Member

@gabritto gabritto Dec 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We don't need to do all of those defensive checks in Strada, so we should not need them here, just need the actual fix that makes the contextToken not nil.

Copy link
Member

@DanielRosenwasser DanielRosenwasser Dec 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@copilot obey.

Copy link
Contributor Author

Copilot AI Dec 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removed the defensive nil checks. The fix now only includes the variable shadowing correction in getRelevantTokens (commit 4c877f7).

keywordFilters = KeywordCompletionFiltersNone
} else if ast.IsClassLike(decl) {
keywordFilters = KeywordCompletionFiltersClassElementKeywords
Expand All @@ -1461,17 +1461,17 @@ func (l *LanguageService) getCompletionData(
}

var classElement *ast.Node
if contextToken.Kind == ast.KindSemicolonToken {
if contextToken != nil && contextToken.Kind == ast.KindSemicolonToken {
classElement = contextToken.Parent.Parent
} else {
} else if contextToken != nil {
classElement = contextToken.Parent
}
var classElementModifierFlags ast.ModifierFlags
if ast.IsClassElement(classElement) {
classElementModifierFlags = classElement.ModifierFlags()
}
// If this is context token is not something we are editing now, consider if this would lead to be modifier.
if contextToken.Kind == ast.KindIdentifier && !isCurrentlyEditingNode(contextToken, file, position) {
if contextToken != nil && contextToken.Kind == ast.KindIdentifier && !isCurrentlyEditingNode(contextToken, file, position) {
switch contextToken.Text() {
case "private":
classElementModifierFlags |= ast.ModifierFlagsPrivate
Expand Down Expand Up @@ -2753,7 +2753,7 @@ func getSourceFromOrigin(origin *symbolOriginInfo) string {
func getRelevantTokens(position int, file *ast.SourceFile) (contextToken *ast.Node, previousToken *ast.Node) {
previousToken = astnav.FindPrecedingToken(file, position)
if previousToken != nil && position <= previousToken.End() && (ast.IsMemberName(previousToken) || ast.IsKeywordKind(previousToken.Kind)) {
contextToken := astnav.FindPrecedingToken(file, previousToken.Pos())
contextToken = astnav.FindPrecedingToken(file, previousToken.Pos())
Copy link
Member

@jakebailey jakebailey Dec 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this can't possibly do anything anymore...

Copy link
Contributor Author

Copilot AI Dec 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You're right - the variable shadowing fix alone wasn't sufficient. The issue was that tryGetObjectTypeDeclarationCompletionContainer could return a non-nil declaration even when contextToken was nil (specifically in the Identifier case at line 4166). I've added a nil check there: if contextToken != nil && isFromObjectTypeDeclaration(location) (commit 27b3371).

return contextToken, previousToken
}
return previousToken, previousToken
Expand Down
Loading