diff --git a/src/Reactor/LLVMReactor.cpp b/src/Reactor/LLVMReactor.cpp
index ad6abb1..11ea23a 100644
--- a/src/Reactor/LLVMReactor.cpp
+++ b/src/Reactor/LLVMReactor.cpp
@@ -1080,6 +1080,8 @@
 	{
 		RR_DEBUG_INFO_UPDATE_LOC();
 
+		ASSERT_MSG(::function->getReturnType() == T(Void::getType()), "Return type mismatch");
+
 		// Code generated after this point is unreachable, so any variables
 		// being read can safely return an undefined value. We have to avoid
 		// materializing variables after the terminator ret instruction.
@@ -1092,6 +1094,8 @@
 	{
 		RR_DEBUG_INFO_UPDATE_LOC();
 
+		ASSERT_MSG(::function->getReturnType() == V(v)->getType(), "Return type mismatch");
+
 		// Code generated after this point is unreachable, so any variables
 		// being read can safely return an undefined value. We have to avoid
 		// materializing variables after the terminator ret instruction.