| // run | |
| // Copyright 2025 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. | |
| package main | |
| //go:noinline | |
| func f(p *int, b bool) int { | |
| valid := *p >= 0 | |
| if !b || !valid { | |
| return 5 | |
| } | |
| return 6 | |
| } | |
| func main() { | |
| defer func() { | |
| if e := recover(); e == nil { | |
| println("should have panicked") | |
| } | |
| }() | |
| f(nil, false) | |
| } |