Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Thomas Koenig <tkoenig@netcologne.de>
Newsgroups: comp.arch
Subject: Re: Segments
Date: Wed, 15 Jan 2025 18:00:34 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <vm8t42$3221i$1@dont-email.me>
References: <vdlgl9$3kq50$2@dont-email.me> <vdtmv9$16lu8$1@dont-email.me>
 <2024Oct6.150415@mips.complang.tuwien.ac.at>
 <vl7m2b$6iat$1@paganini.bofh.team>
 <2025Jan3.093849@mips.complang.tuwien.ac.at>
 <vlcddh$j2gr$1@paganini.bofh.team>
 <2025Jan5.121028@mips.complang.tuwien.ac.at>
 <vleuou$rv85$1@paganini.bofh.team>
 <ndamnjpnt8pkllatkdgq9qn2turaao1f0a@4ax.com>
 <2025Jan6.092443@mips.complang.tuwien.ac.at> <vlgreu$1lsr9$1@dont-email.me>
 <vlhjtm$1qrs5$1@dont-email.me> <bdZeP.23664$Hfb1.16566@fx46.iad>
 <vlj1pg$25p0e$1@dont-email.me> <87cygo97dl.fsf@nosuchdomain.example.com>
 <vm7mvi$2rr87$1@dont-email.me> <20250115140026.00003f4f@yahoo.com>
Injection-Date: Wed, 15 Jan 2025 19:00:34 +0100 (CET)
Injection-Info: dont-email.me; posting-host="3f576d46d3292b56beeb5f9a317496c5";
	logging-data="3213362"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19pWZzJpkEah7kx06emdA7wAPjNtSHspBk="
User-Agent: slrn/1.0.3 (Linux)
Cancel-Lock: sha1:TpmmG3WkVIPGOamuSMivO7zpmhs=
Bytes: 3080

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?