Re: bounds checking / VLA types

2025-03-17 Thread Yeoul Na via Gcc
> On Mar 15, 2025, at 1:27 AM, Martin Uecker wrote: > > > Hi John, > > (I changed gcc-patches to gcc) > > Am Samstag, dem 15.03.2025 um 00:22 -0400 schrieb John McCall: >>> On 14 Mar 2025, at 15:18, Martin Uecker wrote: > > ... > > But let's rephrase my point a bit more precisely:

Re: bounds checking / VLA types

2025-03-18 Thread Yeoul Na via Gcc
> On Mar 18, 2025, at 12:48 PM, Martin Uecker wrote: > > Am Dienstag, dem 18.03.2025 um 09:52 -0700 schrieb Yeoul Na via Gcc: >> >>> On Mar 18, 2025, at 12:16 AM, Martin Uecker wrote: >>> >>> When xp->ptr is accessed, the size expression >&

Re: bounds checking / VLA types

2025-03-18 Thread Yeoul Na via Gcc
> On Mar 18, 2025, at 12:16 AM, Martin Uecker wrote: > > When xp->ptr is accessed, the size expression > is evaluated and the lvalue which is formed at this point in > time gets the type int(*)[xp->count], similar to how the size > expression of function arguments are evaluated when the > func