From 27dc7808716e0f9db7bcaac304774968c03e18cf Mon Sep 17 00:00:00 2001
From: Yan Da <dyanab@connect.ust.hk>
Date: Wed, 9 Dec 2020 15:10:19 +0800
Subject: [PATCH] [IR] Check constant_int type

---
 lib/ir/constant.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/ir/constant.cc b/lib/ir/constant.cc
index 825a130f4..3a7aabf9e 100644
--- a/lib/ir/constant.cc
+++ b/lib/ir/constant.cc
@@ -43,6 +43,8 @@ constant_int::constant_int(type *ty, uint64_t value)
   : constant(ty, 0), value_(value){ }
 
 constant_int *constant_int::get(type *ty, uint64_t value) {
+  if (!ty->is_integer_ty())
+    throw std::runtime_error("Cannot create constant_int with non integer ty");
   context_impl *impl = ty->get_context().p_impl.get();
   constant_int *& cst = impl->int_constants_[std::make_pair(ty, value)];
   if(cst == nullptr)