485 commits

Author	SHA1	Message	Date
LemonBoy	28dbc58837	Address review comments	2020-03-21 09:54:49 +01:00
Andrew Kelley	160367e0dd	fix compile error for reading past end of pointer casted array	2020-03-19 17:23:53 -04:00
Andrew Kelley	61266d2621	test & docs fixups to work with new semantics	2020-03-19 09:53:55 -04:00
Andrew Kelley	f51bec321b	Merge pull request #4707 from Vexu/small-atomics ... Support atomic operations with bools and non power of two integers	2020-03-12 18:55:16 -04:00
Vexu	710b05b153	support @atomicRmw at comptime	2020-03-12 16:46:16 +02:00
Vexu	ee5b00a8b9	use atomic bools in std lib	2020-03-10 22:54:47 +02:00
LemonBoy	300fceac6e	ir: Implement more safety checks for shl/shr ... The checks are now valid on types whose size is not a power of two. Closes #2096	2020-03-10 20:54:05 +01:00
Andrew Kelley	675f01f176	Merge pull request #4590 from xackus/fix-4587 ... fix failed assert on generic fn opaque return type	2020-03-09 22:10:57 -04:00
xackus	e7cc456421	better error messages and more tests	2020-03-09 22:33:18 +01:00
Vexu	3fd2cd4367	add LemonBoy's test	2020-03-09 18:43:09 +02:00
Vexu	3618256c97	implement noasync scopes	2020-03-09 12:33:24 +02:00
LemonBoy	e2fd289a33	ir: Create usize result_loc for array subscript expr ... Allow the subscript expression to infer the resulting type. Closes #4169	2020-03-08 18:52:44 -04:00
LemonBoy	06d0dac0fb	ir: Prevent crash in compiler error ... Anonymous containers have no struct_field->type AstNode set, let's always use the field node itself to make the error messages consistent. Closes #4691	2020-03-08 18:12:50 -04:00
xackus	7782c76bee	fix failed assert on generic fn opaque return type	2020-03-08 18:05:45 +01:00
daurnimator	b85bb152bf	Fix grammar in error message	2020-03-08 19:18:06 +11:00
LemonBoy	0c310f0fbf	ir: Implement @TypeOf with multiple arguments ... Closes #439	2020-03-04 17:21:10 -05:00
Andrew Kelley	dbe4d72bcf	separate std.Target and std.zig.CrossTarget ... Zig now supports a more fine-grained sense of what is native and what is not. Some examples: This is now allowed: -target native Different OS but native CPU, default Windows C ABI: -target native-windows This could be useful for example when running in Wine. Different CPU but native OS, native C ABI. -target x86_64-native -mcpu=skylake Different C ABI but otherwise native target: -target native-native-musl -target native-native-gnu Lots of breaking changes to related std lib APIs. Calls to getOs() will need to be changed to getOsTag(). Calls to getArch() will need to be changed to getCpuArch(). Usage of Target.Cross and Target.Native need to be updated to use CrossTarget API. `std.build.Builder.standardTargetOptions` is changed to accept its parameters as a struct with default values. It now has the ability to specify a whitelist of targets allowed, as well as the default target. Rather than two different ways of collecting the target, it's now always a string that is validated, and prints helpful diagnostics for invalid targets. This feature should now be actually useful, and contributions welcome to further improve the user experience. `std.build.LibExeObjStep.setTheTarget` is removed. `std.build.LibExeObjStep.setTarget` is updated to take a CrossTarget parameter. `std.build.LibExeObjStep.setTargetGLibC` is removed. glibc versions are handled in the CrossTarget API and can be specified with the `-target` triple. `std.builtin.Version` gains a `format` method.	2020-02-28 14:51:54 -05:00
Andrew Kelley	87b9e744dd	update std lib to new Target API	2020-02-28 14:51:54 -05:00
LemonBoy	2696c8b42d	ir: Robust checking for init expr type ... Closes #3979	2020-02-27 10:40:22 -05:00
LemonBoy	fd1eade4ca	ir: Allow empty inferred error sets ... Closes #4564	2020-02-26 21:02:22 -05:00
Vexu	d505ea6caf	fix @tagName on extern and non-exhaustive enums	2020-02-26 11:19:39 -05:00
LemonBoy	55ea855e2c	ir: Various fixes for comptime ptr handling ... * Correctly fold ptrToInt on optional types * Generate null as ConstPtrSpecialNull in intToPtr * Correctly stop ptrToInt on ?*T where T is zero-sized Closes #4535	2020-02-25 17:38:56 -05:00
Vexu	d56115ef41	remove @IntType and @ArgType (mostly) from the compiler	2020-02-25 01:27:34 +02:00
Vexu	538d9a5dd8	remove uses of @ArgType and @IntType	2020-02-24 23:39:03 +02:00
Vexu	45da72c5b6	remove usages of @typeId, @memberCount, @memberName and @memberType	2020-02-24 23:09:01 +02:00
Andrew Kelley	1d06c82c3b	Merge pull request #4516 from xackus/remove-bytes-to-slice ... remove @bytesToSlice, @sliceToBytes from the language	2020-02-24 13:51:47 -05:00
xackus	7664c3bc11	remove @bytesToSlice, @sliceToBytes from tests, docs	2020-02-23 18:03:50 +01:00
Andrew Kelley	2de7d0b10c	fix zig build, ABI ABI, and update tests to new Target layout	2020-02-20 18:50:20 -05:00
Andrew Kelley	903127f36c	Merge remote-tracking branch 'origin/master' into sub-architecture-annihilation	2020-02-20 18:36:04 -05:00
Andrew Kelley	0f016b368d	support -mcpu=baseline, both in stage1 and stage2 ... See e381a42de9 for more details. This is set up so that if we wish to make "baseline" depend on the OS in the future, it is possible to do that.	2020-02-20 18:31:17 -05:00
LemonBoy	a385547786	ir: Compile error on result_loc type mismatch w/ slicing ... Closes #4508	2020-02-20 13:14:19 +01:00
Andrew Kelley	63383a8af8	consistent capitalization of error message	2020-02-19 01:24:19 -05:00
Andrew Kelley	30194f27fb	update new test case to take into account lazy @typeInfo	2020-02-18 18:27:18 -05:00
LemonBoy	a6b74cdd38	stage1: Make the parser reject extern fn with body	2020-02-18 18:18:29 -05:00
Andrew Kelley	ccca4b5a5e	Merge pull request #4474 from LemonBoy/saukerkraut ... Patches	2020-02-18 18:15:11 -05:00
Timon Kruiper	7560fc716d	Makes the declaration slice resolve lazely when using @typeInfo ... This way all the declarations in a container won't be resolved untill the user actually uses the decls slice in the builtin TypeInfo union.	2020-02-18 15:26:37 -05:00
LemonBoy	6b74fd2e12	ir: Avoid invalidating the decl_table iterator ... Collect the declarations to resolve first and run resolve_top_level_decl on them later. Closes #4310	2020-02-16 21:14:30 +01:00
LemonBoy	096f79260b	ir: Prevent crash when indexing undefined ptr to array ... Closes #4471	2020-02-16 19:53:53 +01:00
Andrew Kelley	70a4794c57	fix compiler assertion when duplicating fields... ... ...in nested anonymous struct literals closes #4391	2020-02-10 10:57:40 -05:00
Andrew Kelley	014f66e6de	Merge pull request #4404 from ziglang/async-std ... a big step towards std lib integration with async I/O	2020-02-10 00:22:59 -05:00
Andrew Kelley	27575d19c8	avoid conflict with master branch	2020-02-09 22:44:23 -05:00
Andrew Kelley	acdf4048b4	allow local variable address detection to regress ... See #3180 for a more comprehensive plan to catch this problem. More sophisticated control flow analysis is needed to provide compile errors for returning local variable addresses from a function.	2020-02-09 22:40:36 -05:00
Andrew Kelley	5ea79bfc4a	fix not checking type of return pointer ... Thanks to Vexu for the test cases. Closes #3422 Closes #3646 Closes #3224 Closes #3327 Closes #3269	2020-02-09 22:34:34 -05:00
LemonBoy	21932a0ef2	Fix edge case in cast between fn with varargs ... * Prevent the next_param_index to become greater than the param_count one as it's expected by every other function. * Fix a typo in a error message. Closes #4381	2020-02-05 20:31:18 +01:00
Benjamin Feng	b077f3ab7d	Promoted "leak_count_allocator" to the main testing.allocator	2020-01-29 22:22:00 -06:00
Benjamin Feng	aa9caf5064	Create leak_count_allocator	2020-01-29 14:37:01 -06:00
Benjamin Feng	4d134a01f5	Move debug.global_allocator to testing.allocator	2020-01-29 12:21:29 -06:00
Andrew Kelley	504ce86ac9	fix more compile error test regressions	2020-01-28 14:17:25 -05:00
Andrew Kelley	f41e50dc08	Merge branch 'fx-4274' of https://github.com/LemonBoy/zig into LemonBoy-fix-4274	2020-01-27 09:52:31 -05:00
LemonBoy	8d9b8ab930	More error checking for unresolved TLDs ... Closes #4274	2020-01-23 22:40:12 +01:00