From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 2C4CDBC6B for ; Thu, 8 Nov 2007 15:17:13 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMGoMkfAXQInh2dsb2JhbACOfwEBAQgKKYEP X-IronPort-AV: E=Sophos;i="4.21,389,1188770400"; d="scan'208";a="4199753" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 15:17:12 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA8EHCaM014679 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Nov 2007 15:17:12 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGepMkdA6bjmkGdsb2JhbACOfwEBAQEHBAQkB4EP X-IronPort-AV: E=Sophos;i="4.21,389,1188770400"; d="scan'208";a="4031694" Received: from wr-out-0506.google.com ([64.233.184.230]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 15:17:12 +0100 Received: by wr-out-0506.google.com with SMTP id 37so69232wra for ; Thu, 08 Nov 2007 06:17:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; bh=YGxy/vWP593lDYUdxwAsihparyp8o+5eT2U3UysQckk=; b=ES6LpZ5vHyn4mR8GlXGMLE2a4QP0XBkicpHYnnOJpRYfOg3cB6XHGc/3s8KHx+15NTtOzDuDtAp+JERh1nLyi9+Ttw3Sp618uWz4uZrCP85pCnhJow46aPZOkDS4l86R7Ll9rWtG8cj2RExglrsNyFL+rknzja6TAnoOfJ4HM8o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=lipuMvJ0mdp1Eg39FtEmv+xWnqQn61UzQWL6WxJkuK+6HsQzRLj/oHRlfruFKJ/iRwDqDSsan3m97htj0HWe9/qUO0Sim6hDy0Ll9/GkUbV3XSZzMHU8D5z6n7iHGEwx1041XO8UEc19WmmFW3nlCB5f8oBtCknrhlAMc3AS1IE= Received: by 10.142.191.2 with SMTP id o2mr93878wff.1194531429709; Thu, 08 Nov 2007 06:17:09 -0800 (PST) Received: by 10.142.115.3 with HTTP; Thu, 8 Nov 2007 06:17:09 -0800 (PST) Message-ID: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> Date: Thu, 8 Nov 2007 09:17:09 -0500 From: "Till Varoquaux" To: caml-list Subject: Search for the smallest possible possible Ocaml segfault.... MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Miltered: at concorde with ID 47331A68.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 segfault:01 bug:01 ocaml:01 segfault:01 bug:01 scanf:01 sscanf:01 printf:01 printf:01 'x':01 inria's:01 ling:98 marshal:01 caml:02 I have a open bug in ocaml (http://caml.inria.fr/mantis/view.php?id=4321) that leads very simply to a segfault. The bug has been there for more than 4 months and is still marked as "new". Since it seems to be stalling I thought I might give it a gentle prod: what is the smallest possible ocaml program you can come up with that leads to a reproducible segfault without using FFI's Obj or Marshal. Here is mine: Scanf.sscanf "\"%2$c%1$s\"" "%{%c%s%}" (fun f->Printf.printf f 'x' "xy");; My point of view would be to disable positional parameters until they are fixed. Till P.S.: I am very grateful for the great work the INRIA's team, my intention is not to criticise it. My impression was that bug reported via the mail ling list were acknowledged faster, I'm putting this theory to the test. -- http://till-varoquaux.blogspot.com/