<p>Note: we also have a tolerance for passing a pointer on integer types of equal size but wrong signedness... See code like<code>(atomicType >> 1) = (specType >> 1)</code> in</p>
<ul>
<li><code>ffiValidateExternalData:AtomicType:</code> for passing agrument to an aliased type by reference</li>
<li><code>ffiAtomicArgByReference:Class:</code> which has the tolerance for signed/unsigned char/byte only</li>
</ul>
<p>If we are enforcing bound checks, we might have unconsistent behavior<br>
And we might have code that depend on this liberality due to platforms where char are signed...</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/251#issuecomment-382298579">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AhLyW5Dajowoj2MTkljp2ttQEvwmeBH4ks5tpvGOgaJpZM4TZkRD">mute the thread</a>.<img src="https://github.com/notifications/beacon/AhLyWxAououPx-4gL64yXWoQYv7euHfdks5tpvGOgaJpZM4TZkRD.gif" height="1" width="1" alt="" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/251#issuecomment-382298579"></link>
  <meta itemprop="name" content="View Issue"></meta>
</div>
<meta itemprop="description" content="View this Issue on GitHub"></meta>
</div>

<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/OpenSmalltalk/opensmalltalk-vm","title":"OpenSmalltalk/opensmalltalk-vm","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/OpenSmalltalk/opensmalltalk-vm"}},"updates":{"snippets":[{"icon":"PERSON","message":"@nicolas-cellier-aka-nice in #251: Note: we also have a tolerance for passing a pointer on integer types of equal size but wrong signedness... See code like` (atomicType \u003e\u003e 1) = (specType \u003e\u003e 1)` in\r\n\r\n- `ffiValidateExternalData:AtomicType:` for passing agrument to an aliased type by reference\r\n- `ffiAtomicArgByReference:Class:` which has the tolerance for signed/unsigned char/byte only\r\n\r\nIf we are enforcing bound checks, we might have unconsistent behavior\r\nAnd we might have code that depend on this liberality due to platforms where char are signed..."}],"action":{"name":"View Issue","url":"https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/251#issuecomment-382298579"}}}</script>