Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

UB

Description

Example Code

46

Addition or subtraction of a pointer into, or just beyond, an array object and an integer type produces a result that does not point into, or just beyond, the same array object.

Forming Out-of-Bounds Pointer
ARR30-C. Do not form or use out of bounds pointers or array subscripts

47

Addition or subtraction of a pointer into, or just beyond, an array object and an integer type produces a result that points just beyond the array object and is used as the operand of a unary * operator that is evaluated.

 Dereferencing Past the End Pointer, ARR30-C. Do not form or use out of bounds pointers or array subscripts

49

An array subscript is out of range, even if an object is apparently accessible with the given subscript (as in the lvalue expression a[1][7] given the declaration int a[4][5]).

ARR30-C. Do not form or use out of bounds pointers or array subscripts

62

An attempt is made to access, or generate a pointer to just past, a flexible array member of a structure when the referenced object provides no elements for that array.

ARR30-C. Do not form or use out of bounds pointers or array subscripts

109

The pointer passed to a library function array parameter does not have a value such that all address computations and object accesses are valid.

Invalid Access by Library Function

...