From: Mike Stump Date: Wed, 16 Dec 2009 03:25:12 +0000 (+0000) Subject: Refine a little. WIP. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=88b2a17ef7930bdee22f51a8ee70bb6e2babb277;p=clang Refine a little. WIP. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91502 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/docs/UsersManual.html b/docs/UsersManual.html index 9f37fb60aa..2601da2551 100644 --- a/docs/UsersManual.html +++ b/docs/UsersManual.html @@ -578,9 +578,9 @@ adds runtime checks for undefined runtime behavior. If the check fails, __builtin_trap() is used to indicate failure. The checks are:

-

  • Subscripting where the static type of one operand is decayed from an - array type and the other operand is greater than the size of the array or - less than zero.
  • +
  • Subscripting where the static type of one operand is variable + which is decayed from an array type and the other operand is + greater than the size of the array or less than zero.
  • Shift operators where the amount shifted is greater or equal to the promoted bit-width of the left-hand-side or less than zero.
  • If control flow reaches __builtin_unreachable.