mirror/zig
1
0
Fork 0
mirror of https://github.com/ziglang/zig.git synced 2025-12-24 23:23:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
zig/test/behavior
History
Martin Hafskjold Thoresen 07f64a2e13 Sema: error on ambiguous coercion of comptime float and ints 
The following, from the documentation as of the time of writing, illustrates
the problem:

```zig
// Compile time coercion of float to int
test "implicit cast to comptime_int" {
    var f: f32 = 54.0 / 5;
    _ = f;
}
```

It is not clear how to unify the types of 54.0 and 5 to perform the
division. We can either

 - cast 54.0 to comptime_int resulting in @as(comptime_int, 10), which is
   casted to @as(f32, 10), or
 - cast 5 to comptime_float resulting in @as(comptime_float, 10.8), which
   is casted to @as(f32, 10.8)

Since the two resulting values are different, a compiler error is appropriate.

If we know that casting to either type will result in the same value we
don't need to error.  For instance, 10.0 / 2 is okay, as is 10 / 2.0.

Fixes: #12364
2022-08-17 14:09:09 -07:00
..
bugs
stage2 astgen: Use rl semantics for @Type
2022-08-13 09:22:25 +03:00
hasdecl
move behavior tests from test/stage1/ to test/
2021-04-29 15:54:04 -07:00
import
move behavior tests from test/stage1/ to test/
2021-04-29 15:54:04 -07:00
namespace_depends_on_compile_var
move behavior tests from test/stage1/ to test/
2021-04-29 15:54:04 -07:00
pub_enum
move behavior tests from test/stage1/ to test/
2021-04-29 15:54:04 -07:00
usingnamespace
std: fix regressions from this branch
2021-09-01 17:54:07 -07:00
align.zig
Sema: don't add union field access safety check for single field unions
2022-07-23 15:40:12 +03:00
alignof.zig
x64: pass more behavior tests
2022-02-28 23:20:05 +01:00
array.zig
Sema: fix coerceResultPtr
2022-07-14 18:11:46 -07:00
asm.zig
stage2: fix some inline asm incompatibilities with stage1
2022-06-12 14:46:05 -07:00
async_fn.zig
behavior tests: disable failing stage1 test
2022-03-23 14:06:07 -07:00
atomics.zig
stage2: sparc64: Skip Sema-failing tests for now
2022-06-24 21:19:33 +07:00
await_struct.zig
behavior tests: disable failing stage1 test
2022-03-23 14:06:07 -07:00
basic.zig
Sema: ignore current declaration in ambiguous reference error
2022-08-16 16:37:27 +03:00
bit_shifting.zig
stage2 AArch64: Enable behavior testing
2022-02-14 22:33:01 +01:00
bitcast.zig
Sema: validate bitcast operand type
2022-08-01 23:37:01 +03:00
bitreverse.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
bool.zig
C backend: fix @boolToInt
2021-10-28 17:33:05 -07:00
byteswap.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
byval_arg_var.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
call.zig
stage2: generate call arguments in separate blocks
2022-08-09 16:19:55 +03:00
cast_int.zig
organize behavior tests
2022-03-18 15:02:52 -07:00
cast.zig
disable failing behavior test
2022-08-10 16:13:59 -07:00
comptime_memory.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
const_slice_child.zig
Sema: implement @truncate for SIMD vectors
2022-03-15 15:09:48 -07:00
decltest.zig
stage2: add decltests
2022-02-13 14:42:20 +02:00
defer.zig
Sema: implement zirRetErrValueCode
2022-06-08 15:51:48 -07:00
enum.zig
stage2 llvm: ensure @tagName functions are unique
2022-06-30 21:47:25 +03:00
error.zig
stage2: fix airIsErr when is_ptr == true
2022-07-22 21:07:55 +03:00
eval.zig
Sema: fix expansion of repeated value
2022-08-10 15:18:09 -04:00
export_self_referential_type_info.zig
stage2: fix mem{set,cpy} for non comptime mutable pointers
2022-03-08 11:23:38 +02:00
export.zig
Sema: fix export with Internal linkage
2022-04-24 20:24:37 -07:00
field_parent_ptr.zig
wasm: Enable passing behavior tests
2022-03-09 13:53:20 -07:00
floatop.zig
Sema: error on ambiguous coercion of comptime float and ints
2022-08-17 14:09:09 -07:00
fn_delegation.zig
stage2 AArch64: complete genTypedValue
2022-05-27 16:43:11 -04:00
fn_in_struct_in_comptime.zig
Merge remote-tracking branch 'origin/master' into stage2-whole-file-astgen
2021-05-08 14:45:21 -07:00
fn.zig
AstGen: fix ref instruction injection for functions
2022-07-27 16:19:23 -07:00
for.zig
AstGen: fix loop control flow applying to wrong loop
2022-07-13 16:10:41 -07:00
generics.zig
Sema: fix generics with struct literal coerced to tagged union
2022-08-17 13:02:57 -07:00
hasdecl.zig
Merge remote-tracking branch 'origin/master' into stage2-whole-file-astgen
2021-05-08 14:45:21 -07:00
hasfield.zig
Sema: make @hasField support tuples too
2022-03-11 12:59:20 -07:00
if.zig
Sema: fix coerceResultPtr
2022-07-14 18:11:46 -07:00
import.zig
lint: duplicate import (#10519)
2022-01-07 00:06:06 -05:00
incomplete_struct_param_tld.zig
aarch64: add airRetLoad for register mcv
2022-06-29 17:19:49 +02:00
int128.zig
wasm: enable 128bit integer behavior tests
2022-05-18 07:43:33 +02:00
int_div.zig
CBE: implement mod, divFloor, divTrunc
2022-03-19 21:01:36 -04:00
inttoptr.zig
stage2 AArch64: add more slice support
2022-03-05 11:31:51 +01:00
ir_block_deps.zig
x64: pass more behavior tests
2022-02-28 23:20:05 +01:00
math.zig
stage2: Handle lazy values for the % operator
2022-08-10 14:48:27 +02:00
maximum_minimum.zig
wasm: Enable passing behavior tests
2022-04-02 21:54:01 +02:00
member_func.zig
Port more behavior tests
2022-02-22 21:57:42 +01:00
merge_error_sets.zig
CBE: enable more tests that are currently passing
2022-03-17 11:39:56 -07:00
muladd.zig
Revert "wasm: Enable f16 behavior tests"
2022-06-24 08:12:17 +02:00
namespace_depends_on_compile_var.zig
CBE: enable more tests that are currently passing
2022-03-17 11:39:56 -07:00
null.zig
CBE: enable more tests that are currently passing
2022-03-17 11:39:56 -07:00
optional.zig
stage2 AArch64: complete genTypedValue
2022-05-27 16:43:11 -04:00
packed_struct_explicit_backing_int.zig
stage2: Implement explicit backing integers for packed structs
2022-08-10 19:54:45 +02:00
packed-struct.zig
Sema: validate packed struct field types
2022-08-01 23:59:40 +03:00
pointers.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
popcount.zig
wasm: enable 128bit integer behavior tests
2022-05-18 07:43:33 +02:00
prefetch.zig
stage1: implement @prefetch() builtin
2021-12-11 00:29:31 +01:00
ptrcast.zig
wasm: Write nops for padding debug info
2022-05-09 18:51:46 +02:00
pub_enum.zig
Merge remote-tracking branch 'origin/master' into stage2-whole-file-astgen
2021-05-08 14:45:21 -07:00
ref_var_in_if_after_if_2nd_switch_prong.zig
Port more behavior tests
2022-02-22 21:57:42 +01:00
reflection.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
saturating_arithmetic.zig
wasm: enable passing behavior tests
2022-06-19 17:27:56 +02:00
select.zig
sema: coerce inputs to vectors in zirSelect
2022-03-25 19:14:11 +01:00
shuffle.zig
mark some more behavior tests as passing
2022-05-25 00:12:56 -07:00
sizeof_and_typeof.zig
Sema: validate packed struct field types
2022-08-01 23:59:40 +03:00
slice_sentinel_comptime.zig
std, src, doc, test: remove unused variables
2021-06-21 17:03:03 -07:00
slice.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
src.zig
stage2: introduce anonymous struct literals
2022-03-01 23:46:57 -07:00
struct_contains_null_ptr_itself.zig
stage2 ARM: genSetStack for stack_argument_offset
2022-03-16 20:19:58 +01:00
struct_contains_slice_of_itself.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
struct.zig
remove 'builtin.stage2_arch', Sema is smart enough now
2022-08-07 16:07:08 -07:00
switch_prong_err_enum.zig
wasm: Enable passing behavior tests
2022-03-09 13:53:20 -07:00
switch_prong_implicit_cast.zig
wasm: Enable passing behavior tests
2022-03-09 13:53:20 -07:00
switch.zig
Sema: better safety check on switch on corrupt value
2022-08-05 22:13:57 +03:00
this.zig
stage2 AArch64: add more slice support
2022-03-05 11:31:51 +01:00
translate_c_macros.h
translate-c: take address of functions before passing them to @ptrToInt
2022-07-27 14:03:08 +03:00
translate_c_macros.zig
translate-c: take address of functions before passing them to @ptrToInt
2022-07-27 14:03:08 +03:00
truncate.zig
stage2 AArch64: Add ldrsb, ldrsh instructions
2022-04-19 22:40:48 +02:00
try.zig
stage2 AArch64: add more slice support
2022-03-05 11:31:51 +01:00
tuple.zig
Sema: implement coercion from tuples to tuples
2022-07-30 00:18:08 +03:00
type_info.zig
stage2: Implement explicit backing integers for packed structs
2022-08-10 19:54:45 +02:00
type.zig
disable failing behavior test
2022-08-10 16:43:47 -07:00
typename.zig
stage2: improve anon name strategy for local variables
2022-06-11 23:49:33 +03:00
undefined.zig
stage2: improve @typeName
2022-03-18 00:12:22 -07:00
underscore.zig
stage2 ARM: fix recursive fibonacci
2022-05-22 21:02:32 +02:00
union_with_members.zig
organize behavior tests
2022-03-18 15:02:52 -07:00
union.zig
LLVM: fix returning extern union with C callconv
2022-07-27 17:56:15 -07:00
usingnamespace.zig
Sema: fix usingnamespace decl Value in wrong arena
2022-03-30 17:24:01 -07:00
var_args.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
vector.zig
stage2: fix crash with comptime vector reduce
2022-08-10 16:45:29 -07:00
void.zig
stage2 AArch64: complete genTypedValue
2022-05-27 16:43:11 -04:00
wasm.zig
stage2: cleanups to wasm memory intrinsics
2022-03-03 18:31:55 -07:00
while.zig
AstGen: fix loop control flow applying to wrong loop
2022-07-13 16:10:41 -07:00
widening.zig
stage2 ARM: implement basic intCast and error union wrapping
2022-06-25 21:16:51 +02:00
wrapping_arithmetic.zig
stage1: fix saturating arithmetic producing incorrect results on type comptime_int, allow saturating left shift on type comptime int
2022-01-29 18:12:28 +02:00