From 7102c52d002c35a0bbf948f017a32f96b3ceb6de Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 21 Sep 2015 13:51:37 -0400 Subject: [PATCH] sepcomp: fix potential tagging issue in `is_same_type_test` Signed-off-by: Jean Privat --- src/compiler/separate_compiler.nit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 */") -- 1.7.9.5