golang/go

cmd/compile: unnecessary bounds check when slicing after using `slices.Grow`

Open

#73,145 创建于 2025年4月3日

在 GitHub 查看
 (2 评论) (1 反应) (0 负责人)Go (19,008 fork)batch import
BugReportNeedsInvestigationPerformancecompiler/runtimehelp wanted

仓库指标

Star
 (133,883 star)
PR 合并指标
 (30 天内没有已合并 PR)

描述

Go version

go version go1.24.1 linux/amd64

Output of go env in your module/workspace:

-

What did you do?

package pkg

import "slices"

func Foo() {
	var xs []int
	xs = slices.Grow(xs, 4)[:len(xs)+4]
}

What did you see happen?

Slicing after growing inserts a check for the capacity and a conditional call to runtime.panicSliceAcap

What did you expect to see?

The compiler should be able to tell that we just guaranteed that the slice's capacity is at least len(xs)+4 and shouldn't insert another check.

贡献者指南