From 64a03454c6f9a37f410ede1ba7e0813c96e1add0 Mon Sep 17 00:00:00 2001 From: Mike Stump Date: Wed, 16 Dec 2009 03:25:12 +0000 Subject: [PATCH] Refine a little. WIP. llvm-svn: 91502 --- clang/docs/UsersManual.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/clang/docs/UsersManual.html b/clang/docs/UsersManual.html index 9f37fb60aa5b..2601da255147 100644 --- a/clang/docs/UsersManual.html +++ b/clang/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.