From: Jean Privat <jean@pryen.org>
Date: Mon, 21 Sep 2015 17:51:37 +0000 (-0400)
Subject: sepcomp: fix potential tagging issue in `is_same_type_test`
X-Git-Tag: v0.7.8~13^2~3
X-Git-Url: http://nitlanguage.org?hp=fa91eccdd05df2a54cf95b284d5d3a3891d25892

sepcomp: fix potential tagging issue in `is_same_type_test`

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/src/compiler/separate_compiler.nit b/src/compiler/separate_compiler.nit
index 9626ac7..532b844 100644
--- a/src/compiler/separate_compiler.nit
+++ b/src/compiler/separate_compiler.nit
@@ -1861,7 +1861,7 @@ class SeparateCompilerVisitor
 			else
 				var mtype1 = value1.mtype.as(MClassType)
 				self.require_declaration("class_{mtype1.c_name}")
-				self.add("{res} = ({value2} != NULL) && ({value2}->class == &class_{mtype1.c_name}); /* is_same_type_test */")
+				self.add("{res} = ({value2} != NULL) && ({class_info(value2)} == &class_{mtype1.c_name}); /* is_same_type_test */")
 			end
 		else
 			self.add("{res} = ({value1} == {value2}) || ({value1} != NULL && {value2} != NULL && {class_info(value1)} == {class_info(value2)}); /* is_same_type_test */")