[PPL-devel] Testing ppl-0.10pre24 on i686-apple-darwin9

[Roberto Bagnara]

Dominique Dhumieres wrote:
> I have tried to test ppl-0.10pre24 built on i686-apple-darwin9 with gcc
> 4.4.0 from some yesterday trunk.  So far I got 399 "PASS" for 24 "FAIL":
> 
> 15 of them are missing symbols: 
> ...21Grid_Generator_SystemENS_14Grid_GeneratorEEEvRT... (14 times)
> ...17Congruence_SystemENS_10CongruenceEEEvRT...         (once)
> 
> 2 bus errors and 7 "failed tests".

Dear Dominique,

can you please compare
> Also the test 'memory1' has been running for more than four hours without 
> completing. Is this normal? How long is it supposed to run on a 2.1Ghz 
> Core2?
> 
> Note that the present gcc 4.4.0 trunk is rather buggy due to several large 
> merges which can explain some of the failures. If this is the case I can 
> try a build with the 4.3.2 release.
> 
> Dominique
> 
> ================================================================================
> 
> Failures summary (... (1) refers to the first "Symbol not found:").
> 
> --------------------------------------------------------------------------------
> 
> dyld: lazy symbol binding failed: Symbol not found:
> __ZN23Pd14reduce_reducedINS_21Grid_Generator_SystemENS_14Grid_GeneratorEEEvRT_mmmmRKSt6vectorINS0_14Dimension_KindESaIS7_EEb
>   Referenced from: /opt/ppl/ppl-0.10pre24/src/.libs/libppl.7.dylib
>   Expected in: dynamic lookup
> 
> dyld: Symbol not found:
> __ZN23Parma_Polyhedra_Library4Grid14reduce_reducedINS_21Grid_Generator_SystemENS_14Grid_GeneratorEEEvRT_mmmmRKSt6vectorINS0_14Dimension_KindESaIS7_EEb
>   Referenced from: /opt/ppl/ppl-0.10pre24/src/.libs/libppl.7.dylib
>   Expected in: dynamic lookup
> 
> /bin/sh: line 1: 20748 Trace/BPT trap ${dir}$tst 
> FAIL: pointsetpowerset3
> ... (1) 
> FAIL: product1
> ====================================== 
> 2 of 9 tests failed 
> ... (1)
> FAIL: directproduct1
> ... (1)
> FAIL: directproduct2
> ... (1)
> FAIL: directproduct3
> ... (1)
> FAIL: directproduct4
> ... (1)
> FAIL: directproduct5
> ... (1)
> FAIL: directproduct6
> ... (1)
> FAIL: partiallyreducedproduct3
> ... (1)
> FAIL: partiallyreducedproduct4
> ======================================
> 10 of 10 tests failed
> ...
> dyld: lazy symbol binding failed: Symbol not found:
> __ZN23Parma_Polyhedra_Library4Grid14reduce_reducedINS_17Congruence_SystemENS_10CongruenceEEEvRT_mmmmRKSt6vectorINS0_14Dimension_KindESaIS7_EEb
>   Referenced from: /opt/ppl/ppl-0.10pre24/src/.libs/libppl.7.dylib
>   Expected in: dynamic lookup
> 
> dyld: Symbol not found:
> __ZN23Parma_Polyhedra_Library4Grid14reduce_reducedINS_17Congruence_SystemENS_10CongruenceEEEvRT_mmmmRKSt6vectorINS0_14Dimension_KindESaIS7_EEb
>   Referenced from: /opt/ppl/ppl-0.10pre24/src/.libs/libppl.7.dylib
>   Expected in: dynamic lookup
> 
> /bin/sh: line 1: 37239 Trace/BPT trap          ${dir}$tst
> FAIL: fromgrid1
> ... (1)
> FAIL: frompartiallyreducedproduct1
> ... (1)
> FAIL: pointsetpowerset2
> ...
> failed tests: test04
> FAIL: topclosed1
> ...
> failed tests: test02
> FAIL: refinewithconstraints2
> ======================================
> 5 of 62 tests failed
> ...
> ==================
> All 5 tests passed
> ==================
> ...
> /bin/sh: line 1: 53706 Bus error               ${dir}$tst
> FAIL: bhmz05widening1
> ...
> failts: test03 test06 test08
> FAIL: congruences1
> ...
> /bin/sh: line 1: 54359 Bus error               ${dir}$tst
> FAIL: limitedbhmz05extrapolation1
> ...
> ======================================
> 3 of 64 tests failed
> ...
> ===================
> All 65 tests passed
> ===================
> ...
> ===================
> All 65 tests passed
> ===================
> ...
> failed tests: test12
> FAIL: relations2
> ...
> ======================================
> 1 of 65 tests failed
> ...
> failed tests: test01 
> FAIL: ascii_dump_load1
> failed tests: test05 
> FAIL: ascii_dump_load2
> failed tests: test01 
> FAIL: ascii_dump_load3
> ...
> PASS: mc91
> PASS: membytes1
> =====> stuck at 'memory1' for more than four hours on a 2.1Ghz Core2! <====

See http://www.cs.unipr.it/pipermail/ppl-devel/2008-September/012324.html


-- 
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