November 2012 - PPL-devel - BUGSENG Mailman

ppl-1.1pre3 make check failed
by simpleisbest411＠yahoo.co.jp 25 Dec '12

25 Dec '12

Hi, I'm having problems checking ppl-1.1pre3 on a cygwin1.7.17-1 and Win7 Pro. 64bit enviroment, please check this log error: $ make -j8 check Making check in . make[1]: Entering directory `/usr/local/src/ppl-1.1pre3' make[1]: Leaving directory `/usr/local/src/ppl-1.1pre3' Making check in utils make[1]: Entering directory `/usr/local/src/ppl-1.1pre3/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/usr/local/src/ppl-1.1pre3/utils' Making check in src make[1]: Entering directory `/usr/local/src/ppl-1.1pre3/src' make check-am make[2]: Entering directory `/usr/local/src/ppl-1.1pre3/src' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/usr/local/src/ppl-1.1pre3/src' make[1]: Leaving directory `/usr/local/src/ppl-1.1pre3/src' Making check in tests make[1]: Entering directory `/usr/local/src/ppl-1.1pre3/tests' Making check in . make[2]: Entering directory `/usr/local/src/ppl-1.1pre3/tests' make libppl_tests.a make[3]: Entering directory `/usr/local/src/ppl-1.1pre3/tests' g++ -DHAVE_CONFIG_H -I. -I.. -I../src -I../src -I/usr/local/include -g -O2 -frounding-math -W -Wall -MT files.o -MD -MP -MF .deps/files.Tpo -c -o files.o files.cc g++ -DHAVE_CONFIG_H -I. -I.. -I../src -I../src -I/usr/local/include -g -O2 -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/files.Tpo .deps/files.Po 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 `/usr/local/src/ppl-1.1pre3/tests' make[2]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests' Making check in Concrete_Expression make[2]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[3]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[3]: Nothing to be done for `run_tests'. mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[3]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[3]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' MAKE="make" ./run_tests **************************** float/IEEE754_SINGLE **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[5]: `C_Expr.exe' is up to date. make[5]: `linearform1.exe' is up to date. make[5]: `linearize.exe' is up to date. make[5]: `digitalfilters1.exe' is up to date. make[5]: `bdshape1.exe' is up to date. make[5]: `bdshape2.exe' is up to date. make[5]: `octagonalshape1.exe' is up to date. make[5]: `octagonalshape2.exe' is up to date. make[5]: `polyhedron1.exe' is up to date. make[5]: `polyhedron2.exe' is up to date. make[5]: Nothing to be done for `run_tests'. make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** float/IEEE754_DOUBLE **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** float/IEEE754_QUAD **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** double/IEEE754_DOUBLE **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** double/IEEE754_QUAD **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** long_double/IEEE754_QUAD **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe tests failed: test04 test05 FAIL: polyhedron1.exe tests failed: test04 test05 FAIL: polyhedron2.exe ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: *** [check-am] Error 2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[3]: *** [run_tests.stamp] Error 1 make[3]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[2]: *** [check-am] Error 2 make[2]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[1]: *** [check-recursive] Error 1 make[1]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests' make: *** [check-recursive] Error 1 regards, Shin

2 3

Regression test failures on OpenBSD
by Edd Barrett 12 Nov '12

12 Nov '12

Hi, Whilst building a port of PPL to OpenBSD I have encountered the following regression test failures: ---8<--- gmake[5]: Entering directory `/usr/ports/pobj/ppl-1.0/ppl-1.0/tests/Concrete_Expression' PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 FAIL: polyhedron1 tests failed: test04 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== ---8<--- This does not give a huge amount of information. How can I get more information? I had a prod around in the tests dir but did not see any obvious log files. I am running OpenBSD-current/amd64 with PPL-1.0 release. Please CC me, I am not subscribed. Thanks -- Edd Barrett Programming Languages and Systems Research University of Kent http://www.cs.kent.ac.uk/people/rpg/eb771/

5 10

[GIT] ppl/ppl(master): Detect bogus versions of std::floor(long double).
by Roberto Bagnara 12 Nov '12

12 Nov '12

Module: ppl/ppl Branch: master Commit: ec6f51a39abaa212a28f1a34c912f02a24d2e4ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec6f51a39aba… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Nov 12 09:31:19 2012 +0100 Detect bogus versions of std::floor(long double). --- configure.ac | 2 +- m4/ac_cxx_long_double_binary_format.m4 | 25 ++++++++++++++++++++++++- 2 files changed, 25 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index 5dc2877..bc1b7da 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre4], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre5], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/m4/ac_cxx_long_double_binary_format.m4 b/m4/ac_cxx_long_double_binary_format.m4 index 588d4b3..53a6e36 100644 --- a/m4/ac_cxx_long_double_binary_format.m4 +++ b/m4/ac_cxx_long_double_binary_format.m4 @@ -314,7 +314,30 @@ fi AC_MSG_RESULT($ac_cxx_long_double_binary_format) -if test x"$ac_cxx_long_double_binary_format" = x"unknown" || test $ac_cv_can_control_fpu = 0 +AC_MSG_CHECKING([whether std::floor(long double) is buggy]) +AC_RUN_IFELSE([AC_LANG_SOURCE([[#include <cmath> +#include <cstdlib> + +long double x = 13311002825915415087.0L; + +int main() { + long double y = std::floor(x); + if (x != y) + return 1; + else + return 0; +} + ]])], + ac_std_floor_long_double_is_buggy=no + AC_MSG_RESULT(no), + ac_std_floor_long_double_is_buggy=yes + AC_MSG_RESULT(yes), + ac_std_floor_long_double_is_buggy=no + AC_MSG_RESULT([assuming is not])) + +if test x"$ac_cxx_long_double_binary_format" = x"unknown" \ +|| test $ac_cv_can_control_fpu = 0 \ +|| test x"$ac_std_floor_long_double_is_buggy" = x"yes" then ac_supported_long_double=0 else

1 0

make check error on OS X
by Brad 11 Nov '12

11 Nov '12

Hello, The attached file logs certain errors that occurred during make check. I am running Lion v10.7.4 on a MacBook Pro with the Core 2 Duo processor. The gcc version is 4.2.3 that came along with XCode tools. I hope this report is helpful to you. Please let me know if you need any additional information. Best wishes, Brad -- Brad Mells Quantum Harmonics 408 480-9916

3 2

[GIT] ppl/ppl(master): Do recognize also llvm-gcc and llvm-g++.
by Roberto Bagnara 11 Nov '12

11 Nov '12

Module: ppl/ppl Branch: master Commit: de757693f91757b9150178d6dd6b6f230a1261f6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de757693f917… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Nov 11 12:38:59 2012 +0100 Do recognize also llvm-gcc and llvm-g++. Floating-point-based abstractions are disabled when clang++ or llvm-g++ are detected. --- configure.ac | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++------ 1 files changed, 50 insertions(+), 6 deletions(-) diff --git a/configure.ac b/configure.ac index b573f51..5dc2877 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre3], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre4], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) @@ -178,7 +178,7 @@ AM_CONDITIONAL(ICC, test x"$ICC" = xyes) # The clang compiler masquerades as gcc, but we want to know. if test x"$GCC" = xyes then - AC_MSG_CHECKING([whether we are actually using Clang]) + AC_MSG_CHECKING([whether we are actually using clang]) AC_LANG_PUSH(C) AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ #ifndef __clang__ @@ -194,6 +194,28 @@ choke me AC_LANG_POP(C) fi +# The llvm-gcc compiler masquerades as gcc, but we want to know. +if test x"$GCC" = xyes +then + AC_MSG_CHECKING([whether we are actually using llvm-gcc]) + AC_LANG_PUSH(C) + save_CFLAGS="$CFLAGS" + CFLAGS="-fplugin-arg-dragonegg-emit-ir -S" + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +int main() { + return 0; +} +]])], + AC_MSG_RESULT(yes) + LLVM_GCC=yes, + AC_MSG_RESULT(no) + LLVM_GCC=no, + AC_MSG_RESULT(no) + LLVM_GCC=no) + CFLAGS="$save_CFLAGS" + AC_LANG_POP(C) +fi + save_CXXFLAGS="$CXXFLAGS" AC_PROG_CXX CXXFLAGS="$save_CXXFLAGS" @@ -236,6 +258,29 @@ choke me AC_LANG_POP(C++) fi +# The llvm-++ compiler masquerades as g++, but we want to know. +if test x"$GXX" = xyes +then + AC_MSG_CHECKING([whether we are actually using llvm-g++]) + AC_LANG_PUSH(C++) + save_CXXFLAGS="$CXXFLAGS" + CXXFLAGS="-fplugin-arg-dragonegg-emit-ir -S" + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +int main() { + return 0; +} +]])], + AC_MSG_RESULT(yes) + LLVM_GXX=yes, + AC_MSG_RESULT(no) + LLVM_GXX=no, + AC_MSG_RESULT(no) + LLVM_GXX=no) + CXXFLAGS="$save_CXXFLAGS" + AC_LANG_POP(C++) +fi + + AC_PROG_FGREP AC_PROG_EGREP AC_PROG_SED @@ -492,15 +537,14 @@ then then OPT_FLAGS="$OPT_FLAGS -fp-model strict -fp-speculation off" else - # -frounding-math is not yet supported in clang++, if we use it we get - # lots of warnings. - if test x"$CLANGXX" = xyes + # -frounding-math is not yet supported in clang++ or llvm-g++. + if test x"$CLANGXX" = xyes || x"$LLVM_GXX" = xyes then if test x"$use_fpmath" = xyes then AC_MSG_WARN([CANNOT RELY ON DIRECTED ROUNDING: *** DISABLED ALL ABSTRACTIONS BASED ON MACHINE FLOATING-POINT NUMBERS. -*** clang++ has been detected, which does not provide support for +*** A compiler has been detected that does not provide support for *** -frounding-math (or any other option with the same semantics). *** Hence, we cannot rely on floating-point computations to happen *** in agreement with the rounding direction(s) used by the PPL.])

1 0

Narrowing for polyhedral domains
by Zhoulai 08 Nov '12

08 Nov '12

Dear all, This may be a silly question. But I would like to know why narrowing for polyhedral domains is not implemented in PPL? I recently experienced many cases where analysis using Int64_Box gives more precise results than NNC_Polyhedral because the former provides a narrowing. What do you think? Thanks. Zell.

2 1