go.tools/go/ssa: emit a recover block if the function's...

go/ssa/interp/interp.go

 // Copyright 2013 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 ssa/interp defines an interpreter for the SSA
 // representation of Go programs.
 //
 // This interpreter is provided as an adjunct for testing the SSA
 // construction algorithm.  Its purpose is to provide a minimal
 // metacircular implementation of the dynamic semantics of each SSA
@@ skipping 537 matching lines @@
                 if fr.i.mode&DisableRecover != 0 {
                         return // let interpreter crash
                 }
                 fr.panicking = true
                 fr.panic = recover()
                 if fr.i.mode&EnableTracing != 0 {
                         fmt.Fprintf(os.Stderr, "Panicking: %T %v.\n", fr.panic, fr.panic)
                 }
                 fr.runDefers()
                 fr.block = fr.fn.Recover
-                if fr.block == nil {
-                        fr.result = zero(fr.fn.Signature.Results())
-                }
         }()
 
         for {
                 if fr.i.mode&EnableTracing != 0 {
                         fmt.Fprintf(os.Stderr, ".%s:\n", fr.block)
                 }
         block:
                 for _, instr := range fr.block.Instrs {
                         if fr.i.mode&EnableTracing != 0 {
                                 if v, ok := instr.(ssa.Value); ok {
@@ skipping 151 matching lines @@
 }
 
 // deref returns a pointer's element type; otherwise it returns typ.
 // TODO(adonovan): Import from ssa?
 func deref(typ types.Type) types.Type {
         if p, ok := typ.Underlying().(*types.Pointer); ok {
                 return p.Elem()
         }
         return typ
 }