Re: Segments

Michael S <already5chosen@yahoo.com> schrieb:

On Wed, 15 Jan 2025 07:09:38 -0000 (UTC)
Thomas Koenig <tkoenig@netcologne.de> wrote:
>

Keith Thompson <Keith.S.Thompson+u@gmail.com> schrieb:

Thomas Koenig <tkoenig@netcologne.de> writes:
[...] 

CHERY targets C, which on the one hand, I understand (there's a
ton of C code out there), but trying to retrofit a safe memory
model onto C seems a bit awkward - it might have been better to
target a language which has arrays in the first place, unlike C. 

[...]
>
C does have arrays. 

 
Sort of - they decay into pointers at first sight.
 
But what I should have written was "multi-dimensional arrays",
with a reasonable way of handling them.

>
C language always had multi-dimensional arrays, with limitation that
dimensions have to be known in compile time.
C99 lifted that limitation, making C support for multi-dimensional
arrays comparable to that in old Fortran.
C11 said that lifting is optional.
Now C23 makes part of the lifting (variably-modified types) again
mandatory.

I'd missed that one.

Relatively to F90, support for multi-dimensional arrays in C23 is
primitive.

From what you describe, support for multi-dimensional arrays
in C23 now reached the level of Fortran II, released in
1958.  Only a bit more than six decades, can't complain
about that.

There are no array descriptors generated automatically by
compiler. But saying that there is no support is incorrect.

What happens for mismatched array bounds between caller
and callee?  Nothing, I guess?