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.