Access array beyond the limit in C and C++ [duplicate]

by

Accessing outside the array bounds is undefined behavior, from the c99 draft standard section Annex J.2 J.2 Undefined behavior includes the follow point:

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]) (6.5.6).

and the draft C++ standard in section 5.7 Additive operators paragraph 5 says:

When an expression that has integral type is added to or subtracted from a pointer, the result has the type of the pointer operand. If the pointer operand points to an element of an array object, and the array is large enough, the result points to an element offset from the original element such that the difference of the subscripts of the resulting and original array elements equals the integral expression. […] If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.

For completeness sake, section 5.2.1 Subscripting paragraph 1 says:

[…]The expression E1[E2] is identical (by definition) to *((E1)+(E2)) [ Note: see 5.3 and 5.7 for details of * and + and 8.3.4 for details of arrays. —end note ]

It is important to note that the compiler is not required to produce a warning(diagnostic) for undefined behavior, the draft C++ standard in section 1.4 Implementation compliance paragraph 1 says:

The set of diagnosable rules consists of all syntactic and semantic rules in this International Standard except for those rules containing an explicit notation that “no diagnostic is required” or which are described as resulting in “undefined behavior.”

More Related Contents:

  1. May I treat a 2D array as a contiguous 1D array?
  2. May I take the address of the one-past-the-end element of an array? [duplicate]
  3. Why is sizeof giving incorrect number of bytes in C++?
  4. How do I compare chars (or strings) using void functions, also comparing chars that were taken from a struct array
  5. C++ – Find numbers between first and last negative numbers in Array
  6. If statement – C++
  7. What are all the common undefined behaviours that a C++ programmer should know about? [closed]
  8. Accessing inactive union member and undefined behavior?
  9. How to convert vector to array
  10. Does initialization entail lvalue-to-rvalue conversion? Is `int x = x;` UB?
  11. Is std::vector so much slower than plain arrays?
  12. How could pairing new[] with delete possibly lead to memory leak only?
  13. Address of an array
  14. How to initialize std::array elegantly if T is not default constructible?
  15. Is right shift undefined behavior if the count is larger than the width of the type?
  16. How to initialize a vector in C++ [duplicate]
  17. How do I best handle dynamic multi-dimensional arrays in C/C++?
  18. A C++ implementation that detects undefined behavior?
  19. Why does the enhanced GCC 6 optimizer break practical C++ code?
  20. Remove an array element and shift the remaining ones
  21. How to initialize 3D array in C++
  22. How can I use an array as map value?
  23. Why is it that we can write outside of bounds in C?
  24. Is infinite loop still undefined behavior in C++ if it calls shared library?
  25. Mixing class and struct
  26. Pass arrays from C/C++ to Fortran and return a calculated array
  27. Can branches with undefined behavior be assumed unreachable and optimized as dead code?
  28. behavior of const_cast in C++ [duplicate]
  29. array of pointers as function parameter
  30. how do arrays work internally in c/c++

Leave a Comment