From b13f1ac2aa05e5778deb5dbea210d3d6f725acb3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pawe=C5=82=20Bylica?= <pawel.bylica@imapp.pl>
Date: Mon, 20 Oct 2014 16:08:15 +0200
Subject: [PATCH] Check if pushed item is a word

---
 libevmjit/BasicBlock.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libevmjit/BasicBlock.cpp b/libevmjit/BasicBlock.cpp
index 02c85165d6..736e0a572c 100644
--- a/libevmjit/BasicBlock.cpp
+++ b/libevmjit/BasicBlock.cpp
@@ -32,6 +32,7 @@ BasicBlock::BasicBlock(std::string _name, llvm::Function* _mainFunc) :
 
 void BasicBlock::Stack::push(llvm::Value* _value)
 {
+	assert(_value->getType() == Type::i256);
 	m_backend.push_back(_value);
 }