[PPL-devel] Two failing tests on Solaris

[Roberto Bagnara]

On 08/11/11 03:46, Maciej Bliziński wrote:
> Hello PPL developers,
>
> I'm a package maintainer at OpenCSW, a project providing binary
> packages for Solaris.  I'm currently working on building PPL.  I've
> compiled the dependencies and the PPL library itself.  There are two
> failing tests that prevent me from releasing the updated binary.
>
> The library is built with gcc-4.3.3.
>
> maciej at unstable9s :~/src/opencsw/pkg/ppl/trunk>  /opt/csw/gcc4/bin/gcc --version
> gcc (GCC) 4.3.3
> maciej at unstable9s :~/src/opencsw/pkg/ppl/trunk>  uname -a
> SunOS unstable9s 5.9 Generic_Virtual sun4u sparc SUNW,SPARC-Enterprise-T5220
>
> Compilation flags:
>
>           CFLAGS = -O0 -mcpu=v8
>         CXXFLAGS = -O0 -mcpu=v8
>         CPPFLAGS = -I/opt/csw/include
>           FFLAGS = -O0 -mcpu=v8
>          FCFLAGS = -O0 -mcpu=v8
>          LDFLAGS = -L/opt/csw/gcc4/lib/. -mcpu=v8 -lgnugetopt -L/opt/csw/lib
>       LD_OPTIONS = -R/opt/csw/gcc4/lib -R/opt/csw/lib/$ISALIST -R/opt/csw/lib
>          ASFLAGS =
>         OPTFLAGS = -O0 -mcpu=v8
>
> When running the tests by hand:
>
> gmake[5]: Entering directory
> `/home/maciej/src/opencsw/pkg/ppl/trunk/work/solaris9-sparc/build-isa-sparcv8/ppl-0.11.2/tests/Partially_Reduced_Product'
> (...)
> FAIL: bounds1
> (..._
> FAIL: smashproduct1
>
> When running the binary by hand, I see a segfault:
>
> maciej at unstable9s :~/src/opencsw/pkg/ppl/trunk>
> work/solaris9-sparc/build-isa-sparcv8/ppl-0.11.2/tests/Partially_Reduced_Product/bounds1
> Bus Error (core dumped)

Hi Maciej,

can you please define the environment variable `PPL_NOISY_TESTS'
to anything, just before running `bounds1' and `smashproduct1'
by hand?  Then please send us the output.

> Do you have an idea what might be the problem?

Not at this moment.
Cordially,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it