aboutsummaryrefslogtreecommitdiff
path: root/test/compile_errors.zig
AgeCommit message (Collapse)Author
2020-08-30Remove @OpaqueTypeTadeo Kondrak
2020-08-24fix error note using invalid source nodeVexu
Closes #6153
2020-08-24add error checks to `@Type`Vexu
2020-08-21Update compile-errors test for @Type(.Enum) changesTadeo Kondrak
2020-08-21Implement @Type for EnumTadeo Kondrak
2020-08-20Merge pull request #6103 from Vexu/externAndrew Kelley
Disallow extern variables with initializers.
2020-08-20disallow extern variables with initializersVexu
2020-08-19Update compile-errors test for @Type(.Struct)Tadeo Kondrak
2020-08-18Merge pull request #5495 from xackus/fix_5314Veikka Tuominen
stage1: fix non-exhaustive enums with one field
2020-08-18stage1: update compile error testsAndrew Kelley
follow-up to 56c81c713f749f858089e5bcdf9e6fac588bcf86
2020-08-17Handle singular param count word in error messages (#6073)Ashish Shekar
2020-08-17fix cast from invalid non-exhaustive enum to unionVexu
2020-08-17disallow '_' prong when switching on non-exhaustive tagged unionVexu
A tagged union cannot legally be initiated to an invalid enumeration
2020-08-15stage1: remove buggy "unable to inline function" compile errorAndrew Kelley
We still want this compile error but I'm giving up on implementing it correctly in stage1. It's been buggy and has false positives sometimes. I left the test cases there, but commented out, so that when we go through the stage1 compile error cases and get coverage for them in stage2 we can reactivate the test cases. closes #2154
2020-08-13add error for unused/duplicate block labelsVexu
2020-08-02add compile error for alignCasting zero sized typesVexu
2020-07-28add helpful error note for when function cannot return an errorVexu
This has caused frequent confusion since it looks like you are handling errors correctly with a try but you forgot to change your return type.
2020-07-26Merge pull request #5693 from antlilja/switch-unreachable-elseAndrew Kelley
Add error message for unreachable else prong in switch
2020-07-24Revert "Support taking extern pointers at comptime"Andrew Kelley
This reverts commit d3ebd428650748e60db70dd2171cc044855814b1. This caused a build failure on multiple targets.
2020-07-24Support taking extern pointers at comptimeyvt
This commit makes it possible to obtain pointers to `extern` variables at comptime. - `ir_get_var_ptr` employs several checks to determine if the given variable is eligible for obtaining its pointer at comptime. This commit alters these checks to consider `extern` variables, which have runtime values, as eligible. - After this change, it's now possible for `render_const_val` to be called for `extern` variables. This commit modifies `render_const_val` to suppress the value generation for `extern` variables. - `do_code_gen` now creates `ZigValue::llvm_global` of `extern` variables before iterating through module-level variables so that other module-level variables can refer to them. This solution is incomplete since there are several cases still failing: - `global_var.array[n..m]` - `&global_var.array[i]` - `&global_var.inner_struct.value` - `&global_array[i]` Closes #5349
2020-07-18fix floatCast type check regressionVexu
Closes #5900
2020-07-13check for invalid sentinel when creating pointer with `@Type`Vexu
2020-07-12update compile error tests and some doc commentsVexu
2020-07-11use correct cast function when doing `@floatCast` at comptimeVexu
2020-07-08fix missing check on extern variables with no typeVexu
2020-07-01Add new error message for unreachable else prongsantlilja
* Adds error message for types: enum, int and bool * Adds compile error tests
2020-06-28Merge pull request #5696 from alexnask/async_call_tupleAndrew Kelley
@asyncCall now takes arguments as a tuple instead of varargs
2020-06-24Fix issue #5618 (#5685)arbrk1
* fix issue #5618 * A test for the issue #5618 added. Also inserted a comma in the neighboring test to make it more zigfmt-friendly.
2020-06-24Small fixes, fixed tests, added test for argument tuple typeAlexandros Naskos
2020-06-23Add duplicate checking for switch on typesantlilja
* Add compile error tests
2020-06-21Make unary minus for unsigned types a compile error (#5654)Robin Voetter
* Make unary minus for unsigned types a compile error * Add unreachable when generating unsigned negate
2020-06-18add tests for `@src`Vexu
2020-06-09Expose full llvm intrinsicJakub Konka
2020-06-09Add basic tests for the new builtinsJakub Konka
2020-06-08stage1: fix crash on slice byte reinterpretationxackus
2020-05-29Support equality comparison for optional to non-optional (?T ==/!= T)foobles
extracted function ir_try_evaluate_bin_op_const extracted type_is_self_comparable function renamed ir_try_evaluate_bin_op_const to ir_try_evaluate_bin_op_cmp_const implemented analysis of ?T == T added ir_set_cursor_at_end_and_append_basic_block_gen use build_br_gen and ir_set_cursor_at_end_and_append_block_gen added ir_append_basic_block_gen removed include of all_types in ir.cpp extracted compile-time and runtime evaluation of cmp_optional_non_optional to separate functions closes #5390 closes #1332
2020-05-26Add matching compile error testJakub Konka
2020-05-17Merge pull request #5057 from xackus/opaque-paramAndrew Kelley
stage1: fix assert fail on opaque fn ptr param
2020-05-11stage1: detect underflow in bigint_fits_in_bitsxackus
2020-05-08Merge pull request #4932 from Qix-/fix-private-accessVexu
Fix private access
2020-05-08add failing test for #4909Josh Junon
2020-05-07stage1: handle all cases of invalid struct field default valuexackus
2020-05-05update docs/tests for async/extern fn removalTadeo Kondrak
2020-05-05Merge pull request #5272 from tadeokondrak/noasync-to-nosuspendAndrew Kelley
Noasync to nosuspend
2020-05-05update tests for nosuspendTadeo Kondrak
2020-05-04fix missing compile error on call assigned to constVexu
2020-05-04stage1: fix assert fail on opaque fn ptr paramxackus
2020-04-28Merge pull request #5196 from tadeokondrak/@vector-to-@type-vectorAndrew Kelley
`@Vector` -> `@Type(.Vector)`
2020-04-28@Vector -> std.meta.VectorTadeo Kondrak
2020-04-28@OpaqueType -> @Type(.Opaque)Tadeo Kondrak