before performing optimizing transformations.
</p>
before performing optimizing transformations.
</p>
<li>Both of a binary operator's parameters are of the same type.</li>
<li>Verify that the indices of mem access instructions match other
operands.</li>
<li>Both of a binary operator's parameters are of the same type.</li>
<li>Verify that the indices of mem access instructions match other
operands.</li>
not agree with the function return value type.</li>
<li>Function call argument types match the function prototype.</li>
<li>All other things that are tested by asserts spread about the code.</li>
not agree with the function return value type.</li>
<li>Function call argument types match the function prototype.</li>
<li>All other things that are tested by asserts spread about the code.</li>
<p>
Note that this does not provide full security verification (like Java), but
<p>
Note that this does not provide full security verification (like Java), but