package b

func f() {
	var s []int
	t := (*[0]int)(s)
	_ = *t // want "nil dereference in load"
	_ = (*[0]int)(s)
	_ = *(*[0]int)(s) // want "nil dereference in load"

	// these operation is panic
	_ = (*[1]int)(s)  // want "nil slice being cast to an array of len > 0 will always panic"
	_ = *(*[1]int)(s) // want "nil slice being cast to an array of len > 0 will always panic"
}

func g() {
	var s = make([]int, 0)
	t := (*[0]int)(s)
	println(*t)
}

func h() {
	var s = make([]int, 1)
	t := (*[1]int)(s)
	println(*t)
}

func i(x []int) {
	a := (*[1]int)(x)
	if a != nil { // want "tautological condition: non-nil != nil"
		_ = *a
	}
}