issue23837.go

     1  // run
     2  
     3  // Copyright 2018 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  package main
     8  
     9  //go:noinline
    10  func f(p, q *struct{}) bool {
    11  	return *p == *q
    12  }
    13  
    14  type T struct {
    15  	x struct{}
    16  	y int
    17  }
    18  
    19  //go:noinline
    20  func g(p, q *T) bool {
    21  	return p.x == q.x
    22  }
    23  
    24  //go:noinline
    25  func h(p, q func() struct{}) bool {
    26  	return p() == q()
    27  }
    28  
    29  func fi(p, q *struct{}) bool {
    30  	return *p == *q
    31  }
    32  
    33  func gi(p, q *T) bool {
    34  	return p.x == q.x
    35  }
    36  
    37  func hi(p, q func() struct{}) bool {
    38  	return p() == q()
    39  }
    40  
    41  func main() {
    42  	shouldPanic(func() { f(nil, nil) })
    43  	shouldPanic(func() { g(nil, nil) })
    44  	shouldPanic(func() { h(nil, nil) })
    45  	shouldPanic(func() { fi(nil, nil) })
    46  	shouldPanic(func() { gi(nil, nil) })
    47  	shouldPanic(func() { hi(nil, nil) })
    48  	n := 0
    49  	inc := func() struct{} {
    50  		n++
    51  		return struct{}{}
    52  	}
    53  	h(inc, inc)
    54  	if n != 2 {
    55  		panic("inc not called")
    56  	}
    57  	hi(inc, inc)
    58  	if n != 4 {
    59  		panic("inc not called")
    60  	}
    61  }
    62  
    63  func shouldPanic(x func()) {
    64  	defer func() {
    65  		if recover() == nil {
    66  			panic("did not panic")
    67  		}
    68  	}()
    69  	x()
    70  }
    71
View as plain text