From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p61997vs025685
	for <caml-list@sympa-roc.inria.fr>; Fri, 1 Jul 2011 11:09:07 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuwBADeODU7RVdivkGdsb2JhbAA8AQMSp1cIFAEBAQEJCQ0HFAQhqkeCUIwkgkuEQTmIaAIDBoYsBIc4inqMHjyDXA
X-IronPort-AV: E=Sophos;i="4.65,457,1304287200"; 
   d="scan'208";a="112316115"
Received: from mail-qy0-f175.google.com ([209.85.216.175])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Jul 2011 11:09:02 +0200
Received: by qyk30 with SMTP id 30so627568qyk.6
        for <caml-list@inria.fr>; Fri, 01 Jul 2011 02:09:01 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=2xhNjMW+DkiubH50L8B5JRulFJylim4g0ZCXaxgamd4=;
        b=Tc6roJD9rGsfyIS4oT3VF80NgvT3uQ8z9AJbgLKEgElEd2SAxQRfqLdfIfr+GbgbNg
         VhSf9V9+qwIf4sJGA3w/9sAKw5Snb9fBRG5CuZ4Ub/gq1qMbLk1kVXHxy2tHthZHv2af
         TL87MwtYtayBQCQfM0FTa/NRTMKohNnZfp1A0=
MIME-Version: 1.0
Received: by 10.229.236.10 with SMTP id ki10mr2299007qcb.274.1309511340960;
 Fri, 01 Jul 2011 02:09:00 -0700 (PDT)
Received: by 10.229.249.206 with HTTP; Fri, 1 Jul 2011 02:09:00 -0700 (PDT)
Date: Fri, 1 Jul 2011 13:09:00 +0400
Message-ID: <BANLkTim=N1j+7J5L5VpkcKNDXZ1zf6mPcQ@mail.gmail.com>
From: Dmitry Bely <dmitry.bely@gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: [Caml-list] GC interface question

Does this fragment violate GC interface rules:

  Begin_roots_block(_varg, 2)
    _varg[0] = ((struct camlidl_intf *) this)->caml_object;
    _varg[1] = camlidl_alloc_small(1, Abstract_tag);
    Field(_varg[1], 0) = (value) log;
  End_roots();
  _vres = caml_callbackN_exn(caml_get_public_method(_varg[0],
Val_int(1007700946)), 2, _varg);

It's unsafe to pass _varg to caml_callbackN_exn when it is not
referenced from local_roots, right?

- Dmitry Bely