prog: validate deserialized programs

The optimization change removed validation too aggressively.
We do need program validation during deserialization,
because we can get bad programs from corpus or hub.
Restore program validation after deserialization.

1 files changed, 4 insertions, 2 deletions

diff --git a/prog/clone.go b/prog/clone.go
index 6a6837148..c085b765f 100644
--- a/prog/clone.go
+++ b/prog/clone.go
@@ -15,8 +15,10 @@ func (p *Prog) Clone() *Prog {
 		}
 		p1.Calls = append(p1.Calls, c1)
 	}
-	if err := p1.validate(); err != nil {
-		panic(err)
+	if debug {
+		if err := p1.validate(); err != nil {
+			panic(err)
+		}
 	}
 	return p1
 }