[Vm-dev] [OpenSmalltalk/opensmalltalk-vm] There is no bound check when marshalling FFI atomic integer arguments (#251)

[Nicolas Cellier]

Note: we also have a tolerance for passing a pointer on integer types of equal size but wrong signedness... See code like` (atomicType >> 1) = (specType >> 1)` in

- `ffiValidateExternalData:AtomicType:` for passing agrument to an aliased type by reference
- `ffiAtomicArgByReference:Class:` which has the tolerance for signed/unsigned char/byte only

If we are enforcing bound checks, we might have unconsistent behavior
And we might have code that depend on this liberality due to platforms where char are signed...

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/251#issuecomment-382298579
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.squeakfoundation.org/pipermail/vm-dev/attachments/20180418/b8a28607/attachment-0001.html>