Making check in . make[1]: Entering directory `/sources/ppl-0.12.1' make[1]: Leaving directory `/sources/ppl-0.12.1' Making check in utils make[1]: Entering directory `/sources/ppl-0.12.1/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/sources/ppl-0.12.1/utils' Making check in src make[1]: Entering directory `/sources/ppl-0.12.1/src' make check-am make[2]: Entering directory `/sources/ppl-0.12.1/src' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/sources/ppl-0.12.1/src' make[1]: Leaving directory `/sources/ppl-0.12.1/src' Making check in tests make[1]: Entering directory `/sources/ppl-0.12.1/tests' Making check in . make[2]: Entering directory `/sources/ppl-0.12.1/tests' make libppl_tests.a make[3]: Entering directory `/sources/ppl-0.12.1/tests' g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I.. -I../src -I../src -fexceptions -g -frounding-math -W -Wall -MT files.o -MD -MP -MF .deps/files.Tpo -c -o files.o files.cc mv -f .deps/files.Tpo .deps/files.Po g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I.. -I../src -I../src -fexceptions -g -frounding-math -W -Wall -MT ppl_test.o -MD -MP -MF .deps/ppl_test.Tpo -c -o ppl_test.o ppl_test.cc mv -f .deps/ppl_test.Tpo .deps/ppl_test.Po rm -f libppl_tests.a ar cru libppl_tests.a files.o ppl_test.o ranlib libppl_tests.a make[3]: Leaving directory `/sources/ppl-0.12.1/tests' make[2]: Leaving directory `/sources/ppl-0.12.1/tests' Making check in Concrete_Expression make[2]: Entering directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 \ run_tests make[3]: Entering directory `/sources/ppl-0.12.1/tests/Concrete_Expression' g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o C_Expr C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/C_Expr C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o linearform1 linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/linearform1 linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o linearize linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/linearize linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o digitalfilters1 digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/digitalfilters1 digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o bdshape1 bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/bdshape1 bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o bdshape2 bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/bdshape2 bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o octagonalshape1 octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/octagonalshape1 octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o octagonalshape2 octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/octagonalshape2 octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o polyhedron1 polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/polyhedron1 polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib g++ -isystem /usr/include -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -fexceptions -g -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link,/usr/lib:/lib -o polyhedron2 polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lgmpxx -lgmp libtool: link: g++ -isystem /usr/include -g -frounding-math -W -Wall -Wl,-rpath-link -Wl,/usr/lib:/lib -o .libs/polyhedron2 polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so /usr/lib/libgmpxx.so /tools/lib/../lib/libstdc++.so /usr/lib/libgmp.so -Wl,-rpath -Wl,/tools/lib/../lib make[3]: Nothing to be done for `run_tests'. make[3]: Leaving directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make check-TESTS make[3]: Entering directory `/sources/ppl-0.12.1/tests/Concrete_Expression' MAKE="make" ./run_tests **************************** float/IEEE754_SINGLE **************************** make[4]: Entering directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 \ run_tests make[5]: Entering directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make[5]: `C_Expr' is up to date. make[5]: `linearform1' is up to date. make[5]: `linearize' is up to date. make[5]: `digitalfilters1' is up to date. make[5]: `bdshape1' is up to date. make[5]: `bdshape2' is up to date. make[5]: `octagonalshape1' is up to date. make[5]: `octagonalshape2' is up to date. make[5]: `polyhedron1' is up to date. make[5]: `polyhedron2' is up to date. make[5]: Nothing to be done for `run_tests'. make[5]: Leaving directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/sources/ppl-0.12.1/tests/Concrete_Expression' PASS: C_Expr /bin/sh: line 5: 9484 Segmentation fault ${dir}$tst FAIL: linearform1 PASS: linearize PASS: digitalfilters1 /bin/sh: line 5: 9549 Segmentation fault ${dir}$tst FAIL: bdshape1 /bin/sh: line 5: 9572 Segmentation fault ${dir}$tst FAIL: bdshape2 /bin/sh: line 5: 9595 Segmentation fault ${dir}$tst FAIL: octagonalshape1 /bin/sh: line 5: 9618 Segmentation fault ${dir}$tst FAIL: octagonalshape2 PASS: polyhedron1 /bin/sh: line 5: 9662 Segmentation fault ${dir}$tst FAIL: polyhedron2 ====================================== 6 of 10 tests failed Please report to ppl-devel@cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[5]: Leaving directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make[4]: *** [check-am] Error 2 make[4]: Leaving directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make[3]: *** [run_tests.stamp] Error 1 make[3]: Leaving directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make[2]: *** [check-am] Error 2 make[2]: Leaving directory `/sources/ppl-0.12.1/tests/Concrete_Expression' make[1]: *** [check-recursive] Error 1 make[1]: Leaving directory `/sources/ppl-0.12.1/tests' make: *** [check-recursive] Error 1