parent
9f6c4c45d7
commit
c55d1f6c7f
|
@ -1845,7 +1845,7 @@ if (i == j)
|
||||||
before performing optimizing transformations.
|
before performing optimizing transformations.
|
||||||
</p>
|
</p>
|
||||||
|
|
||||||
<p>
|
<ul>
|
||||||
<li>Both of a binary operator's parameters are of the same type.</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
|
<li>Verify that the indices of mem access instructions match other
|
||||||
operands.</li>
|
operands.</li>
|
||||||
|
@ -1875,7 +1875,7 @@ if (i == j)
|
||||||
not agree with the function return value type.</li>
|
not agree with the function return value type.</li>
|
||||||
<li>Function call argument types match the function prototype.</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>
|
<li>All other things that are tested by asserts spread about the code.</li>
|
||||||
</p>
|
</ul>
|
||||||
|
|
||||||
<p>
|
<p>
|
||||||
Note that this does not provide full security verification (like Java), but
|
Note that this does not provide full security verification (like Java), but
|
||||||
|
|
Loading…
Reference in New Issue