diff --git a/src/Sema.zig b/src/Sema.zig index 2674d61a7d83489f0a9ba7b70dac0991b706a261..c67c8572e097ec3f7aed6a37be8e598a268aa257 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -13203,7 +13203,6 @@ fn zirCondbr( defer tracy.end(); const inst_data = sema.code.instructions.items(.data)[inst].pl_node; - const src = inst_data.src(); const cond_src: LazySrcLoc = .{ .node_offset_if_cond = inst_data.src_node }; const extra = sema.code.extraData(Zir.Inst.CondBr, inst_data.payload_index); @@ -13213,7 +13212,7 @@ fn zirCondbr( const uncasted_cond = try sema.resolveInst(extra.data.condition); const cond = try sema.coerce(parent_block, Type.bool, uncasted_cond, cond_src); - if (try sema.resolveDefinedValue(parent_block, src, cond)) |cond_val| { + if (try sema.resolveDefinedValue(parent_block, cond_src, cond)) |cond_val| { const body = if (cond_val.toBool()) then_body else else_body; // We use `analyzeBodyInner` since we want to propagate any possible // `error.ComptimeBreak` to the caller. diff --git a/test/cases/compile_errors/comparing_against_undefined_produces_undefined_value.zig b/test/cases/compile_errors/comparing_against_undefined_produces_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..d98741b80d9c7c9c1249ea4c6b0b2a06d1a444c5 --- /dev/null +++ b/test/cases/compile_errors/comparing_against_undefined_produces_undefined_value.zig @@ -0,0 +1,9 @@ +export fn entry() void { + if (2 == undefined) {} +} + +// error +// backend=stage2 +// target=native +// +// :2:11: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/add_wrap_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/add_wrap_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..5f9a4c61fc34d83790db326f1cc925c70c70fe85 --- /dev/null +++ b/test/cases/compile_errors/stage1/add_wrap_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a +%= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/add_wrap_on_undefined_value.zig b/test/cases/compile_errors/stage1/add_wrap_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..582b8ec1cfc85ff91224f11799f78631c75a2951 --- /dev/null +++ b/test/cases/compile_errors/stage1/add_wrap_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a +% a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/and_on_undefined_value.zig b/test/cases/compile_errors/stage1/and_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..6071d81062fcc32291a7673bcb6e2877ea7d3358 --- /dev/null +++ b/test/cases/compile_errors/stage1/and_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: bool = undefined; + _ = a and a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/bin_and_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/bin_and_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..1076f9abdb6c170e84f0770f5ec33d04e0c572f1 --- /dev/null +++ b/test/cases/compile_errors/stage1/bin_and_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a &= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/bin_and_on_undefined_value.zig b/test/cases/compile_errors/stage1/bin_and_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..a53d9a10ac66b5ba7f107648fea3f18fb7c0c37d --- /dev/null +++ b/test/cases/compile_errors/stage1/bin_and_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a & a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/bin_not_on_undefined_value.zig b/test/cases/compile_errors/stage1/bin_not_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..7e0f554f0b1a718848f4b551f5ae51556cb17e4a --- /dev/null +++ b/test/cases/compile_errors/stage1/bin_not_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = ~a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:10: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/bin_or_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/bin_or_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..cc61fc03e168cb211ced6b390c2f2923fb719615 --- /dev/null +++ b/test/cases/compile_errors/stage1/bin_or_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a |= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/bin_or_on_undefined_value.zig b/test/cases/compile_errors/stage1/bin_or_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..7ac30bcb4e69471e3e317cc559dca17520d26776 --- /dev/null +++ b/test/cases/compile_errors/stage1/bin_or_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a | a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/bin_xor_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/bin_xor_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..37e3eae321bc7246cd8f1ccce419300891497d04 --- /dev/null +++ b/test/cases/compile_errors/stage1/bin_xor_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a ^= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/bin_xor_on_undefined_value.zig b/test/cases/compile_errors/stage1/bin_xor_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..f1656b60131df144286c32a984458cf33dc9793e --- /dev/null +++ b/test/cases/compile_errors/stage1/bin_xor_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a ^ a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/bool_not_on_undefined_value.zig b/test/cases/compile_errors/stage1/bool_not_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..5c99a9739b5941044e38593009ac0636adceef54 --- /dev/null +++ b/test/cases/compile_errors/stage1/bool_not_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: bool = undefined; + _ = !a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:10: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/catch_on_undefined_value.zig b/test/cases/compile_errors/stage1/catch_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..53a5f1c2a958df64ecd574fd082b91ec9439fada --- /dev/null +++ b/test/cases/compile_errors/stage1/catch_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: anyerror!bool = undefined; + _ = a catch false; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:11: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/deref_on_undefined_value.zig b/test/cases/compile_errors/stage1/deref_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..f64d567a26c242685a23f91fb3752134f97b4940 --- /dev/null +++ b/test/cases/compile_errors/stage1/deref_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: *u8 = undefined; + _ = a.*; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: attempt to dereference undefined value diff --git a/test/cases/compile_errors/stage1/div_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/div_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..5f18e6286a27390aa974a1c493dd55ccf5de63a6 --- /dev/null +++ b/test/cases/compile_errors/stage1/div_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a /= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/div_on_undefined_value.zig b/test/cases/compile_errors/stage1/div_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..9857b1c77981d947f731c13c8411d215a8a84f80 --- /dev/null +++ b/test/cases/compile_errors/stage1/div_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a / a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/mod_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/mod_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..c127e256e8bd23f73517ed1dd5be34c20580a324 --- /dev/null +++ b/test/cases/compile_errors/stage1/mod_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a %= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/mod_on_undefined_value.zig b/test/cases/compile_errors/stage1/mod_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..8bd7774a4638148af6666ccca95c504195423e28 --- /dev/null +++ b/test/cases/compile_errors/stage1/mod_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a % a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/mult_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/mult_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..04040b975643bdefbc4045ab94a96991527f1871 --- /dev/null +++ b/test/cases/compile_errors/stage1/mult_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a *= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/mult_on_undefined_value.zig b/test/cases/compile_errors/stage1/mult_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..0dcd2b02f2d08afdee284ca4571bd5847ae97f74 --- /dev/null +++ b/test/cases/compile_errors/stage1/mult_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a * a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/mult_wrap_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/mult_wrap_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..db54af9f0b53687ac4e8c863efd40d61878b1080 --- /dev/null +++ b/test/cases/compile_errors/stage1/mult_wrap_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a *%= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/mult_wrap_on_undefined_value.zig b/test/cases/compile_errors/stage1/mult_wrap_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..9ad09f7e9306fc682e2a346f413040281999a378 --- /dev/null +++ b/test/cases/compile_errors/stage1/mult_wrap_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a *% a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/negate_on_undefined_value.zig b/test/cases/compile_errors/stage1/negate_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..f8d5f6128d48743bcacdcd267550e05d9903e203 --- /dev/null +++ b/test/cases/compile_errors/stage1/negate_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = -a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:10: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/negate_wrap_on_undefined_value.zig b/test/cases/compile_errors/stage1/negate_wrap_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..4ca32956de7e8bb4de3c877b8246bdd017d44394 --- /dev/null +++ b/test/cases/compile_errors/stage1/negate_wrap_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = -%a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:11: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/add_wrap_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/add_wrap_assign_on_undefined_value.zig deleted file mode 100644 index 5f9a4c61fc34d83790db326f1cc925c70c70fe85..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/add_wrap_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a +%= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/add_wrap_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/add_wrap_on_undefined_value.zig deleted file mode 100644 index 582b8ec1cfc85ff91224f11799f78631c75a2951..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/add_wrap_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a +% a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/and_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/and_on_undefined_value.zig deleted file mode 100644 index 6071d81062fcc32291a7673bcb6e2877ea7d3358..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/and_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: bool = undefined; - _ = a and a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/bin_and_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/bin_and_assign_on_undefined_value.zig deleted file mode 100644 index 1076f9abdb6c170e84f0770f5ec33d04e0c572f1..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/bin_and_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a &= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/bin_and_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/bin_and_on_undefined_value.zig deleted file mode 100644 index a53d9a10ac66b5ba7f107648fea3f18fb7c0c37d..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/bin_and_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a & a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/bin_not_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/bin_not_on_undefined_value.zig deleted file mode 100644 index 7e0f554f0b1a718848f4b551f5ae51556cb17e4a..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/bin_not_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = ~a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:10: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/bin_or_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/bin_or_assign_on_undefined_value.zig deleted file mode 100644 index cc61fc03e168cb211ced6b390c2f2923fb719615..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/bin_or_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a |= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/bin_or_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/bin_or_on_undefined_value.zig deleted file mode 100644 index 7ac30bcb4e69471e3e317cc559dca17520d26776..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/bin_or_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a | a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/bin_xor_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/bin_xor_assign_on_undefined_value.zig deleted file mode 100644 index 37e3eae321bc7246cd8f1ccce419300891497d04..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/bin_xor_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a ^= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/bin_xor_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/bin_xor_on_undefined_value.zig deleted file mode 100644 index f1656b60131df144286c32a984458cf33dc9793e..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/bin_xor_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a ^ a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/bool_not_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/bool_not_on_undefined_value.zig deleted file mode 100644 index 5c99a9739b5941044e38593009ac0636adceef54..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/bool_not_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: bool = undefined; - _ = !a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:10: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/catch_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/catch_on_undefined_value.zig deleted file mode 100644 index 53a5f1c2a958df64ecd574fd082b91ec9439fada..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/catch_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: anyerror!bool = undefined; - _ = a catch false; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:11: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/comparing_against_undefined_produces_undefined_value.zig b/test/cases/compile_errors/stage1/obj/comparing_against_undefined_produces_undefined_value.zig deleted file mode 100644 index 8bad61e6d1d6321166386d17fe4c60db4800c623..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/comparing_against_undefined_produces_undefined_value.zig +++ /dev/null @@ -1,9 +0,0 @@ -export fn entry() void { - if (2 == undefined) {} -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:2:11: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/deref_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/deref_on_undefined_value.zig deleted file mode 100644 index f64d567a26c242685a23f91fb3752134f97b4940..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/deref_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: *u8 = undefined; - _ = a.*; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: attempt to dereference undefined value diff --git a/test/cases/compile_errors/stage1/obj/div_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/div_assign_on_undefined_value.zig deleted file mode 100644 index 5f18e6286a27390aa974a1c493dd55ccf5de63a6..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/div_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a /= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/div_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/div_on_undefined_value.zig deleted file mode 100644 index 9857b1c77981d947f731c13c8411d215a8a84f80..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/div_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a / a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/mod_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/mod_assign_on_undefined_value.zig deleted file mode 100644 index c127e256e8bd23f73517ed1dd5be34c20580a324..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/mod_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a %= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/mod_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/mod_on_undefined_value.zig deleted file mode 100644 index 8bd7774a4638148af6666ccca95c504195423e28..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/mod_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a % a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/mult_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/mult_assign_on_undefined_value.zig deleted file mode 100644 index 04040b975643bdefbc4045ab94a96991527f1871..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/mult_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a *= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/mult_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/mult_on_undefined_value.zig deleted file mode 100644 index 0dcd2b02f2d08afdee284ca4571bd5847ae97f74..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/mult_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a * a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/mult_wrap_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/mult_wrap_assign_on_undefined_value.zig deleted file mode 100644 index db54af9f0b53687ac4e8c863efd40d61878b1080..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/mult_wrap_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a *%= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/mult_wrap_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/mult_wrap_on_undefined_value.zig deleted file mode 100644 index 9ad09f7e9306fc682e2a346f413040281999a378..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/mult_wrap_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a *% a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/negate_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/negate_on_undefined_value.zig deleted file mode 100644 index f8d5f6128d48743bcacdcd267550e05d9903e203..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/negate_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = -a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:10: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/negate_wrap_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/negate_wrap_on_undefined_value.zig deleted file mode 100644 index 4ca32956de7e8bb4de3c877b8246bdd017d44394..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/negate_wrap_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = -%a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:11: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/or_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/or_on_undefined_value.zig deleted file mode 100644 index 11e6c41deaa52764da050eea129327b3e530550e..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/or_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: bool = undefined; - _ = a or a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/orelse_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/orelse_on_undefined_value.zig deleted file mode 100644 index 3042c208eb3fbe2ad65e0ccb95d087147a78cfda..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/orelse_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: ?bool = undefined; - _ = a orelse false; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:11: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/shift_left_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/shift_left_assign_on_undefined_value.zig deleted file mode 100644 index 575bf0ee6b60cd3bc30b6b520773dfaee5fe3b56..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/shift_left_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a >>= 2; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/shift_left_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/shift_left_on_undefined_value.zig deleted file mode 100644 index abd06fbbabebfe422aee08e3ab758b13c028f7da..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/shift_left_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a << 2; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/shift_right_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/shift_right_assign_on_undefined_value.zig deleted file mode 100644 index 575bf0ee6b60cd3bc30b6b520773dfaee5fe3b56..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/shift_right_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a >>= 2; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/shift_right_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/shift_right_on_undefined_value.zig deleted file mode 100644 index e24cbe473a09a23618353883e9458d632939918d..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/shift_right_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a >> 2; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/sub_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/sub_assign_on_undefined_value.zig deleted file mode 100644 index 74b705a154bfbd141d5e538c8bd09c113700421e..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/sub_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a -= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/sub_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/sub_on_undefined_value.zig deleted file mode 100644 index 08c590ee3ff3bf66c3e2dbe838bc8ecc215e9f33..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/sub_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a - a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/sub_wrap_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/sub_wrap_assign_on_undefined_value.zig deleted file mode 100644 index 41aa1ca14b08c74891486a50150d0a09ad3b1715..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/sub_wrap_assign_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - a -%= a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/sub_wrap_on_undefined_value.zig b/test/cases/compile_errors/stage1/obj/sub_wrap_on_undefined_value.zig deleted file mode 100644 index 68e4e78512f47387e83c7f20340829bca1003814..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/sub_wrap_on_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -comptime { - var a: i64 = undefined; - _ = a -% a; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/obj/truncate_undefined_value.zig b/test/cases/compile_errors/stage1/obj/truncate_undefined_value.zig deleted file mode 100644 index 67a1f17ba783dfbd83c79483ba8f78e7ea0f1f47..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/stage1/obj/truncate_undefined_value.zig +++ /dev/null @@ -1,10 +0,0 @@ -export fn entry() void { - var z = @truncate(u8, @as(u16, undefined)); - _ = z; -} - -// error -// backend=stage1 -// target=native -// -// tmp.zig:2:27: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/or_on_undefined_value.zig b/test/cases/compile_errors/stage1/or_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..11e6c41deaa52764da050eea129327b3e530550e --- /dev/null +++ b/test/cases/compile_errors/stage1/or_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: bool = undefined; + _ = a or a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/orelse_on_undefined_value.zig b/test/cases/compile_errors/stage1/orelse_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..3042c208eb3fbe2ad65e0ccb95d087147a78cfda --- /dev/null +++ b/test/cases/compile_errors/stage1/orelse_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: ?bool = undefined; + _ = a orelse false; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:11: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/shift_left_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/shift_left_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..575bf0ee6b60cd3bc30b6b520773dfaee5fe3b56 --- /dev/null +++ b/test/cases/compile_errors/stage1/shift_left_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a >>= 2; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/shift_left_on_undefined_value.zig b/test/cases/compile_errors/stage1/shift_left_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..abd06fbbabebfe422aee08e3ab758b13c028f7da --- /dev/null +++ b/test/cases/compile_errors/stage1/shift_left_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a << 2; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/shift_right_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/shift_right_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..575bf0ee6b60cd3bc30b6b520773dfaee5fe3b56 --- /dev/null +++ b/test/cases/compile_errors/stage1/shift_right_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a >>= 2; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/shift_right_on_undefined_value.zig b/test/cases/compile_errors/stage1/shift_right_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..e24cbe473a09a23618353883e9458d632939918d --- /dev/null +++ b/test/cases/compile_errors/stage1/shift_right_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a >> 2; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/sub_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/sub_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..74b705a154bfbd141d5e538c8bd09c113700421e --- /dev/null +++ b/test/cases/compile_errors/stage1/sub_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a -= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/sub_on_undefined_value.zig b/test/cases/compile_errors/stage1/sub_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..08c590ee3ff3bf66c3e2dbe838bc8ecc215e9f33 --- /dev/null +++ b/test/cases/compile_errors/stage1/sub_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a - a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/sub_wrap_assign_on_undefined_value.zig b/test/cases/compile_errors/stage1/sub_wrap_assign_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..41aa1ca14b08c74891486a50150d0a09ad3b1715 --- /dev/null +++ b/test/cases/compile_errors/stage1/sub_wrap_assign_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + a -%= a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:5: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/sub_wrap_on_undefined_value.zig b/test/cases/compile_errors/stage1/sub_wrap_on_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..68e4e78512f47387e83c7f20340829bca1003814 --- /dev/null +++ b/test/cases/compile_errors/stage1/sub_wrap_on_undefined_value.zig @@ -0,0 +1,10 @@ +comptime { + var a: i64 = undefined; + _ = a -% a; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:3:9: error: use of undefined value here causes undefined behavior diff --git a/test/cases/compile_errors/stage1/truncate_undefined_value.zig b/test/cases/compile_errors/stage1/truncate_undefined_value.zig new file mode 100644 index 0000000000000000000000000000000000000000..67a1f17ba783dfbd83c79483ba8f78e7ea0f1f47 --- /dev/null +++ b/test/cases/compile_errors/stage1/truncate_undefined_value.zig @@ -0,0 +1,10 @@ +export fn entry() void { + var z = @truncate(u8, @as(u16, undefined)); + _ = z; +} + +// error +// backend=stage1 +// target=native +// +// tmp.zig:2:27: error: use of undefined value here causes undefined behavior