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 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1CBD9BC6B for ; Thu, 8 Nov 2007 17:17:28 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAIfFMkfAXQInh2dsb2JhbACPAAEBAQgKKYEP X-IronPort-AV: E=Sophos;i="4.21,389,1188770400"; d="scan'208";a="4037008" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 17:17:28 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA8GHQFo022608 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Nov 2007 17:17:27 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAN/EMkdC+Vysi2dsb2JhbACPAAEBAQgCBiQFgRE X-IronPort-AV: E=Sophos;i="4.21,389,1188770400"; d="scan'208";a="19079451" Received: from ug-out-1314.google.com ([66.249.92.172]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2007 17:17:27 +0100 Received: by ug-out-1314.google.com with SMTP id m3so358832ugc for ; Thu, 08 Nov 2007 08:17:27 -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:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=sNvQjAcvJ2jxek8npa7Wb0C59T2M5YZtDfRdwLF4PoA=; b=cgjG+K5qz30H6ng9EMuhhPB/Wa+8ajXVSKRN51B48iPNkOgX9zckbvUimPk08WVc8SxAVicTmgkuRf2QaqBoUtsd54oeNe9U1+v9YalsS19O4MzZtnNbmsihp4xUTDvlGqMiKH/+Is5v8NmqAndZjbLlcvjXX86W43ebmv8r838= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Kv4dW+Sw6IaeYg7VeSG8PV6D2OLyAIaphdgvSN2mAGW3+UiXU0sgGuWIxB7eMwBYBRaxm00TtE47gwvZASahGV4fP4TN1LzXTt4Y1rAf/MiaE2CUG/B4OEzBpQ8s3NDd69YdVm3CoLz2LOumLvJcxXoeZUIa+C+nr2Yw/SfUwxU= Received: by 10.142.245.10 with SMTP id s10mr9264wfh.1194538628919; Thu, 08 Nov 2007 08:17:08 -0800 (PST) Received: by 10.142.115.3 with HTTP; Thu, 8 Nov 2007 08:17:08 -0800 (PST) Message-ID: <9d3ec8300711080817u2558d1ffy1189dc62d39bcfda@mail.gmail.com> Date: Thu, 8 Nov 2007 11:17:08 -0500 From: "Till Varoquaux" To: "Jeremy Yallop" Subject: Re: [Caml-list] Search for the smallest possible possible Ocaml segfault.... Cc: caml-list In-Reply-To: <4733352B.60008@ed.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <47333433.40401@ed.ac.uk> <4733352B.60008@ed.ac.uk> X-Miltered: at concorde with ID 47333696.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! 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 wrote:01 wrote:01 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) >