vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

checker: allow to pass alias to array as a pointer (c2v) (#14389)

master
playX 2022-05-13 07:17:28 +00:00 committed by GitHub
parent d407a6449d
commit 6ec4185017
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
vlib/v/checker/fn.v
View File

@ -958,11 +958,13 @@ pub fn (mut c Checker) fn_call(mut node ast.CallExpr, mut continue_check &bool)
if param.typ == ast.voidptr_type_idx || arg_typ == ast.voidptr_type_idx { if param.typ == ast.voidptr_type_idx || arg_typ == ast.voidptr_type_idx {
continue continue
} }
param_typ_sym_ := c.table.sym(c.table.unaliased_type(param.typ))
arg_typ_sym_ := c.table.sym(c.table.unaliased_type(arg_typ))
// Allow `[32]i8` as `&i8` etc // Allow `[32]i8` as `&i8` etc
if ((arg_typ_sym.kind == .array_fixed || arg_typ_sym.kind == .array) if ((arg_typ_sym_.kind == .array_fixed || arg_typ_sym_.kind == .array)
&& (param_is_number && (param_is_number
|| c.table.unaliased_type(param.typ).is_any_kind_of_pointer())) || c.table.unaliased_type(param.typ).is_any_kind_of_pointer()))
|| ((param_typ_sym.kind == .array_fixed || param_typ_sym.kind == .array) || ((param_typ_sym_.kind == .array_fixed || param_typ_sym_.kind == .array)
&& (typ_is_number || c.table.unaliased_type(arg_typ).is_any_kind_of_pointer())) { && (typ_is_number || c.table.unaliased_type(arg_typ).is_any_kind_of_pointer())) {
continue continue
} }