[PPL-devel] ppl 0.9 make check failures on i686-apple-darwin9

[Roberto Bagnara]

Jack Howarth wrote:
>    In preparation for creating fink gcc44 packages, I have
> created a fink ppl package for the release 0.9 version on
> Mac OS X 10.5. I noticed that the make check of a stock
> build of ppl 0.9 on i686-apple-darwin9 exhibits five test
> failures...
> 
> make[5]: Nothing to be done for `run_tests'.
> make  check-TESTS
> PASS: addconstraints1
> PASS: addspacedims1
> PASS: affinedimension1
> failed tests: test08 
> FAIL: affineimage1
> failed tests: test09 test11 
> FAIL: affineimage2
> PASS: affinepreimage1
> failed tests: test06 
> FAIL: affinepreimage2
> PASS: ascii_dump_load1
> PASS: bdsdifference1
> PASS: bdshull1
> PASS: bgp99extrapolation1
> PASS: bhmz05widening1
> PASS: bhz03widening1
> PASS: cc76narrowing1
> PASS: cc76extrapolation1
> PASS: closure1
> PASS: concatenate1
> PASS: constraints1
> PASS: contains1
> PASS: empty1
> PASS: equality1
> PASS: fromgensys1
> PASS: generalizedaffineimage1
> failed tests: test06 
> FAIL: generalizedaffineimage2
> failed tests: test07 test14 
> FAIL: generalizedaffinepreimage1
> PASS: generalizedaffinepreimage2
> PASS: geomcovers1
> PASS: h79widening1
> PASS: intersection1
> PASS: limitedbhmz05extrapolation1
> PASS: limitedcc76extrapolation1
> PASS: limitedh79extrapolation1
> PASS: mapspacedims1
> PASS: maxspacedim
> PASS: minconstraints1
> PASS: relations1
> PASS: relations2
> PASS: relations3
> PASS: removespacedims1
> PASS: timeelapse1
> PASS: universe1
> PASS: writebdshape1
> ======================================
> 5 of 42 tests failed
> Please report to ppl-devel at cs.unipr.it
> 
> Are these expected for ppl 0.9 on i686-apple-darwin9?

Dear Jack,

no, they are not expected, but none of us has access to such
a machine.  Can you please retry with the PPL_NOISY_TESTS
environment variable defined to "yes"?

> Also,
> might these be fixed in the ppl cvs? I ask because my initial
> testing of the graphite patch for gcc 4.4 shows a couple unexpected
> failures...
> 
> FAIL: gcc.dg/graphite/scop-16.c (test for excess errors)
> FAIL: gcc.dg/graphite/scop-16.c scan-graphite-dump-times graphite "Interchange valid for loops 2 and 3:" 1: dump file does not exist
> FAIL: gcc.dg/graphite/scop-17.c (test for excess errors)
> FAIL: gcc.dg/graphite/scop-17.c scan-graphite-dump-times graphite "Interchange not valid for loops 2 and 3:" 1: dump file does not exist
> 
> which are...
> 
> Executing on host: /sw/src/fink.build/gcc44-4.3.999-20080805/darwin_objdir/gcc/xgcc -B/sw/src/fink.build/gcc44-4.3.999-20080805/darwin_objdir/gcc
> / /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c   -O2 -floop-block -fdump-tree-graphite-all 
> -fno-show-column -S  -o scop-16.s    (timeout = 300)
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c: In function 'test':
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c:7: error: size of array 'a' is too large
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c:8: error: size of array 'b' is too large
> compiler exited with status 1
> output is:
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c: In function 'test':
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c:7: error: size of array 'a' is too large
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c:8: error: size of array 'b' is too large
> 
> FAIL: gcc.dg/graphite/scop-16.c (test for excess errors)
> Excess errors:
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c:7: error: size of array 'a' is too large
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-16.c:8: error: size of array 'b' is too large
> 
> FAIL: gcc.dg/graphite/scop-16.c scan-graphite-dump-times graphite "Interchange valid for loops 2 and 3:" 1: dump file does not exist
> Executing on host: /sw/src/fink.build/gcc44-4.3.999-20080805/darwin_objdir/gcc/xgcc -B/sw/src/fink.build/gcc44-4.3.999-20080805/darwin_objdir/gcc
> / /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-17.c   -O2 -floop-block -fdump-tree-graphite-all 
> -fno-show-column -S  -o scop-17.s    (timeout = 300)
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-17.c: In function 'test':
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-17.c:7: error: size of array 'a' is too large
> compiler exited with status 1
> output is:
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-17.c: In function 'test':
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-17.c:7: error: size of array 'a' is too large
> FAIL: gcc.dg/graphite/scop-17.c (test for excess errors)
> Excess errors:
> /sw/src/fink.build/gcc44-4.3.999-20080805/gcc-4.4-20080805/gcc/testsuite/gcc.dg/graphite/scop-17.c:7: error: size of array 'a' is too large
> 
> FAIL: gcc.dg/graphite/scop-17.c scan-graphite-dump-times graphite "Interchange not valid for loops 2 and 3:" 1: dump file does not exist
> 
> ...and I am concerned these may be due to a buggy build of ppl 0.9. Thanks in advance
> for any advice.

Maybe.  With more information we may be able to say more.

>             Jack
> ps I checked the Fedora 9 ppl srpm and didn't notice any bugfix specific patches.

Indeed.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it