54d97251fe
While checking whether we can enable -Wimplicit-fallthrough, I encountered
a diagnostic in mp_binary_set_val_array_from_int which led to discovering
the following bug:
```
>>> struct.pack("xb", 3)
b'\x03\x03'
```
That is, the next value (3) was used as the value of a padding byte, while
standard Python always fills "x" bytes with zeros. I initially thought
this had to do with the unintentional fallthrough, but it doesn't.
Instead, this code would relate to an array.array with a typecode of
padding ('x'), which is ALSO not desktop Python compliant:
```
>>> array.array('x', (1, 2, 3))
array('x', [1, 0, 0])
```
Possibly this is dead code that used to be shared between struct-setting
and array-setting, but it no longer is.
I also discovered that the argument list length for struct.pack
and struct.pack_into were not checked, and that the length of binary data
passed to array.array was not checked to be a multiple of the element
size.
I have corrected all of these to conform more closely to standard Python
and revised some tests where necessary. Some tests for micropython-specific
behavior that does not conform to standard Python and is not present
in CircuitPython was deleted outright.
146 lines
3.1 KiB
Python
146 lines
3.1 KiB
Python
# tests for things that are not implemented, or have non-compliant behaviour
|
|
|
|
try:
|
|
import array
|
|
import struct
|
|
except ImportError:
|
|
print("SKIP")
|
|
raise SystemExit
|
|
|
|
# when super can't find self
|
|
try:
|
|
exec('def f(): super()')
|
|
except SyntaxError:
|
|
print('SyntaxError')
|
|
|
|
# store to exception attribute is not allowed
|
|
try:
|
|
ValueError().x = 0
|
|
except AttributeError:
|
|
print('AttributeError')
|
|
|
|
# array deletion not implemented
|
|
try:
|
|
a = array.array('b', (1, 2, 3))
|
|
del a[1]
|
|
except TypeError:
|
|
print('TypeError')
|
|
|
|
# slice with step!=1 not implemented
|
|
try:
|
|
a = array.array('b', (1, 2, 3))
|
|
print(a[3:2:2])
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# containment, looking for integer not implemented
|
|
try:
|
|
print(1 in array.array('B', b'12'))
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# uPy raises TypeError, shold be ValueError
|
|
try:
|
|
'%c' % b'\x01\x02'
|
|
except (TypeError, ValueError):
|
|
print('TypeError, ValueError')
|
|
|
|
# attributes/subscr not implemented
|
|
try:
|
|
print('{a[0]}'.format(a=[1, 2]))
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# str(...) with keywords not implemented
|
|
try:
|
|
str(b'abc', encoding='utf8')
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# str.rsplit(None, n) not implemented
|
|
try:
|
|
'a a a'.rsplit(None, 1)
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# str.endswith(s, start) not implemented
|
|
try:
|
|
'abc'.endswith('c', 1)
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# str subscr with step!=1 not implemented
|
|
try:
|
|
print('abc'[1:2:3])
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# bytes(...) with keywords not implemented
|
|
try:
|
|
bytes('abc', encoding='utf8')
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# bytes subscr with step!=1 not implemented
|
|
try:
|
|
b'123'[0:3:2]
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# tuple load with step!=1 not implemented
|
|
try:
|
|
()[2:3:4]
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# list store with step!=1 not implemented
|
|
try:
|
|
[][2:3:4] = []
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# list delete with step!=1 not implemented
|
|
try:
|
|
del [][2:3:4]
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# array slice assignment with unsupported RHS
|
|
try:
|
|
bytearray(4)[0:1] = [1, 2]
|
|
except NotImplementedError:
|
|
print('NotImplementedError')
|
|
|
|
# can't assign attributes to a function
|
|
def f():
|
|
pass
|
|
try:
|
|
f.x = 1
|
|
except AttributeError:
|
|
print('AttributeError')
|
|
|
|
# can't call a function type (ie make new instances of a function)
|
|
try:
|
|
type(f)()
|
|
except TypeError:
|
|
print('TypeError')
|
|
|
|
# test when object explicitly listed at not-last position in parent tuple
|
|
# this is not compliant with CPython because of illegal MRO
|
|
class A:
|
|
def foo(self):
|
|
print('A.foo')
|
|
class B(object, A):
|
|
pass
|
|
B().foo()
|
|
|
|
# can't assign property (or other special accessors) to already-subclassed class
|
|
class A:
|
|
pass
|
|
class B(A):
|
|
pass
|
|
try:
|
|
A.bar = property()
|
|
except AttributeError:
|
|
print('AttributeError')
|