nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
sepcomp: fix hardening related to the instantiation of dead types
[nit.git]
/
src
/
compiler
/
global_compiler.nit
diff --git
a/src/compiler/global_compiler.nit
b/src/compiler/global_compiler.nit
index
1aff84e
..
b2cf479
100644
(file)
--- a/
src/compiler/global_compiler.nit
+++ b/
src/compiler/global_compiler.nit
@@
-404,6
+404,7
@@
class GlobalCompilerVisitor
do
var ret_type = mmodule.native_array_type(elttype)
ret_type = anchor(ret_type).as(MClassType)
do
var ret_type = mmodule.native_array_type(elttype)
ret_type = anchor(ret_type).as(MClassType)
+ length = autobox(length, compiler.mainmodule.int_type)
return self.new_expr("NEW_{ret_type.c_name}({length})", ret_type)
end
return self.new_expr("NEW_{ret_type.c_name}({length})", ret_type)
end
@@
-528,11
+529,6
@@
class GlobalCompilerVisitor
private fun get_recvtype(m: MMethodDef, recvtype: MClassType, args: Array[RuntimeVariable]): MClassType
do
check_valid_reciever(recvtype)
private fun get_recvtype(m: MMethodDef, recvtype: MClassType, args: Array[RuntimeVariable]): MClassType
do
check_valid_reciever(recvtype)
- #debug("call {m} on {recvtype} on {args.first}:{args.first.mtype}")
- if m.mproperty.is_toplevel then
- # Do not customize top-level methods
- recvtype = m.mclassdef.bound_mtype
- end
return recvtype
end
return recvtype
end