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=0.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 6D86DBC6B for ; Thu, 8 Nov 2007 18:03:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAKLQMkdCm3xr/2dsb2JhbACQTQ X-IronPort-AV: E=Sophos;i="4.21,390,1188770400"; d="scan'208";a="4208404" Received: from janestcapital.com (HELO smtp.janestcapital.com) ([66.155.124.107]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 18:03:00 +0100 Received: from qsmtp.delacy.com [38.96.172.125] by janestcapital.com with ESMTP (SMTPD-9.10) id A143057C; Thu, 08 Nov 2007 12:02:59 -0500 Received: from nyc-qws-001.delacy.com ([172.25.131.101] helo=nyc-qws-001) by qsmtp.delacy.com with smtp (Exim 4.62) (envelope-from ) id 1IqAmQ-0007Td-FT for caml-list@yquem.inria.fr; Thu, 08 Nov 2007 12:02:59 -0500 Received: by nyc-qws-001 (sSMTP sendmail emulation); Thu, 8 Nov 2007 12:02:58 -0500 From: "Pascal Zimmer" Subject: Re: [Caml-list] Search for the smallest possible possible Ocaml segfault.... To: caml-list In-Reply-To: <9d3ec8300711080817u2558d1ffy1189dc62d39bcfda@mail.gmail.com> References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <47333433.40401@ed.ac.uk> <4733352B.60008@ed.ac.uk> <9d3ec8300711080817u2558d1ffy1189dc62d39bcfda@mail.gmail.com> Content-Type: text/plain Content-Transfer-Encoding: 7bit Date: Thu, 08 Nov 2007 12:02:58 -0500 Message-Id: <1194541378.12695.412.camel@nyc-qws-001.delacy.com> Mime-Version: 1.0 X-Mailer: Evolution 2.6.3 (2.6.3-1.fc5.5) X-Spam: no; 0.00; ocaml:01 segfault:01 bug:01 bug:01 ocaml:01 segfault:01 scanf:01 sscanf:01 printf:01 printf:01 'x':01 val:01 val:01 beginner's:01 beginners:01 What about this one: Unix.kill 0 11;; ;-) Pascal On Thu, 2007-11-08 at 11:17 -0500, Till Varoquaux wrote: > It is fixed now: > > > This class should be virtual. The following variables are undefined : x > > It would have been a good contender for the shorter bug. > Till > > On Nov 8, 2007 11:11 AM, Jeremy Yallop wrote: > > > > Jeremy Yallop wrote: > > > Till Varoquaux wrote: > > >> 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");; > > > > > > I've already reported this (on the mailing list) and it's probably been > > > fixed by now, but in OCaml 3.10.0: > > > > > > !((object val virtual x:'a method x=x end)#x) > > > > I made it shorter: > > > > !((object val virtual x:_ method x=x end)#x) > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >