Translate-C works with some pointer arithmetic syntax, but not semantically equivalent one

[drfuchs]

Zig Version

0.14.0-dev.2851+b074fb7dd

Steps to Reproduce and Observed Behavior

These two printf lines are semantically equivalent in C, but Translate-C produces different zig code for them, the second of which doesn't compile.

#include <stdio.h>

int main(void)
{
  static const int primes[] = {2, 3, 5, 7, 11};
  printf("%d\n", (primes+3)[-1]);
  printf("%d\n", (&primes[3])[-1]);
  return 0;
}

results in zig errors from the second printf:

arybug.zig:336:188: error: incompatible types: '*const c_int' and 'usize'
        if (tmp >= 0) break :blk (&primes.static[@as(c_uint, @intCast(@as(c_int, 3)))]) + @as(usize, @intCast(tmp)) else break :blk (&primes.static[@as(c_uint, @intCast(@as(c_int, 3)))]) - ~@as(usize, @bitCast(@as(isize, @intCast(tmp)) +% -1));
                                                                                                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
arybug.zig:336:133: note: type '*const c_int' here
        if (tmp >= 0) break :blk (&primes.static[@as(c_uint, @intCast(@as(c_int, 3)))]) + @as(usize, @intCast(tmp)) else break :blk (&primes.static[@as(c_uint, @intCast(@as(c_int, 3)))]) - ~@as(usize, @bitCast(@as(isize, @intCast(tmp)) +% -1));
                                                                                                                                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
arybug.zig:336:190: note: type 'usize' here
        if (tmp >= 0) break :blk (&primes.static[@as(c_uint, @intCast(@as(c_int, 3)))]) + @as(usize, @intCast(tmp)) else break :blk (&primes.static[@as(c_uint, @intCast(@as(c_int, 3)))]) - ~@as(usize, @bitCast(@as(isize, @intCast(tmp)) +% -1));
                                                                                                                                                                                             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Expected Behavior

Should result in zig code that compiles and runs and produces the same two-duplicate-lines as the C code does:

5
5