ppl-1.1pre3 make check failed
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@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
On 11/01/12 07:33, simpleisbest411@yahoo.co.jp wrote:
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 . [...]
Dear Shin,
thanks for the report. I believe your observation shows a bug in Cygwin whereby a bogus version of std::floor(long double) is provided. You can verify this hypothesis using the C++ program
#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; }
The program will return 1 if the version of Cygwin you are using is affected (the one I am using is affected).
We have just uploaded a new snapshot of PPL 1.1 (to be released soon) that works around this problem. Can you please test it? You can find the snapshot at
http://bugseng.com/products/ppl/download/ftp/snapshots/
Please let us know how it goes. Kind regards,
Roberto
Dear Roberto,
I believe your observation shows a bug in Cygwin whereby a bogus version of std::floor(long double) is provided.
#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; }
The program will return 1 if the version of Cygwin you are using is affected (the one I am using is affected).
Oh, this bug, I learned for the first time.
We have just uploaded a new snapshot of PPL 1.1 (to be released soon) that works around this problem. Can you please test it? You can find the snapshot at http://bugseng.com/products/ppl/download/ftp/snapshots/ Please let us know how it goes.
Thank you. I tried, but the following error was displayed.
make[3]: Leaving directory `/usr/local/src/ppl-1.1pre5/tests/Polyhedron' make check-TESTS make[3]: Entering directory `/usr/local/src/ppl-1.1pre5/tests/Polyhedron' PASS: addcongruence1.exe PASS: addcongruences1.exe PASS: addconstraint1.exe PASS: addconstraints1.exe PASS: addconstraints2.exe PASS: addgenerator1.exe PASS: addgenerator2.exe PASS: addgenerators1.exe PASS: addgenerators2.exe PASS: addspacedims1.exe PASS: addspacedims2.exe PASS: affineimage1.exe PASS: affineimage2.exe PASS: affinepreimage1.exe PASS: affinetrans.exe PASS: append1.exe PASS: append2.exe PASS: ascii_dump_load1.exe PASS: ascii_dump_load2.exe PASS: ascii_dump_load3.exe PASS: bgp99extrapolation1.exe PASS: bgp99extrapolation2.exe PASS: bhrz03widening1.exe PASS: bhrz03widening2.exe PASS: bhrz03widening3.exe PASS: bhz03widening1.exe PASS: bounded1.exe PASS: boundedaffineimage1.exe PASS: boundedaffinepreimage1.exe PASS: boundedbhrz03extrapolation1.exe PASS: boundedh79extrapolation1.exe PASS: bounds1.exe PASS: cnncconversion1.exe PASS: concatenate1.exe PASS: congruences1.exe PASS: constrains1.exe PASS: constraints1.exe PASS: contains1.exe PASS: contains2.exe PASS: containsintegerpoint1.exe PASS: disjoint1.exe PASS: disjoint2.exe PASS: dropsomenonintegerpoints1.exe PASS: dropsomenonintegerpoints2.exe PASS: dualhypercubes.exe PASS: empty1.exe PASS: equals1.exe PASS: exceptions1.exe PASS: exceptions2.exe PASS: exceptions3.exe PASS: expandspacedim1.exe PASS: expandspacedim2.exe PASS: foldspacedims1.exe PASS: foldspacedims2.exe PASS: frequency1.exe PASS: frombdshape1.exe PASS: frombox1.exe PASS: frombox2.exe PASS: fromgrid1.exe PASS: fromoctagonalshape1.exe PASS: generalizedaffineimage1.exe PASS: generalizedaffineimage2.exe PASS: generalizedaffinepreimage1.exe PASS: generalizedaffinepreimage2.exe PASS: generators1.exe PASS: geomcovers1.exe PASS: h79widening1.exe PASS: h79widening2.exe PASS: hybrid.exe PASS: intersection1.exe PASS: limitedbhrz03extrapolation1.exe PASS: limitedh79extrapolation1.exe PASS: linearexpression1.exe PASS: linearpartition1.exe PASS: linearsystem1.exe PASS: mapspacedims1.exe PASS: matrix1.exe PASS: max_min1.exe PASS: maxspacedim1.exe PASS: mc91.exe PASS: membytes1.exe /bin/sh: line 5: 8056 Segmentation fault (core dumped) ${dir}$tst FAIL: memory2.exe PASS: minconstraints1.exe PASS: minconstraints2.exe PASS: mingenerators1.exe PASS: mingenerators2.exe PASS: nncminimize1.exe PASS: nncminimize2.exe PASS: numberinput1.exe PASS: onepoint.exe PASS: permute.exe PASS: polydifference1.exe PASS: polydifference2.exe PASS: polyhull1.exe PASS: polyhull2.exe PASS: polyhullifexact1.exe PASS: polyhullifexact2.exe PASS: randphull1.exe PASS: refinewithcongruence1.exe PASS: refinewithcongruences1.exe PASS: refinewithconstraint1.exe PASS: refinewithconstraints1.exe PASS: relations1.exe PASS: relations2.exe PASS: relations3.exe PASS: removespacedims1.exe PASS: removespacedims2.exe PASS: simplifyusingcontext1.exe PASS: smm1.exe PASS: sparserow1.exe PASS: termination1.exe PASS: termination2.exe PASS: timeelapse1.exe PASS: timeelapse2.exe PASS: topclosed1.exe PASS: topclosure1.exe PASS: unconstrain1.exe PASS: universe1.exe PASS: universe2.exe PASS: variablesset1.exe PASS: watchdog1.exe PASS: weightwatch1.exe PASS: wrap1.exe PASS: wrap2.exe PASS: writeconsys1.exe PASS: writegensys1.exe PASS: writepolyhedron1.exe PASS: writepolyhedron2.exe PASS: writerelation1.exe PASS: writevariable1.exe PASS: nnc_addcongruence1.exe PASS: nnc_addcongruences1.exe PASS: nnc_addconstraint1.exe PASS: nnc_addconstraints1.exe PASS: nnc_addgenerator1.exe PASS: nnc_addgenerators1.exe PASS: nnc_addspacedims1.exe PASS: nnc_affineimage1.exe PASS: nnc_affinepreimage1.exe PASS: nnc_affinetrans.exe PASS: nnc_append1.exe PASS: nnc_append2.exe PASS: nnc_ascii_dump_load1.exe PASS: nnc_ascii_dump_load2.exe PASS: nnc_bgp99extrapolation1.exe PASS: nnc_bhrz03widening1.exe PASS: nnc_bhrz03widening2.exe PASS: nnc_bounded1.exe PASS: nnc_boundedaffineimage1.exe PASS: nnc_boundedaffinepreimage1.exe PASS: nnc_boundedbhrz03extrapolation1.exe PASS: nnc_boundedh79extrapolation1.exe PASS: nnc_bounds1.exe PASS: nnc_concatenate1.exe PASS: nnc_congruences1.exe PASS: nnc_constrains1.exe PASS: nnc_constraints1.exe PASS: nnc_contains1.exe PASS: nnc_containsintegerpoint1.exe PASS: nnc_disjoint1.exe PASS: nnc_dropsomenonintegerpoints1.exe PASS: nnc_empty1.exe PASS: nnc_equals1.exe PASS: nnc_exceptions1.exe PASS: nnc_exceptions3.exe PASS: nnc_expandspacedim1.exe PASS: nnc_foldspacedims1.exe PASS: nnc_frombdshape1.exe PASS: nnc_frombox1.exe PASS: nnc_fromgrid1.exe PASS: nnc_fromoctagonalshape1.exe PASS: nnc_generalizedaffineimage1.exe PASS: nnc_generalizedaffinepreimage1.exe PASS: nnc_generators1.exe PASS: nnc_geomcovers1.exe PASS: nnc_h79widening1.exe PASS: nnc_intersection1.exe PASS: nnc_simplifyusingcontext1.exe PASS: nnc_limitedbhrz03extrapolation1.exe PASS: nnc_limitedh79extrapolation1.exe PASS: nnc_linearpartition1.exe PASS: nnc_mapspacedims1.exe PASS: nnc_max_min1.exe PASS: nnc_mc91.exe PASS: nnc_membytes1.exe PASS: nnc_minconstraints1.exe PASS: nnc_mingenerators1.exe PASS: nnc_onepoint.exe PASS: nnc_permute.exe PASS: nnc_polydifference1.exe PASS: nnc_polyhull1.exe PASS: nnc_polyhullifexact1.exe PASS: nnc_randphull1.exe PASS: nnc_relations1.exe PASS: nnc_relations2.exe PASS: nnc_removespacedims1.exe PASS: nnc_smm1.exe PASS: nnc_timeelapse1.exe PASS: nnc_unconstrain1.exe PASS: nnc_universe1.exe PASS: nnc_wrap1.exe PASS: nnc_wrap2.exe PASS: nnc_writepolyhedron1.exe ====================================== 1 of 203 tests failed Please report to ppl-devel@cs.unipr.it ======================================
Environment: ppl 1.1pre5 with configure --with-gmp=/usr/local --enable-static --disable-shared; make -j8 gmp 5.0.5 with configure --enable-cxx --enable-static --disable-shared --prefix=/usr/local; make CPPFLAGS=-fexceptions -j8 g++ 4.5.3 win7 proffesional SP1 64bit japanese cygwin 1.7.17-1 intel core i7 2600 4GBytes memory
Regards, Shin
On 11/13/12 13:48, simpleisbest411@yahoo.co.jp wrote:
Dear Roberto,
I believe your observation shows a bug in Cygwin whereby a bogus version of std::floor(long double) is provided.
#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; }
The program will return 1 if the version of Cygwin you are using is affected (the one I am using is affected).
Oh, this bug, I learned for the first time.
We have just uploaded a new snapshot of PPL 1.1 (to be released soon) that works around this problem. Can you please test it? You can find the snapshot at http://bugseng.com/products/ppl/download/ftp/snapshots/ Please let us know how it goes.
Thank you. I tried, but the following error was displayed.
make[3]: Leaving directory `/usr/local/src/ppl-1.1pre5/tests/Polyhedron' make check-TESTS make[3]: Entering directory `/usr/local/src/ppl-1.1pre5/tests/Polyhedron' PASS: addcongruence1.exe PASS: addcongruences1.exe PASS: addconstraint1.exe PASS: addconstraints1.exe PASS: addconstraints2.exe PASS: addgenerator1.exe PASS: addgenerator2.exe PASS: addgenerators1.exe PASS: addgenerators2.exe PASS: addspacedims1.exe PASS: addspacedims2.exe PASS: affineimage1.exe PASS: affineimage2.exe PASS: affinepreimage1.exe PASS: affinetrans.exe PASS: append1.exe PASS: append2.exe PASS: ascii_dump_load1.exe PASS: ascii_dump_load2.exe PASS: ascii_dump_load3.exe PASS: bgp99extrapolation1.exe PASS: bgp99extrapolation2.exe PASS: bhrz03widening1.exe PASS: bhrz03widening2.exe PASS: bhrz03widening3.exe PASS: bhz03widening1.exe PASS: bounded1.exe PASS: boundedaffineimage1.exe PASS: boundedaffinepreimage1.exe PASS: boundedbhrz03extrapolation1.exe PASS: boundedh79extrapolation1.exe PASS: bounds1.exe PASS: cnncconversion1.exe PASS: concatenate1.exe PASS: congruences1.exe PASS: constrains1.exe PASS: constraints1.exe PASS: contains1.exe PASS: contains2.exe PASS: containsintegerpoint1.exe PASS: disjoint1.exe PASS: disjoint2.exe PASS: dropsomenonintegerpoints1.exe PASS: dropsomenonintegerpoints2.exe PASS: dualhypercubes.exe PASS: empty1.exe PASS: equals1.exe PASS: exceptions1.exe PASS: exceptions2.exe PASS: exceptions3.exe PASS: expandspacedim1.exe PASS: expandspacedim2.exe PASS: foldspacedims1.exe PASS: foldspacedims2.exe PASS: frequency1.exe PASS: frombdshape1.exe PASS: frombox1.exe PASS: frombox2.exe PASS: fromgrid1.exe PASS: fromoctagonalshape1.exe PASS: generalizedaffineimage1.exe PASS: generalizedaffineimage2.exe PASS: generalizedaffinepreimage1.exe PASS: generalizedaffinepreimage2.exe PASS: generators1.exe PASS: geomcovers1.exe PASS: h79widening1.exe PASS: h79widening2.exe PASS: hybrid.exe PASS: intersection1.exe PASS: limitedbhrz03extrapolation1.exe PASS: limitedh79extrapolation1.exe PASS: linearexpression1.exe PASS: linearpartition1.exe PASS: linearsystem1.exe PASS: mapspacedims1.exe PASS: matrix1.exe PASS: max_min1.exe PASS: maxspacedim1.exe PASS: mc91.exe PASS: membytes1.exe /bin/sh: line 5: 8056 Segmentation fault (core dumped) ${dir}$tst FAIL: memory2.exe PASS: minconstraints1.exe PASS: minconstraints2.exe PASS: mingenerators1.exe PASS: mingenerators2.exe PASS: nncminimize1.exe PASS: nncminimize2.exe PASS: numberinput1.exe PASS: onepoint.exe PASS: permute.exe PASS: polydifference1.exe PASS: polydifference2.exe PASS: polyhull1.exe PASS: polyhull2.exe PASS: polyhullifexact1.exe PASS: polyhullifexact2.exe PASS: randphull1.exe PASS: refinewithcongruence1.exe PASS: refinewithcongruences1.exe PASS: refinewithconstraint1.exe PASS: refinewithconstraints1.exe PASS: relations1.exe PASS: relations2.exe PASS: relations3.exe PASS: removespacedims1.exe PASS: removespacedims2.exe PASS: simplifyusingcontext1.exe PASS: smm1.exe PASS: sparserow1.exe PASS: termination1.exe PASS: termination2.exe PASS: timeelapse1.exe PASS: timeelapse2.exe PASS: topclosed1.exe PASS: topclosure1.exe PASS: unconstrain1.exe PASS: universe1.exe PASS: universe2.exe PASS: variablesset1.exe PASS: watchdog1.exe PASS: weightwatch1.exe PASS: wrap1.exe PASS: wrap2.exe PASS: writeconsys1.exe PASS: writegensys1.exe PASS: writepolyhedron1.exe PASS: writepolyhedron2.exe PASS: writerelation1.exe PASS: writevariable1.exe PASS: nnc_addcongruence1.exe PASS: nnc_addcongruences1.exe PASS: nnc_addconstraint1.exe PASS: nnc_addconstraints1.exe PASS: nnc_addgenerator1.exe PASS: nnc_addgenerators1.exe PASS: nnc_addspacedims1.exe PASS: nnc_affineimage1.exe PASS: nnc_affinepreimage1.exe PASS: nnc_affinetrans.exe PASS: nnc_append1.exe PASS: nnc_append2.exe PASS: nnc_ascii_dump_load1.exe PASS: nnc_ascii_dump_load2.exe PASS: nnc_bgp99extrapolation1.exe PASS: nnc_bhrz03widening1.exe PASS: nnc_bhrz03widening2.exe PASS: nnc_bounded1.exe PASS: nnc_boundedaffineimage1.exe PASS: nnc_boundedaffinepreimage1.exe PASS: nnc_boundedbhrz03extrapolation1.exe PASS: nnc_boundedh79extrapolation1.exe PASS: nnc_bounds1.exe PASS: nnc_concatenate1.exe PASS: nnc_congruences1.exe PASS: nnc_constrains1.exe PASS: nnc_constraints1.exe PASS: nnc_contains1.exe PASS: nnc_containsintegerpoint1.exe PASS: nnc_disjoint1.exe PASS: nnc_dropsomenonintegerpoints1.exe PASS: nnc_empty1.exe PASS: nnc_equals1.exe PASS: nnc_exceptions1.exe PASS: nnc_exceptions3.exe PASS: nnc_expandspacedim1.exe PASS: nnc_foldspacedims1.exe PASS: nnc_frombdshape1.exe PASS: nnc_frombox1.exe PASS: nnc_fromgrid1.exe PASS: nnc_fromoctagonalshape1.exe PASS: nnc_generalizedaffineimage1.exe PASS: nnc_generalizedaffinepreimage1.exe PASS: nnc_generators1.exe PASS: nnc_geomcovers1.exe PASS: nnc_h79widening1.exe PASS: nnc_intersection1.exe PASS: nnc_simplifyusingcontext1.exe PASS: nnc_limitedbhrz03extrapolation1.exe PASS: nnc_limitedh79extrapolation1.exe PASS: nnc_linearpartition1.exe PASS: nnc_mapspacedims1.exe PASS: nnc_max_min1.exe PASS: nnc_mc91.exe PASS: nnc_membytes1.exe PASS: nnc_minconstraints1.exe PASS: nnc_mingenerators1.exe PASS: nnc_onepoint.exe PASS: nnc_permute.exe PASS: nnc_polydifference1.exe PASS: nnc_polyhull1.exe PASS: nnc_polyhullifexact1.exe PASS: nnc_randphull1.exe PASS: nnc_relations1.exe PASS: nnc_relations2.exe PASS: nnc_removespacedims1.exe PASS: nnc_smm1.exe PASS: nnc_timeelapse1.exe PASS: nnc_unconstrain1.exe PASS: nnc_universe1.exe PASS: nnc_wrap1.exe PASS: nnc_wrap2.exe PASS: nnc_writepolyhedron1.exe ====================================== 1 of 203 tests failed Please report to ppl-devel@cs.unipr.it ======================================
Environment: ppl 1.1pre5 with configure --with-gmp=/usr/local --enable-static --disable-shared; make -j8 gmp 5.0.5 with configure --enable-cxx --enable-static --disable-shared --prefix=/usr/local; make CPPFLAGS=-fexceptions -j8 g++ 4.5.3 win7 proffesional SP1 64bit japanese cygwin 1.7.17-1 intel core i7 2600 4GBytes memory
Dear Shin,
I have tried to reproduce your observation but I failed up to now. Can you please send the config.log file? Thanks,
Roberto
participants (2)
-
Roberto Bagnara -
simpleisbest411＠yahoo.co.jp