go issue29504 源码

2022-07-15
浏览 (877)

golang issue29504 代码

文件路径：/test/fixedbugs/issue29504.go

// 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()
}

相关信息

go 源码目录

相关文章

go bug000 源码

go bug002 源码

go bug003 源码

go bug004 源码

go bug005 源码

go bug006 源码

go bug007 源码

go bug008 源码

go bug009 源码

go bug010 源码

0 赞

所属分类： 后端技术
本文标签： golang
版权声明： 原创文章如转载，请注明本文链接: https://www.seaxiang.com/blog/ccaab1c6501f4c17b02e1e428025d5ed

热门推荐

1、直接访问google.com
2、 - 优质文章
3、 gate.io
4、 harmony 鸿蒙hdc使用指导
5、 harmony 鸿蒙ArkUI组件（ArkTS）开发常见问题
6、 harmony 鸿蒙初识ArkTS语言
7、 flink kafka connector scan.startup.mode 的几个选项
8、 golang
9、 openharmony
10、 Vue中input框自动聚焦

Loading...