From f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Fri, 5 Aug 2016 11:10:04 -0700
Subject: select values must be valid

---
 src/wasm-validator.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/wasm-validator.h')

diff --git a/src/wasm-validator.h b/src/wasm-validator.h
index 5844dafcd..8e989c94d 100644
--- a/src/wasm-validator.h
+++ b/src/wasm-validator.h
@@ -280,6 +280,10 @@ public:
       default: abort();
     }
   }
+  void visitSelect(Select* curr) {
+    shouldBeUnequal(curr->ifTrue->type, none, curr, "select left must be valid");
+    shouldBeUnequal(curr->ifFalse->type, none, curr, "select right must be valid");
+  }
 
   void visitReturn(Return* curr) {
     if (curr->value) {
-- 
cgit v1.2.3