This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: statement expressions and extended asm bug?
- From: Robert Dewar <dewar at gnat dot com>
- To: Segher Boessenkool <segher at kernel dot crashing dot org>
- Cc: hp at bitrange dot com, gni at gecko dot de, jamie at shareable dot org,gcc at gcc dot gnu dot org, kaih at khms dot westfalen dot de
- Date: Mon, 22 Mar 2004 08:25:04 -0500
- Subject: Re: statement expressions and extended asm bug?
- References: <3E9A6EC2-7BD7-11D8-A085-000A95A4DC02@kernel.crashing.org>
Segher Boessenkool wrote:
Agreed. But I was talking about the _semantics_ of a program, not
about the program itself. I'd hate to see a program with
non-deterministic _semantics_ ;-)
Why? It is quite usual for programs to have non-deterministic
semantics. Indeed this routinely arises in concurrent programs,
and even in sequential programs, it is common in many programming
languages to leave some ordering non-deterministic.
I don't underswtand at all the difference between a program
and the semantics of a program.
Certainly in many higher level languages, you very much want
non-deterministic semantics, e.g. for arbitrary selection from
a set.
And in almost any language you can write a program which reads
the clock to seed the random number generator and achieve
ND semantics.
(note that ND does not imply random, but random does imply ND!)