From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24844 invoked by alias); 14 Apr 2009 16:58:17 -0000 Received: (qmail 24830 invoked by uid 22791); 14 Apr 2009 16:58:15 -0000 X-SWARE-Spam-Status: No, hits=-0.4 required=5.0 tests=AWL,BAYES_20 X-Spam-Check-By: sourceware.org Received: from spartacus.cs.unipr.it (HELO spartacus.cs.unipr.it) (160.78.167.140) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 14 Apr 2009 16:58:06 +0000 Received: from [192.168.1.212] (host120-201-dynamic.47-79-r.retail.telecomitalia.it [79.47.201.120]) (authenticated bits=0) by spartacus.cs.unipr.it (8.14.3/8.14.3) with ESMTP id n3EGw034020199 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 14 Apr 2009 18:58:00 +0200 Message-ID: <49E4C099.6000509@cs.unipr.it> Date: Tue, 14 Apr 2009 18:37:00 -0000 From: Roberto Bagnara User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050929 Thunderbird/1.0.7 Fedora/1.0.7-1.1.fc4 Mnenhy/0.7.3.0 MIME-Version: 1.0 To: Richard Guenther CC: GCC Mailing List , "The Parma Polyhedra Library developers' list" Subject: Re: Parma Polyhedra Library 0.10.1 References: <49E48948.60300@cs.unipr.it> <84fc9c000904140851h4f98d93fn1156a6aa37c47656@mail.gmail.com> In-Reply-To: <84fc9c000904140851h4f98d93fn1156a6aa37c47656@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2009-04/txt/msg00429.txt.bz2 Richard Guenther wrote: > On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara wrote: >> We are pleased to announce the availability of PPL 0.10.1, a new release >> of the Parma Polyhedra Library. > > It seems to build and test ok on {i586,ia64,ppc,ppc64,s390,x86_64}-linux > but I get > > PASS: nnc_writepolyhedron1 > /bin/sh: line 4: 29952 Segmentation fault ${dir}$tst > FAIL: memory1 > ====================================== > 1 of 191 tests failed > Please report to ppl-devel@cs.unipr.it > ====================================== > > on s390x-linux. Does the testsuite stop after the first error? Hi Richard. The testsuite does not proceed after the first directory that gives an error. In your case, the `tests/Polyhedron' directory produced that error and the `tests/Grid' directory is the only subdirectory of `tests' that has not been tested because of that error. > If not, > what is memory1 testing? It tests the PPL features that allow to recover after an out-of-memory error, i.e., when std::bad_alloc is thrown. It does so by limiting the amount of memory available to the process, attempting some expensive computation, catching std:bad_alloc, and restart. The key function is this one: bool guarded_compute_open_hypercube_generators(dimension_type dimension, unsigned long max_memory_in_bytes) { try { limit_memory(max_memory_in_bytes); compute_open_hypercube_generators(dimension); return true; } catch (const std::bad_alloc&) { nout << "out of virtual memory" << endl; return false; } catch (...) { exit(1); } // Should never get here. exit(1); } From the fact that you observe this failure, I gather that the configure script found a version of GMP compiled with -fexceptions. Unfortunately, this is not always enough. For instance, on the Itanium the test fails because of the libunwind bug reported in http://lists.gnu.org/archive/html/libunwind-devel/2008-09/msg00001.html Hence the test is disabled if defined(__ia64). I don't know what the problem could be on s390x-linux. Do you know if there is an s390x-linux machine we can obtain access to for the purpose of debugging? Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it