diff --git a/compiler/compiler.go b/compiler/compiler.go
index 76e7aac9..c942aee1 100644
--- a/compiler/compiler.go
+++ b/compiler/compiler.go
@@ -3536,7 +3536,7 @@ func (c *Compiler) IR() string {
 }
 
 func (c *Compiler) Verify() error {
-	return llvm.VerifyModule(c.mod, 0)
+	return llvm.VerifyModule(c.mod, llvm.PrintMessageAction)
 }
 
 func (c *Compiler) ApplyFunctionSections() {
diff --git a/main.go b/main.go
index c1f2fd02..cd5cba80 100644
--- a/main.go
+++ b/main.go
@@ -70,7 +70,9 @@ func Compile(pkgName, outpath string, spec *TargetSpec, config *BuildConfig, act
 	// stack-allocated values.
 	if strings.HasPrefix(spec.Triple, "wasm") {
 		c.ExternalInt64AsPtr()
-		c.Verify()
+		if err := c.Verify(); err != nil {
+			return err
+		}
 	}
 
 	// Optimization levels here are roughly the same as Clang, but probably not