On 2018-06-29 15:53, Stephen Pelc wrote:
> Crikey, no two C compilers are the same and they have different
> undefined behaviours! Stop using C immediately.

That is likely true.

> There's a whole
> world out there that does not use gcc or FOSS tools.

Yes, but there is also a world that uses gcc for other languages than c.
Professionally. With very high demands on standards.
gcc contains the opensourced Ada compiler, and if you pay for support
you get a certificate that it conforms to the test-suite, which used to
be called validating.

I'd say a great deal of space/flight/train system use gcc in form of
gnat (as this part of gcc is called)

However, I was baffled at the european reliable software conference 2015
i Madrid, http://www.dit.upm.es/~ae2015/ , when one participant - Andras
Balazs - had a very interesting talk about the comet lander philae (from
the rosetta misson). He said that they started the project in 1994 and
coded the landing code i forth. It used the cpu best.


http://www.dit.upm.es/~ae2015/keynotes.html


Another very interesting thing was the cubesat project - presented by
Carl Brandon. 12 Universites got to create a sattelite 1x1x1 dm big.
11 coded the onboard software in c. 1 in Ada(Spark)
9 c-sattelites where never heard of, 1 works for a couple of hours, 1
for a couple of days. The Ada-sattelite fell to earth - as predicted - 3
years later, still working....

https://www.youtube.com/watch?v=YlnfyToUwv4

But now I am off topic.

--
--
Björn

--- SoupGate-Win32 v1.05