/
githubmirror
/
go
Обзор
Документация
Войти
/
githubmirror
/
go
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
test/fixedbugs/issue26407.go
58 строк
964 B
Michael Munday
cmd/compile: keep autos if their address reaches a control value
17 июл 2018, 17:58
17 июл 2018, 17:58
1546ab5
Код
Авторство
О чём код?
// run // Copyright 2018 The Go Authors. All rights reserved. // Use of this source code is governed by a BSD-style // license that can be found in the LICENSE file. // Issue 26407: ensure that stack variables which have // had their address taken and then used in a comparison, // but are otherwise unused, are cleared. package main func main() { poison() test() } //go:noinline func poison() { // initialise the stack with invalid pointers var large [256]uintptr for i := range large { large[i] = 1 } use(large[:]) } //go:noinline func test() { a := 2 x := &a if x != compare(&x) { panic("not possible") } } //go:noinline func compare(x **int) *int { var y *int if x == &y { panic("not possible") } // grow the stack to trigger a check for invalid pointers grow() if x == &y { panic("not possible") } return *x } //go:noinline func grow() { var large [1 << 16]uintptr use(large[:]) } //go:noinline func use(_ []uintptr) { }