Commit Graph

4727 Commits (3ccde5ce55ff4bea3c76c78e237225b1637312af)

Author SHA1 Message Date
Flinner 1486258591
strconv: fix `atoi` returning 0 on large strings (#10635) 2021-07-02 10:39:57 +03:00
yuyi abbf71c794
ast.table: cleanup type_implements_interface() (#10643) 2021-07-02 10:18:04 +03:00
Delyan Angelov a33a2ba095
checker: check for `x := []Interface{len: 9}` without `init:` 2021-07-02 08:37:49 +03:00
Enzo d0a09579cc
cgen: cleanup `Gen.gen_*_equality_fn` (#10633) 2021-07-01 15:42:49 +03:00
yuyi 8b901df366
table: optimize generated code for an empty interface (#10624) 2021-07-01 12:25:40 +03:00
Alexander Medvednikov 41e88423aa Revert "builtin: use == 0 instead of isnil()"
This reverts commit 8650ec6916.
2021-07-01 06:21:03 +03:00
Daniel Däschle 3881e97a40
vlib: remove ustring usage (#10618) 2021-06-30 22:30:28 +03:00
div72 9d02ca51d1
checker: relax naming requirements for translated code (#10619) 2021-06-30 14:47:13 +03:00
Enzo b351aa1289
gen: cleanup `Gen.array init` (#10613) 2021-06-30 09:45:18 +03:00
Daniel Däschle 6838030ab5
builtin: add string.runes() (#10611) 2021-06-30 09:17:38 +03:00
yuyi 1e896c7020
checker: check optional interface type mismatch (#10617) 2021-06-30 08:54:28 +03:00
shadowninja55 f029f7e897
checker: prohibit `char.str()`, add tests (#10615) 2021-06-30 08:16:31 +03:00
yuyi 00333806e0
cgen: minor cleanup in cheaders.v (#10610) 2021-06-29 22:35:36 +03:00
yuyi aaee251550
cgen: simplify auto_str_methods.v (#10606) 2021-06-29 18:47:03 +03:00
Delyan Angelov d5ee60b4a1 v.builder: use a github repo for ~/.vmodules/linuxroot/ folder, to ease its updating 2021-06-29 13:05:43 +03:00
shadowninja55 f45f30a9c2
checker, cgen: fix aliased array methods (#10603) 2021-06-29 12:14:37 +03:00
yuyi 04221475d1
cgen: fix go call interface method (fix #10520) (#10602) 2021-06-29 11:16:15 +03:00
yuyi 2bcc733ff6
v.parser: rename pratt.v to expr.v (#10566) 2021-06-28 19:35:06 +03:00
shadowninja55 06a6a8e199
checker: check for empty branches in match expressions (#10593) 2021-06-28 19:32:28 +03:00
Delyan Angelov 63638fd271
cgen: optimize generated array.index(elem) 2021-06-28 17:45:13 +03:00
yuyi 4af4f2b5a5
cgen: fix `go fn(mut x Interface){ println(x) }(x)` (#10585) 2021-06-28 16:31:11 +03:00
yuyi 0ac0ab6b4b
cgen: fix auto str for sumtype with alias (#10599) 2021-06-28 14:17:00 +03:00
Lukas Neubert 1492eae27d
v.fmt: keep selective type imports used for casting (#10597) 2021-06-28 13:21:26 +03:00
shadowninja55 2e5ed08558
v.parser: allow anonymous function to return a function (#10592) 2021-06-28 11:51:24 +03:00
Delyan Angelov 8650ec6916
builtin: use == 0 instead of isnil()
Do not rely on C inlining that may not happen for a *very* frequently
called fn in lower level code.
2021-06-28 10:59:14 +03:00
shadowninja55 830cf4645c
v.parser: prohibit registering selectively imported (structs / enums / aliases / interfaces) (#10579) 2021-06-28 10:26:09 +03:00
yuyi 67d1b72e36
cgen: fix interface with nested fields (fix #10077) (#10589) 2021-06-28 10:24:05 +03:00
Delyan Angelov c3b9eaf146
v.c.gen: fix codegen of auto str methods for structs having &voidptr fields 2021-06-28 10:05:42 +03:00
spaceface 4bed4afef7
cgen: fix clash in generated variant and method names (#10581) 2021-06-27 19:05:32 +03:00
shadowninja55 ea3983a91b
checker: require .sort() body for some types (#10550) 2021-06-27 17:17:03 +03:00
Delyan Angelov bafea57622
tests: move the test.bin output of macho_test.v to os.temp_dir() 2021-06-27 10:50:17 +03:00
yuyi 51075ffa15
cgen: fix fn mut val of interface type (#10568) 2021-06-26 18:13:48 +03:00
shadowninja55 eb5afb7403
checker: prohibit selective const imports (#10574) 2021-06-26 18:09:52 +03:00
Alexander Medvednikov 02f4f635cf cgen: remove debug comments before for loops 2021-06-26 02:06:02 +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 e797547d6d Revert "Revert "v.gen.c: remove unused memfreedup""
This reverts commit 72c12b6735.
2021-06-25 20:29:42 +03:00
Alexander Medvednikov 7458927593 checker: fix global fn calls 2021-06-25 20:26:24 +03:00
Alexander Medvednikov 72c12b6735 Revert "v.gen.c: remove unused memfreedup"
This reverts commit 6333adad23.
2021-06-25 20:15:27 +03:00
shadowninja55 9b84faad6f
v.parser: prohibit redeclaration of imported functions (#10564) 2021-06-25 14:27:58 +03:00
shadowninja55 be8be3d319
v.parser: prohibit redeclaration of builtin types (#10563) 2021-06-25 13:08:56 +03:00
yuyi e9de30373f
table: fix interface embedding with interface parameter (#10567) 2021-06-25 12:52:25 +03:00
yuyi e3ea5c1e17
v.ast: cleanup Table.resolve_generic_to_concrete/3 (#10559) 2021-06-24 18:21:18 +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
yuyi 93bb87f44f
cgen: simplify auto_str_methods (#10544) 2021-06-23 20:13:14 +03:00
yuyi e8a1e9d88f
cgen: fix interface only declare with optional method (#10546) 2021-06-23 15:14:08 +03:00
crthpl 500b48788e
parser, cgen: fix basic asm registers, fix numbered labels in addressing, support indirect branching (#10545) 2021-06-23 14:20:07 +03:00
Delyan Angelov 69227b8be7
tests: bump up sleep times in break_in_lock_test.v, so that its results are stabler 2021-06-23 14:14:53 +03:00
Delyan Angelov 6333adad23
v.gen.c: remove unused memfreedup 2021-06-23 12:22:05 +03:00
Delyan Angelov a588e50b47
v.gen.c: remove unused g_str_buf 2021-06-23 12:22:04 +03:00
Yuriy Zymlex 6736817bba
parser: fix `rewind_scanner_to_current_token_in_new_mode` (#10495) 2021-06-22 20:17:36 +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
yuyi 0aef92b613
cgen: cleanup auto_str_methods() (#10540) 2021-06-22 14:28:44 +03:00
Uwe Krüger 72358833e0
time: use `Duration(C.INT64_MAX)` as infinite (#10539) 2021-06-22 12:17:44 +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
Rémi d65aa977b8
v.gen.native: cleanup, remove unused hi.s (#10538) 2021-06-22 09:55:27 +03:00
yuyi 6dbe8a8a2c
cgen: fix for in mut reference selector val (fix #10524) (#10536) 2021-06-21 19:25:18 +03:00
yuyi da4b6b934d
checker: fix map assign array of interface values (#10532) 2021-06-21 19:24:42 +03:00
Delyan Angelov 71523c86a1
v.util: simplify smart_quote more 2021-06-21 16:08:19 +03:00
yuyi 5d0e9417db
cgen: minor simplification of gen_str_for_struct() (#10533) 2021-06-21 14:19:52 +03:00
Delyan Angelov 45c6b6493b
v.util: make util.smart_quote use its output string builder directly 2021-06-21 09:13:38 +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
yuyi 6c8182cc25
cgen: fix assigning literal fixed arrays to map values (#10525) 2021-06-20 13:36:01 +03:00
Enzo 44d0305ca9
checker,gen: remove automatic string to C string conversion (#10144) 2021-06-20 09:30:08 +03:00
yuyi afc81277be
v.gen.c: fix assigning a fixed array variable to a map value (#10523) 2021-06-20 08:09:24 +03:00
crthpl 71b41d1042
ast.table: fix anonymous function declaration uniqueness for non-tcc c compilers (#10509) 2021-06-19 19:02:26 +03:00
yuyi 1a52da9f62
tests: add as_cast_already_smartcast_sumtype_test.v (#10517) 2021-06-19 18:50:09 +03:00
yuyi 7ec55e4c51
v.ast: add comments for ast.AsCast (#10516) 2021-06-19 17:07:07 +03:00
Ryan Roden-Corrent 6171e12f9f
orm: don't panic for a psql query with no results. (#10511) 2021-06-19 09:10:49 +03:00
Delyan Angelov d56ae2d508
v.fmt: keep comments after struct embeds 2021-06-18 18:42:05 +03:00
Delyan Angelov 5dff8dc097
v.fmt: keep `[ ... \n 123, // end of line comment \n ... ]` as is 2021-06-18 16:43:03 +03:00
Delyan Angelov 9f6ddb4c21
v.fmt: add an independent Comment.is_inline flag. Use it for fixing `[ .. //x ]` => `[ .. //x, ]` 2021-06-18 15:52:31 +03:00
yuyi 2298063129
checker: fix nested if smartcast selector exprs (fix #10372 #10379) (#10502) 2021-06-18 14:49:15 +03:00
Enzo 05f0f3e180
v.gen.c: refactor infix expression (#10485) 2021-06-18 14:27:52 +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
crthpl 4abb1a8b7b
cgen: fix unknown labels in addressing (#10503) 2021-06-18 13:03:38 +03:00
Uwe Krüger 3f5aa5e634
sync: make `Semaphore.*wait()` robust against interrupts by signals (#10491) 2021-06-18 12:44:18 +03:00
yuyi a98d644637
cgen: fix fn mut args of array (#10493) 2021-06-18 02:51:55 +03:00
zakuro 751f2950ea
checker: skip checking `[required]` fields for struct update syntax (#10500) 2021-06-18 02:51:33 +03:00
crthpl 4688c75389
cgen, parser: fix several assembly bugs (#10498) 2021-06-18 01:20:46 +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
Delyan Angelov c2a7a84c72
v.parser: support for [if expr], part 1
Enables bootstrapping.
Supports the new [if x?] syntax, without using it.
2021-06-17 10:31:44 +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 2f35aad8ce
ci: fix tests-sanitize-memory-clang too 2021-06-16 13:32:37 +03:00
Delyan Angelov 9dff3c36a6
ci: fix failing `Self tests` task on the `windows-msvc` job 2 2021-06-16 12:44:55 +03:00
Delyan Angelov ed0af3fd88
ci: fix failing `Self tests` task on the `windows-msvc` job 2021-06-16 12:44:00 +03:00
Delyan Angelov e518cdbe7f
ci: fix msvc compilation of interface code 2021-06-16 12:15:16 +03:00
Delyan Angelov 69ce8baefd
v.ast: allow for `fn f()&IAbc{return voidptr(0)}` with no additional voidptr implicit conversions to compile 2021-06-16 11:07:04 +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 c3b9336f21
cgen: fix generic method receiver typeof name error (#10469) 2021-06-16 04:03:50 +03:00
Uwe Krüger f3408a2484
gc: use optimized mode by default (#10466) 2021-06-15 15:43:00 +03:00
Uwe Krüger 60c880a0cc
vlib: use `malloc_noscan()` where possible (#10465) 2021-06-15 14:47:11 +03:00
yuyi bdc8586ddd
checker, cgen: fix `for in mut val` (#10444) 2021-06-15 04:43:10 +03:00
Uwe Krüger 98a496d70c
tests: remove white space from file name (#10462) 2021-06-15 04:42:15 +03:00
Uwe Krüger a8437584aa
gc: extend optimized mode to channel buffers (#10443) 2021-06-14 18:12:47 +03:00
yuyi e5debbbe01
checker: implement smartcast if multi conds (part 1/2) (#10452) 2021-06-14 18:10:29 +03:00
Andreas Heissenberger 7983495c57
tools: improve `v check-md` by checking for broken TOC headline links (#10417) 2021-06-14 13:12:02 +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
yuyi a6eba7a9b4
cgen: simplify match_expr_classic() (#10424) 2021-06-13 06:27:31 +03:00
Uwe Krüger 5ee1ded3fb
gc: extend optimized mode to maps (#10426) 2021-06-13 06:26:43 +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 4a59316600
v.pref: remove 'unknown host CPU architecture' label to fix msvc CI 2021-06-13 03:05:00 +03:00
Delyan Angelov ed07f00729
v.checker: bump checker_match_exhaustive_cutoff_limit to 12 2021-06-13 02:04:08 +03:00
Delyan Angelov 9e270bacf7
v.pref: do not panic in get_host_arch, assume Arch.amd64 as a default 2021-06-13 01:45:13 +03:00
Delyan Angelov 2ff0f62866
v: fix passing `-arch arm64` to `$if arm64{}` 2021-06-13 01:15:35 +03:00
Delyan Angelov 5870751769
v.gen.c: use the __V_architecture macro in v.pref.get_host_arch() 2021-06-13 00:49:30 +03:00
Delyan Angelov dc1c8820cc
Revert "Revert "v.gen.c: add a __V_architecture macro""
This reverts commit 339f2cd180.
2021-06-13 00:46:27 +03:00
Delyan Angelov dc654b0121
Revert "v.gen.c: use the __V_architecture macro in v.pref.get_host_arch()"
This reverts commit 5452ba4653.
2021-06-12 23:15:48 +03:00
Delyan Angelov 339f2cd180
Revert "v.gen.c: add a __V_architecture macro"
This reverts commit 6e9218c088.
2021-06-12 23:15:36 +03:00
Delyan Angelov 5452ba4653
v.gen.c: use the __V_architecture macro in v.pref.get_host_arch() 2021-06-12 22:15:08 +03:00
Delyan Angelov 6e9218c088
v.gen.c: add a __V_architecture macro 2021-06-12 22:01:00 +03:00
yuyi 0e34ce2759
cgen: format generated code in match_expr() (#10397) 2021-06-12 21:14:08 +03:00
Delyan Angelov 9f2dc7332f
gen.v.c: fix -usecache with modules having dump() 2021-06-12 18:10:55 +03:00
Alexander Medvednikov 9ac661be5a checker: use a correct type name in an error 2021-06-12 17:28:30 +03:00
Uwe Krüger 6acf32b869
v.parser: prepare for splitting of `map.v` (#10432) 2021-06-12 17:01:37 +03:00
Delyan Angelov e70bde54dc
ast: improve Expr.str() for `sizeof(Type)` and `__offsetof(StructName, fieldname)`, for more informative asserts/dumps 2021-06-12 16:49:14 +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 d0100faf26 all: fix sanitizer build 2021-06-11 18:41:50 +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
Uwe Krüger daeeaef030
vfmt: hot fix to allow separate `array_d_gcboehm_opt.v` (#10413) 2021-06-11 12:00:18 +03:00
yuyi f26626117d
cgen: fix match struct type cond (#10421) 2021-06-11 11:58:25 +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
yuyi 9d852e22b2
cgen: fix match array or map cond (#10411) 2021-06-10 21:33:35 +03:00
Uwe Krüger 0e2c86310a
GC-boehm: extend optimized mode to all `array` methods (#10406) 2021-06-10 21:26:17 +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
Andreas Heissenberger 96c8d147b2
v.gen.js: add source map creation support (inline only, no src) (#10384) 2021-06-10 08:33:46 +03:00
Enzo 14519bbf5c
cgen: clean up interface methods generation (#10400) 2021-06-09 22:44:18 +03:00
Uwe Krüger 811a3e1d38
builtin: optimize `array.repeat()` (#10396) 2021-06-09 12:52:30 +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
Uwe Krüger a2243054a5
builtin: fix memory corruption in array `.clone()` and `.repeat()` (#10394) 2021-06-08 23:23:28 +03:00
Delyan Angelov 3dc4d13160
v.parser: do not treat test_ functions specially outside of _test.v files 2021-06-08 23:01:49 +03:00
Delyan Angelov 000790b112
vfmt: fix eating JS. from `JS.Struct{}` 2021-06-08 21:27:05 +03:00
Delyan Angelov f9c4365dc7
v.gen.c: free `indents` in autogenerated .str() methods 2021-06-08 17:24:08 +03:00
yuyi 103c777ad6
checker: check generic type indexing error (#10345) 2021-06-08 17:23:44 +03:00
Delyan Angelov 9f6c4030f6 tests: fix `-cstrict` self compilation on m0 with clang 2021-06-07 18:23:18 +03:00
Delyan Angelov 4772146a7e tests: fix failing tests on M1 2021-06-07 18:23:18 +03:00
Lukas Neubert 98cdde8247
assert: print enum value of CTempVars on fail (#10378) 2021-06-07 15:49:48 +03:00