Commit Graph

1619 Commits (ea3983a91b56ce3bc888cd84931756df6c3061b2)

Author SHA1 Message Date
shadowninja55 ea3983a91b
checker: require .sort() body for some types (#10550) 2021-06-27 17:17:03 +03:00
shadowninja55 eb5afb7403
checker: prohibit selective const imports (#10574) 2021-06-26 18:09:52 +03:00
Delyan Angelov 19dca026a9
checker: bugfix for `__global ( cpu_get_id fn () u64 ) ... cpu_get_id()`
Support new vlib/v/checker/tests/globals_run/ folder, for .vv files
that will be run with `-enable-globals run`, and the results will be
compared with their matching `.run.out` files.

Add regression tests.
2021-06-26 01:23:50 +03:00
Alexander Medvednikov 7458927593 checker: fix global fn calls 2021-06-25 20:26:24 +03:00
yuyi 4bfe76123a
generics: fix generic fn type mismatch of returning a generic struct (#10553) 2021-06-24 12:47:36 +03:00
BigBlack 8324a766e8
checker: allow for `unsafe {*(p+1) = 22}` (#10557) 2021-06-24 12:39:42 +03:00
shadowninja55 83eb9d5d07
checker: disallow accessing fields or methods of `void` (#10552) 2021-06-24 07:33:12 +03:00
Delyan Angelov b6bd6d1d35
tests: add cmd/tools/vdoc/tests/vdoc_file_test.v, extract a `v.util.diff` module, cleanup 2021-06-22 18:52:34 +03:00
Delyan Angelov dd6591b2f5
ci: fix `[if xyz ?]` usages 2021-06-22 10:46:43 +03:00
Delyan Angelov 79df7f51c3
v: deprecate `[if ident]` in favour of `[if ident ?]` 2021-06-22 10:30:14 +03:00
yuyi da4b6b934d
checker: fix map assign array of interface values (#10532) 2021-06-21 19:24:42 +03:00
Uwe Krüger 8f2f377cb1
v.checker,v.gen.c: extend auto heap mechanism to objects used as interfaces (#10529) 2021-06-21 07:10:10 +03:00
Uwe Krüger f32a76b268
all: promote value type function arguments to heap if necessary (#10528) 2021-06-20 18:40:24 +03:00
Enzo 44d0305ca9
checker,gen: remove automatic string to C string conversion (#10144) 2021-06-20 09:30:08 +03:00
yuyi 2298063129
checker: fix nested if smartcast selector exprs (fix #10372 #10379) (#10502) 2021-06-18 14:49:15 +03:00
Delyan Angelov a01e8eb0f8
v.checker: implement `-d debug_manualfree`, noticing `[manualfree]fn f(s string){return s}` 2021-06-18 13:06:52 +03:00
zakuro 751f2950ea
checker: skip checking `[required]` fields for struct update syntax (#10500) 2021-06-18 02:51:33 +03:00
Delyan Angelov 39e7290416
v: support for `[if expr]`, part 2 (old `[if ident]` is not yet deprecated) 2021-06-17 18:55:20 +03:00
yuyi c58b04bcbf
checker: implement if smartcast multi conds (part 2) (#10487) 2021-06-17 12:27:31 +03:00
Alexander Medvednikov eacdd0d7e1 comptime: fix $(field.name) in $for; vweb: shared fields 2021-06-16 20:33:39 +03:00
yuyi e31be9f5c4
checker: fix generic fn assign (#10479) 2021-06-16 19:17:07 +03:00
yuyi 1dca06495d
checker: implement if smartcast multi conds (part 1) (#10477) 2021-06-16 19:16:15 +03:00
Delyan Angelov 862c4cf371
v.checker,v.gen: allow for `&IAbc(voidptr(0))` where IAbc contains fields 2021-06-16 10:48:50 +03:00
Delyan Angelov e7cc93a120
v.checker: allow for a `f(unsafe{voidptr(0)})` call of `fn f(x &Interface){}` 2021-06-16 09:20:01 +03:00
yuyi ffcc6cf6d2
checker: fix `for in mut val` for floats (#10470) 2021-06-16 04:04:31 +03:00
yuyi bdc8586ddd
checker, cgen: fix `for in mut val` (#10444) 2021-06-15 04:43:10 +03:00
yuyi e5debbbe01
checker: implement smartcast if multi conds (part 1/2) (#10452) 2021-06-14 18:10:29 +03:00
Emily Hudson 535dcac8fa
net: ipv6 support, merge unix+ip;[pack:x] attribute (#9904) 2021-06-13 23:53:38 +03:00
yuyi cab054c1ba
checker: simplify checking array append type mismatch (#10422) 2021-06-13 06:29:40 +03:00
Uwe Krüger 2ac39d9112
all: new function `isreftype(T)` to know if `T` contains pointers (#10438) 2021-06-13 06:26:13 +03:00
Delyan Angelov 2ff0f62866
v: fix passing `-arch arm64` to `$if arm64{}` 2021-06-13 01:15:35 +03:00
Alexander Medvednikov 9ac661be5a checker: use a correct type name in an error 2021-06-12 17:28:30 +03:00
pancake 3b6045865b
checker: improve error message when using fields as methods (#10367) 2021-06-12 15:15:25 +03:00
Alexander Medvednikov 635f045b14 ast: make is_int() work with aliases 2021-06-12 14:35:38 +03:00
Alexander Medvednikov 6761697088 checker: do not allow dereferencing function calls on the left side of an = 2021-06-11 16:07:41 +03:00
crthpl 6576d876fc
cgen: support a `[_naked]` fn attribute (#10418) 2021-06-11 11:03:39 +03:00
yuyi 7878bad95e
checker: check array type mismatch of array append (#10405) 2021-06-10 21:34:36 +03:00
shadowninja55 10b9ea3258
checker: add an error for assigning to array slices `a[..2] = [0, 0]` (#10412) 2021-06-10 19:18:14 +03:00
Delyan Angelov 115edff7e9
v.checker: restrict `x T` in `fn test<T>(x T){ unsafe{ println(x[0]) }`, but allow `x &T` 2021-06-09 12:07:08 +03:00
Delyan Angelov f351ff037e
Revert "checker: check generic type indexing error (#10345)"
This reverts commit 103c777ad6.

Passing references to values should be allowed, and is already used in vinix:
`pub fn cas<T>(_here &T, _ifthis T, writethis T) bool {`
2021-06-09 11:46:17 +03:00
yuyi 49de1f8e64
checker: cleanup in infix_expr() (#10368) 2021-06-09 00:06:29 +03:00
yuyi 103c777ad6
checker: check generic type indexing error (#10345) 2021-06-08 17:23:44 +03:00
yuyi 0615f2e236
checker: check generic method receivers with no type parameter (#10374) 2021-06-07 12:11:29 +03:00
crthpl 8a497080b3
cgen: fix assembly in generic fns (#10370) 2021-06-07 10:53:33 +03:00
Lukas Neubert c14b357fec
checker: fix enums in builtin (#10366) 2021-06-06 16:27:46 +03:00
yuyi 329a6c974e
table, checker, cgen: implement generic fn infering fixed array (#10352) 2021-06-06 01:11:08 +03:00
Lukas Neubert 3f00ff465b
checker: check or block inside println calls (#10354) 2021-06-05 23:01:58 +03:00
yuyi 8af7558e0c
checker: minor cleanup of return_stmt() (#10315) 2021-06-05 14:06:48 +03:00
Lukas Neubert dc431a3c47
checker: prevent enum value duplication check bypass (#10287) 2021-06-05 12:28:17 +03:00
crthpl 9553c5a4e6
parser: fix multiple output modifiers in asm (#10347) 2021-06-04 23:18:11 +03:00