Refine a little. WIP.

llvm-svn: 91502
This commit is contained in:
Mike Stump 2009-12-16 03:25:12 +00:00
parent 4cad5fc035
commit 64a03454c6
1 changed files with 3 additions and 3 deletions

View File

@ -578,9 +578,9 @@ adds runtime checks for undefined runtime behavior. If the check fails,
<tt>__builtin_trap()</tt> is used to indicate failure. <tt>__builtin_trap()</tt> is used to indicate failure.
The checks are: The checks are:
<p> <p>
<li>Subscripting where the static type of one operand is decayed from an <li>Subscripting where the static type of one operand is variable
array type and the other operand is greater than the size of the array or which is decayed from an array type and the other operand is
less than zero.</li> greater than the size of the array or less than zero.</li>
<li>Shift operators where the amount shifted is greater or equal to the <li>Shift operators where the amount shifted is greater or equal to the
promoted bit-width of the left-hand-side or less than zero.</li> promoted bit-width of the left-hand-side or less than zero.</li>
<li>If control flow reaches __builtin_unreachable. <li>If control flow reaches __builtin_unreachable.