Translate-C doesn't understand that pointers can point to "one past the last element" of an array

[drfuchs]

Zig Version

0.14.0-dev.2851+b074fb7dd

Steps to Reproduce and Observed Behavior

The C standard allows pointers to point "one past the last element of an array object" for purposes of legal pointer arithmetic and comparison (though not dereferencing, of course). So, the following C code compiles and runs with no errors, warnings, or undefined behavior:

#include <stdio.h>

int main(void)
{
  const int foo[5] = {2, 3, 5, 7, 11};
  const int* end_foo = &foo[5]; // one past the end

  for (const int* ptr = foo; ptr < end_foo; ptr++)
    printf("%d ", *ptr);
  printf("\n");
  return 0;
}

However, translate-c produces zig code that then compiles with the error:

arybug.zig:328:47: error: index 5 outside array of length 5
    var end_primes: [*c]const c_int = &primes[@as(c_uint, @intCast(@as(c_int, 5)))];
                                              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Expected Behavior

Resulting zig code should compile and run, producing a single line of output:
2 3 5 7 11