Fix error_kind

Author: ilevkivskyi

mypyc/primitives/misc_ops.py

@@ -2,7 +2,7 @@
 
 from __future__ import annotations
 
-from mypyc.ir.ops import ERR_FALSE, ERR_MAGIC, ERR_NEVER
+from mypyc.ir.ops import ERR_FALSE, ERR_MAGIC, ERR_MAGIC_OVERLAPPING, ERR_NEVER
 from mypyc.ir.rtypes import (
     KNOWN_NATIVE_TYPES,
     bit_rprimitive,
@@ -430,13 +430,13 @@
     arg_types=[object_rprimitive, uint8_rprimitive],
     return_type=none_rprimitive,
     c_function_name="write_tag_internal",
-    error_kind=ERR_MAGIC,
+    error_kind=ERR_MAGIC_OVERLAPPING,
 )
 
 function_op(
     name="native_internal.read_tag",
     arg_types=[object_rprimitive],
     return_type=uint8_rprimitive,
     c_function_name="read_tag_internal",
-    error_kind=ERR_MAGIC,
+    error_kind=ERR_MAGIC_OVERLAPPING,
 )

mypyc/test-data/run-classes.test

@@ -2721,6 +2721,7 @@ from native_internal import (
 Tag = u8
 TAG_A: Final[Tag] = 33
 TAG_B: Final[Tag] = 255
+TAG_SPECIAL: Final[Tag] = 239
 
 def test_buffer_basic() -> None:
     b = Buffer(b"foo")
@@ -2736,6 +2737,7 @@ def test_buffer_roundtrip() -> None:
     write_int(b, 0)
     write_int(b, 1)
     write_tag(b, TAG_A)
+    write_tag(b, TAG_SPECIAL)
     write_tag(b, TAG_B)
     write_int(b, 2)
     write_int(b, 2 ** 85)
@@ -2750,6 +2752,7 @@ def test_buffer_roundtrip() -> None:
     assert read_int(b) == 0
     assert read_int(b) == 1
     assert read_tag(b) == TAG_A
+    assert read_tag(b) == TAG_SPECIAL
     assert read_tag(b) == TAG_B
     assert read_int(b) == 2
     assert read_int(b) == 2 ** 85
@@ -2775,6 +2778,7 @@ def test_buffer_roundtrip_interpreted() -> None:
     write_int(b, 0)
     write_int(b, 1)
     write_tag(b, 33)
+    write_tag(b, 239)
     write_tag(b, 255)
     write_int(b, 2)
     write_int(b, 2 ** 85)
@@ -2789,6 +2793,7 @@ def test_buffer_roundtrip_interpreted() -> None:
     assert read_int(b) == 0
     assert read_int(b) == 1
     assert read_tag(b) == 33
+    assert read_tag(b) == 239
     assert read_tag(b) == 255
     assert read_int(b) == 2
     assert read_int(b) == 2 ** 85