From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Ada Implementation of functions and produce C for exotic architectures (Expressif)
Date: Wed, 11 Apr 2018 12:41:47 -0700
Date: 2018-04-11T12:41:47-07:00 [thread overview]
Message-ID: <87in8xwmx0.fsf@nightsong.com> (raw)
In-Reply-To: 552a0627-2a6f-4b51-a1a0-fdc70cc210a7@googlegroups.com
"Dan'l Miller" <optikos@verizon.net> writes:
> C is not a backend target of the GNAT compiler, despite C being a
> syntactic/semantic near-isomorph of PDP-11 assembly language
People erroneously believe that and then freak out when they find it
isn't true. Consider signed arithmetic overflow being twos-complement
arithmetic in PDP-11 assembly language, vs being undefined behavior in
C. In Ada it's supposed to signal a constraint error iiuc.
So C wouldn't really be a natural target for an Ada compiler. C is not
a "portable assembler" despite the wishes or dreams of some of its
users.
next prev parent reply other threads:[~2018-04-11 19:41 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-11 17:17 Ada Implementation of functions and produce C for exotic architectures (Expressif) Patrice Freydiere
2018-04-11 18:46 ` Dan'l Miller
2018-04-11 19:07 ` Patrice Freydiere
2018-04-11 19:22 ` Dan'l Miller
2018-04-11 20:31 ` Niklas Holsti
2018-04-12 8:10 ` Mark Lorenzen
2018-04-11 19:41 ` Paul Rubin [this message]
2018-04-11 20:31 ` Dan'l Miller
2018-04-11 22:30 ` Randy Brukardt
2018-04-11 21:14 ` Simon Wright
2018-04-12 6:17 ` Patrice Freydiere
2018-04-12 7:19 ` rrr.eee.27
2018-04-12 7:51 ` Simon Wright
2018-04-11 21:57 ` Dan'l Miller
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox