[cfe-dev] [RFC] Introducing a byte type to LLVM

[James Courtier-Dutton via cfe-dev]

See inline

On Sun, 6 Jun 2021 at 20:15, Nuno Lopes via cfe-dev
<cfe-dev at lists.llvm.org> wrote:
> Now consider that p/q are pointers. In particular they are the following:
> char a[n];
> char q[n];
> char *p = a + n;
>
> inlining the definitions, originally we had:
> if (a+n == q) {     <-  This is the problem. This being true or false is undefined. One compiler might make them equal, another will not.
>   *(a+n-1) = 0;
> }
>