Where does the C standard describe overflow of signed integers?

[Georg Bauhaus]

Georg Bauhaus wrote:

(There are at least two bugs in this :-/ but corrections
won't change the picture. Neither will initialisation.)

> #define BUFFER_SIZE 1000  // must be > 0
> #define ITERATIONS 100000  // must be > 0

>  assert(hi > 0);
> 
>  for (size_t c=0; c < hi + 2; ++c) {
>    if (a[c]) {