From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tews@os.inf.tu-dresden.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 713AD7F30A
	for <caml-list@sympa.inria.fr>; Wed,  6 Mar 2013 11:13:07 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  tews@os.inf.tu-dresden.de) identity=pra;
  client-ip=141.76.48.99;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="tews@os.inf.tu-dresden.de";
  x-sender="tews@os.inf.tu-dresden.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  tews@os.inf.tu-dresden.de) identity=mailfrom;
  client-ip=141.76.48.99;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="tews@os.inf.tu-dresden.de";
  x-sender="tews@os.inf.tu-dresden.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@os.inf.tu-dresden.de) identity=helo;
  client-ip=141.76.48.99;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="tews@os.inf.tu-dresden.de";
  x-sender="postmaster@os.inf.tu-dresden.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao8CAEwWN1GNTDBjjGdsb2JhbABEhF2uQQGTJBYOAQEBJzuCa4FciEgDmkyhPI8qgyoDlkqTdw
X-IPAS-Result: Ao8CAEwWN1GNTDBjjGdsb2JhbABEhF2uQQGTJBYOAQEBJzuCa4FciEgDmkyhPI8qgyoDlkqTdw
X-IronPort-AV: E=Sophos;i="4.84,793,1355094000"; 
   d="scan'208";a="4378332"
Received: from os.inf.tu-dresden.de ([141.76.48.99])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Mar 2013 11:13:06 +0100
Received: from [2002:8d4c:3001:48:222:68ff:fe19:71d] (helo=blau.inf.tu-dresden.de)
	by os.inf.tu-dresden.de with esmtpsa (TLSv1:DHE-RSA-AES128-SHA:128) (Exim 4.80.1)
	id 1UDBLO-0003bT-2Z
	for caml-list@inria.fr; Wed, 06 Mar 2013 11:13:06 +0100
Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.80)
	(envelope-from <tews@blau.inf.tu-dresden.de>)
	id 1UDBLN-0001Hn-6j
	for caml-list@inria.fr; Wed, 06 Mar 2013 11:13:05 +0100
From: Hendrik Tews <tews@os.inf.tu-dresden.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <20791.5808.750356.139380@blau.inf.tu-dresden.de>
Date: Wed, 6 Mar 2013 11:13:04 +0100
To: caml-list@inria.fr
Subject: [Caml-list] What is an unsafe feature?

Hi,

I always thought that the Obj module is unsafe and that functions
containing "unsafe" in their name are unsafe too. However, when I
run ocamlobjinfo on the .cmo of

    let f b =
      let a = "abcde" in
      let c = Obj.magic b in
      String.unsafe_blit c 0 a 0 5

I see (with 3.12.1 and 4.00.1)

    Uses unsafe features: no

So what is considered unsafe by ocamlobjinfo?

For .cmx files, ocamlobjinfo says nothing about unsafe features.
Is this info not present in the .cmx?

Bye,

Hendrik