issue29504.go

     1  // run
     2  
     3  // Copyright 2019 The Go Authors. All rights reserved.
     4  // Use of this source code is governed by a BSD-style
     5  // license that can be found in the LICENSE file.
     6  
     7  // Make sure that in code involving indexing, the bounds
     8  // check always fails at the line number of the '[' token.
     9  
    10  package main
    11  
    12  import (
    13  	"fmt"
    14  	"runtime"
    15  	"strings"
    16  )
    17  
    18  type T struct{ a, b, c, d, e int } // unSSAable
    19  
    20  func main() {
    21  	shouldPanic(func() {
    22  		var a [1]int
    23  		sink = a /*line :999999:1*/ [ /*line :100:1*/ i]
    24  	})
    25  	shouldPanic(func() {
    26  		var a [3]int
    27  		sink = a /*line :999999:1*/ [ /*line :200:1*/ i]
    28  	})
    29  	shouldPanic(func() {
    30  		var a []int
    31  		sink = a /*line :999999:1*/ [ /*line :300:1*/ i]
    32  	})
    33  	shouldPanic(func() {
    34  		var a [1]int
    35  		a /*line :999999:1*/ [ /*line :400:1*/ i] = 1
    36  	})
    37  	shouldPanic(func() {
    38  		var a [3]int
    39  		a /*line :999999:1*/ [ /*line :500:1*/ i] = 1
    40  	})
    41  	shouldPanic(func() {
    42  		var a []int
    43  		a /*line :999999:1*/ [ /*line :600:1*/ i] = 1
    44  	})
    45  
    46  	shouldPanic(func() {
    47  		var a [3]T
    48  		sinkT = a /*line :999999:1*/ [ /*line :700:1*/ i]
    49  	})
    50  	shouldPanic(func() {
    51  		var a []T
    52  		sinkT = a /*line :999999:1*/ [ /*line :800:1*/ i]
    53  	})
    54  	shouldPanic(func() {
    55  		var a [3]T
    56  		a /*line :999999:1*/ [ /*line :900:1*/ i] = T{}
    57  	})
    58  	shouldPanic(func() {
    59  		var a []T
    60  		a /*line :999999:1*/ [ /*line :1000:1*/ i] = T{}
    61  	})
    62  
    63  	shouldPanic(func() {
    64  		var a [3]int
    65  		sinkS = a /*line :999999:1*/ [ /*line :1100:1*/ i:]
    66  	})
    67  	shouldPanic(func() {
    68  		var a []int
    69  		sinkS = a /*line :999999:1*/ [ /*line :1200:1*/ i:]
    70  	})
    71  	shouldPanic(func() {
    72  		var a [3]int
    73  		sinkS = a /*line :999999:1*/ [: /*line :1300:1*/ i]
    74  	})
    75  	shouldPanic(func() {
    76  		var a []int
    77  		sinkS = a /*line :999999:1*/ [: /*line :1400:1*/ i]
    78  	})
    79  
    80  	shouldPanic(func() {
    81  		var a [3]T
    82  		sinkST = a /*line :999999:1*/ [ /*line :1500:1*/ i:]
    83  	})
    84  	shouldPanic(func() {
    85  		var a []T
    86  		sinkST = a /*line :999999:1*/ [ /*line :1600:1*/ i:]
    87  	})
    88  	shouldPanic(func() {
    89  		var a [3]T
    90  		sinkST = a /*line :999999:1*/ [: /*line :1700:1*/ i]
    91  	})
    92  	shouldPanic(func() {
    93  		var a []T
    94  		sinkST = a /*line :999999:1*/ [: /*line :1800:1*/ i]
    95  	})
    96  
    97  	shouldPanic(func() {
    98  		s := "foo"
    99  		sinkB = s /*line :999999:1*/ [ /*line :1900:1*/ i]
   100  	})
   101  	shouldPanic(func() {
   102  		s := "foo"
   103  		sinkStr = s /*line :999999:1*/ [ /*line :2000:1*/ i:]
   104  	})
   105  	shouldPanic(func() {
   106  		s := "foo"
   107  		sinkStr = s /*line :999999:1*/ [: /*line :2100:1*/ i]
   108  	})
   109  
   110  	if bad {
   111  		panic("ERRORS")
   112  	}
   113  }
   114  
   115  var i = 9
   116  var sink int
   117  var sinkS []int
   118  var sinkT T
   119  var sinkST []T
   120  var sinkB byte
   121  var sinkStr string
   122  
   123  var bad = false
   124  
   125  func shouldPanic(f func()) {
   126  	defer func() {
   127  		if recover() == nil {
   128  			panic("did not panic")
   129  		}
   130  		var pcs [10]uintptr
   131  		n := runtime.Callers(1, pcs[:])
   132  		iter := runtime.CallersFrames(pcs[:n])
   133  		buf := ""
   134  		for {
   135  			frame, more := iter.Next()
   136  			buf += fmt.Sprintf("%s:%d %s\n", frame.File, frame.Line, frame.Function)
   137  			if !more {
   138  				break
   139  			}
   140  		}
   141  		if !strings.Contains(buf, "999999") {
   142  			fmt.Printf("could not find marker line in traceback:\n%s\n", buf)
   143  			bad = true
   144  		}
   145  	}()
   146  	f()
   147  }
   148
View as plain text