statement expressions and extended asm bug?

[Robert Dewar]

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!)