From: "Stefan Monnier" <monnier+lists.caml/news/@rum.cs.yale.edu>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Win32 API
Date: 04 Jun 2001 04:53:51 -0400 [thread overview]
Message-ID: <5lwv6s1v8g.fsf@rum.cs.yale.edu> (raw)
In-Reply-To: <20010604064936.A23225@verdot.inria.fr>
>>>>> "Daniel" == Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> writes:
> On Sun, Jun 03, 2001 at 09:01:49PM -0700, Harry Chomsky wrote:
>> Now, what happens in the following situation?
>> some_function(alloc_something(), alloc_something_else());
> It is unsafe. In C, you cannot call a function of two parameters if one
> can modify the evaluation of the other.
It is unsafe in the case of O'Caml because of the GC, but as far as C
is concerned, this is not unsafe but only undefined since the
evaluation order is undefined. And since in this case you don't care
which value you get, the undefinedness would be irrelevant.
Stefan
-------------------
To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-06-04 10:29 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-05-31 20:34 Harry Chomsky
2001-05-31 22:13 ` Daniel de Rauglaudre
2001-05-31 22:59 ` Harry Chomsky
2001-06-01 11:48 ` Daniel de Rauglaudre
2001-06-04 4:01 ` Harry Chomsky
2001-06-04 4:49 ` Daniel de Rauglaudre
2001-06-04 8:53 ` Stefan Monnier [this message]
2001-06-02 14:56 ` Dmitry Bely
2001-12-31 20:52 Harry Chomsky
2002-01-01 18:22 ` Warp
2002-01-02 4:56 ` Harry Chomsky
2002-01-02 20:27 ` Warp
2002-01-12 21:37 ` Harry Chomsky
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5lwv6s1v8g.fsf@rum.cs.yale.edu \
--to=monnier+lists.caml/news/@rum.cs.yale.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox