[RFC] Introducing a byte type to LLVM

Hi James,

Your comment is incorrect because:
int x[n];
x[n]; // legal expression in C

This is necessary to allow idioms where you iterate over an array using pointer arithmetic, like:
for (int *p = x; p != x + n; ++p) { ... }

So, AFAICT, the bug report you mention is perfectly valid.
Plus LLVM IR's pointer arithmetic may go out-of-bounds (getelementptr without inbounds). It's important to not mix C and LLVM IR semantics. They have different goals.