From f2ebb251efc5a528ce24c236e49b25fac225d881 Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 16:21:48 +0330 Subject: rt.zdiv: INT_MIN / -1 is INT_MIN and % is 0 in software division too, so zc0 programs agree with spec 3.4.3 --- tests/conformance/known.txt | 2 -- 1 file changed, 2 deletions(-) (limited to 'tests/conformance') diff --git a/tests/conformance/known.txt b/tests/conformance/known.txt index 4d949fa..df4c94b 100644 --- a/tests/conformance/known.txt +++ b/tests/conformance/known.txt @@ -32,8 +32,6 @@ 3-expressions/float_division_int_stored.zc zc0 b types are read and dropped: no conversion, no sized cut (appendix a) 3-expressions/float_int_ops_on_bits.zc zc0 b types are read and dropped: no conversion, no sized cut (appendix a) 3-expressions/incr_on_float_changes_bits.zc zc0 b types are read and dropped: no conversion, no sized cut (appendix a) -3-expressions/int_min_div_minus1.zc zc0 b INT_MIN / -1 gives 0 and % gives INT_MIN in zc0 -3-expressions/int_min_mod_minus1.zc zc0 b INT_MIN / -1 gives 0 and % gives INT_MIN in zc0 3-expressions/prec_as_binds_tight.zc zc0 b types are read and dropped: no conversion, no sized cut (appendix a) 4-statements/return_value_converted_float.zc zc0 b types are read and dropped: no conversion, no sized cut (appendix a) 4-statements/return_value_converted_int.zc zc0 b types are read and dropped: no conversion, no sized cut (appendix a) -- cgit v1.2.3