checker: allow void,char,byteptr to be mut args (#7239)

pull/7605/head
Enzo 2020-12-11 04:47:10 +01:00 committed by GitHub
parent ca2c082a5e
commit 04346e7ba5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 25 additions and 4 deletions

View File

@ -1,4 +1,4 @@
vlib/v/checker/tests/function_arg_mutable_err.vv:1:18: error: mutable arguments are only allowed for arrays, maps, and structs vlib/v/checker/tests/function_arg_mutable_err.vv:1:18: error: mutable arguments are only allowed for arrays, maps, structs and pointers
return values instead: `fn foo(mut n int) {` => `fn foo(n int) int {` return values instead: `fn foo(mut n int) {` => `fn foo(n int) int {`
1 | fn mod_ptr(mut a int) { 1 | fn mod_ptr(mut a int) {
| ~~~ | ~~~

View File

@ -1,4 +1,4 @@
vlib/v/checker/tests/mut_int.vv:1:14: error: mutable arguments are only allowed for arrays, maps, and structs vlib/v/checker/tests/mut_int.vv:1:14: error: mutable arguments are only allowed for arrays, maps, structs and pointers
return values instead: `fn foo(mut n int) {` => `fn foo(n int) int {` return values instead: `fn foo(mut n int) {` => `fn foo(n int) int {`
1 | fn foo(mut x int) { 1 | fn foo(mut x int) {
| ~~~ | ~~~

View File

@ -598,8 +598,8 @@ fn (mut p Parser) fn_args() ([]table.Param, bool, bool) {
fn (mut p Parser) check_fn_mutable_arguments(typ table.Type, pos token.Position) { fn (mut p Parser) check_fn_mutable_arguments(typ table.Type, pos token.Position) {
sym := p.table.get_type_symbol(typ) sym := p.table.get_type_symbol(typ)
if sym.kind !in [.array, .struct_, .map, .placeholder, .sum_type] && !typ.is_ptr() { if sym.kind !in [.array, .struct_, .map, .placeholder, .sum_type] && !typ.is_ptr() && !typ.is_pointer() {
p.error_with_pos('mutable arguments are only allowed for arrays, maps, and structs\n' + p.error_with_pos('mutable arguments are only allowed for arrays, maps, structs and pointers\n' +
'return values instead: `fn foo(mut n $sym.name) {` => `fn foo(n $sym.name) $sym.name {`', 'return values instead: `fn foo(mut n $sym.name) {` => `fn foo(n $sym.name) $sym.name {`',
pos) pos)
} }

View File

@ -0,0 +1,21 @@
[direct_array_access]
[unsafe]
fn memcpy(mut dest voidptr, src voidptr, len u32) voidptr {
mut d := byteptr(dest)
s := byteptr(src)
mut l := len
for l > 0 {
l--
unsafe {
d[l] = s[l]
}
}
return dest
}
fn test_mut_voidptr_arg() {
mut a := [1, 2]!!
b := [3, 4]!!
memcpy(mut a, b, sizeof(int))
assert a == [3, 2]!!
}