| Server IP : 84.32.84.219 / Your IP : 216.73.216.217 Web Server : LiteSpeed System : Linux id-dci-web1986.main-hosting.eu 5.14.0-611.26.1.el9_7.x86_64 #1 SMP PREEMPT_DYNAMIC Thu Jan 29 05:24:47 EST 2026 x86_64 User : u686484674 ( 686484674) PHP Version : 8.0.30 Disable Function : system, exec, shell_exec, passthru, mysql_list_dbs, ini_alter, dl, symlink, link, chgrp, leak, popen, apache_child_terminate, virtual, mb_send_mail MySQL : OFF | cURL : ON | WGET : ON | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /opt/golang/1.22.0/test/fixedbugs/ |
Upload File : |
// run
// Copyright 2019 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 that in code involving indexing, the bounds
// check always fails at the line number of the '[' token.
package main
import (
"fmt"
"runtime"
"strings"
)
type T struct{ a, b, c, d, e int } // unSSAable
func main() {
shouldPanic(func() {
var a [1]int
sink = a /*line :999999:1*/ [ /*line :100:1*/ i]
})
shouldPanic(func() {
var a [3]int
sink = a /*line :999999:1*/ [ /*line :200:1*/ i]
})
shouldPanic(func() {
var a []int
sink = a /*line :999999:1*/ [ /*line :300:1*/ i]
})
shouldPanic(func() {
var a [1]int
a /*line :999999:1*/ [ /*line :400:1*/ i] = 1
})
shouldPanic(func() {
var a [3]int
a /*line :999999:1*/ [ /*line :500:1*/ i] = 1
})
shouldPanic(func() {
var a []int
a /*line :999999:1*/ [ /*line :600:1*/ i] = 1
})
shouldPanic(func() {
var a [3]T
sinkT = a /*line :999999:1*/ [ /*line :700:1*/ i]
})
shouldPanic(func() {
var a []T
sinkT = a /*line :999999:1*/ [ /*line :800:1*/ i]
})
shouldPanic(func() {
var a [3]T
a /*line :999999:1*/ [ /*line :900:1*/ i] = T{}
})
shouldPanic(func() {
var a []T
a /*line :999999:1*/ [ /*line :1000:1*/ i] = T{}
})
shouldPanic(func() {
var a [3]int
sinkS = a /*line :999999:1*/ [ /*line :1100:1*/ i:]
})
shouldPanic(func() {
var a []int
sinkS = a /*line :999999:1*/ [ /*line :1200:1*/ i:]
})
shouldPanic(func() {
var a [3]int
sinkS = a /*line :999999:1*/ [: /*line :1300:1*/ i]
})
shouldPanic(func() {
var a []int
sinkS = a /*line :999999:1*/ [: /*line :1400:1*/ i]
})
shouldPanic(func() {
var a [3]T
sinkST = a /*line :999999:1*/ [ /*line :1500:1*/ i:]
})
shouldPanic(func() {
var a []T
sinkST = a /*line :999999:1*/ [ /*line :1600:1*/ i:]
})
shouldPanic(func() {
var a [3]T
sinkST = a /*line :999999:1*/ [: /*line :1700:1*/ i]
})
shouldPanic(func() {
var a []T
sinkST = a /*line :999999:1*/ [: /*line :1800:1*/ i]
})
shouldPanic(func() {
s := "foo"
sinkB = s /*line :999999:1*/ [ /*line :1900:1*/ i]
})
shouldPanic(func() {
s := "foo"
sinkStr = s /*line :999999:1*/ [ /*line :2000:1*/ i:]
})
shouldPanic(func() {
s := "foo"
sinkStr = s /*line :999999:1*/ [: /*line :2100:1*/ i]
})
if bad {
panic("ERRORS")
}
}
var i = 9
var sink int
var sinkS []int
var sinkT T
var sinkST []T
var sinkB byte
var sinkStr string
var bad = false
func shouldPanic(f func()) {
defer func() {
if recover() == nil {
panic("did not panic")
}
var pcs [10]uintptr
n := runtime.Callers(1, pcs[:])
iter := runtime.CallersFrames(pcs[:n])
buf := ""
for {
frame, more := iter.Next()
buf += fmt.Sprintf("%s:%d %s\n", frame.File, frame.Line, frame.Function)
if !more {
break
}
}
if !strings.Contains(buf, "999999") {
fmt.Printf("could not find marker line in traceback:\n%s\n", buf)
bad = true
}
}()
f()
}