mirror of
https://github.com/golang/go
synced 2024-11-15 00:00:34 -07:00
25 lines
437 B
Go
25 lines
437 B
Go
|
// 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.
|
||
|
|
|
||
|
|
// Make sure we don't prove that the bounds check failure branch is unreachable.
|
||
|
|
|
||
|
|
package main
|
||
|
|
|
||
|
|
//go:noinline
|
||
|
|
func f(a []int) {
|
||
|
|
_ = a[len(a)-1]
|
||
|
|
}
|
||
|
|
|
||
|
|
func main() {
|
||
|
|
defer func() {
|
||
|
|
if err := recover(); err != nil {
|
||
|
|
return
|
||
|
|
}
|
||
|
|
panic("f should panic")
|
||
|
|
}()
|
||
|
|
f(nil)
|
||
|
|
}
|