October 2012 - PPL-devel - BUGSENG Mailman

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

test failure
by Jason Addison 27 Oct '12

27 Oct '12

<<snip>> **************************** long_double/IEEE754_QUAD **************************** make C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 \ run_tests g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -I/Users/jra/pks/gcc-4.7.2/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 ../../../tests/Concrete_Expression/C_Expr.cc In file included from ../../../tests/ppl_test.hh:27, from ../../../tests/Concrete_Expression/C_Expr.cc:25: ../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" <<snip>> g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -I/Users/jra/pks/gcc-4.7.2/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o ../../../tests/Concrete_Expression/polyhedron2.cc In file included from ../../../tests/ppl_test.hh:27, from ../../../tests/Concrete_Expression/polyhedron2.cc:26: ../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2 polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/jra/pks/gcc-4.7.2/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2 polyhedron2.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/jra/pks/gcc-4.7.2/lib /Users/jra/pks/gcc-4.7.2/lib/libgmpxx.dylib /Users/jra/pks/gcc-4.7.2/lib/libgmp.dylib make[5]: Nothing to be done for `../../../tests/Concrete_Expression/run_tests'. make check-TESTS PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error 1 make: *** [check-recursive] Error 1

2 1

[GIT] ppl/ppl(master): Removed wrong observation on time-elapse for closed polyhedra.
by Enea Zaffanella 20 Oct '12

20 Oct '12

Module: ppl/ppl Branch: master Commit: 3a66052bb7c9e61a4d64d8ca03de9b581a89b487 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a66052bb7c9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Oct 17 09:39:17 2012 +0200 Removed wrong observation on time-elapse for closed polyhedra. (Thanks to Marco Faella for pointing this out.) --- doc/definitions.dox | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index c1b6b02..83b7e0d 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1580,10 +1580,8 @@ is the smallest NNC polyhedron containing the set \vect{p} \in \cP, \vect{q} \in \cQ, \lambda \in \nonnegRset \,\bigr\}. \f] -Note that, if \f$\cP,\cQ \in \CPset_n\f$ are closed polyhedra, -the above set is also a closed polyhedron. -In contrast, when \f$\cQ\f$ is not topologically closed, -the above set might not be an NNC polyhedron. +Note that the above set might not be an NNC polyhedron. + \subsection Meet_Preserving_Simplification Meet-Preserving Enlargement and Simplification

1 0

ppl test failures on mac
by Mark A. McLaughlin 07 Oct '12

07 Oct '12

make check-TESTS PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== I just download, configured, compiled, and tested ppl-1.0. Two of the tests failed (as listed above). The messages states that I should report this. I used this configuration: ./configure --prefix=/usr/local --exec-prefix=/usr/local Here is my machine configuration: Model Name: MacBook Pro Model Identifier: MacBookPro6,2 Processor Name: Intel Core i7 Processor Speed: 2.66 GHz Number of Processors: 1 Total Number of Cores: 2 L2 Cache (per Core): 256 KB L3 Cache: 4 MB Memory: 8 GB Processor Interconnect Speed: 4.8 GT/s Boot ROM Version: MBP61.0057.B0F SMC Version (system): 1.58f16 Operating System: OS X 10.8.2 % uname -a Darwin mcwindows7 12.2.0 Darwin Kernel Version 12.2.0: Sat Aug 25 00:48:52 PDT 2012; root:xnu-2050.18.24~1/RELEASE_X86_64 x86_64 % gcc -v Using built-in specs. Target: i686-apple-darwin11 Configured with: /private/var/tmp/llvmgcc42/llvmgcc42-2336.11~67/src/configure --disable-checking --enable-werror --prefix=/Applications/Xcode.app/Contents/Developer/usr/llvm-gcc-4.2 --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-prefix=llvm- --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin11 --enable-llvm=/private/var/tmp/llvmgcc42/llvmgcc42-2336.11~67/dst-llvmCore/Developer/usr/local --program-prefix=i686-apple-darwin11- --host=x86_64-apple-darwin11 --target=i686-apple-darwin11 --with-gxx-include-dir=/usr/include/c++/4.2.1 Thread model: posix gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00) GMP 5.0.5

2 2

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 07 Oct '12

07 Oct '12

Module: ppl/ppl Branch: master Commit: 0ec237e8ea17a9493415e1ed0f73084c8395201b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec237e8ea17… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 15:47:56 2012 +0200 Updated. --- config.guess | 13 ++++++++----- config.sub | 12 ++++++++---- 2 files changed, 16 insertions(+), 9 deletions(-) diff --git a/config.guess b/config.guess index aa04f04..872b96a 100755 --- a/config.guess +++ b/config.guess @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, # 2011, 2012 Free Software Foundation, Inc. -timestamp='2012-06-17' +timestamp='2012-09-25' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -306,7 +306,7 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in arm:RISC*:1.[012]*:*|arm:riscix:1.[012]*:*) echo arm-acorn-riscix${UNAME_RELEASE} exit ;; - arm:riscos:*:*|arm:RISCOS:*:*) + arm*:riscos:*:*|arm*:RISCOS:*:*) echo arm-unknown-riscos exit ;; SR2?01:HI-UX/MPP:*:* | SR8000:HI-UX/MPP:*:*) @@ -805,6 +805,9 @@ EOF i*:CYGWIN*:*) echo ${UNAME_MACHINE}-pc-cygwin exit ;; + *:MINGW64*:*) + echo ${UNAME_MACHINE}-pc-mingw64 + exit ;; *:MINGW*:*) echo ${UNAME_MACHINE}-pc-mingw32 exit ;; @@ -1205,6 +1208,9 @@ EOF BePC:Haiku:*:*) # Haiku running on Intel PC compatible. echo i586-pc-haiku exit ;; + x86_64:Haiku:*:*) + echo x86_64-unknown-haiku + exit ;; SX-4:SUPER-UX:*:*) echo sx4-nec-superux${UNAME_RELEASE} exit ;; @@ -1334,9 +1340,6 @@ EOF exit ;; esac -#echo '(No uname command or uname output not recognized.)' 1>&2 -#echo "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" 1>&2 - eval $set_cc_for_build cat >$dummy.c <<EOF #ifdef _SEQUENT_ diff --git a/config.sub b/config.sub index aa2cf19..bdda9e4 100755 --- a/config.sub +++ b/config.sub @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, # 2011, 2012 Free Software Foundation, Inc. -timestamp='2012-06-17' +timestamp='2012-08-18' # This file is (in principle) common to ALL GNU software. # The presence of a machine in this file suggests that SOME GNU software @@ -123,7 +123,7 @@ esac maybe_os=`echo $1 | sed 's/^$.*$-$[^-]*-[^-]*$$/\2/'` case $maybe_os in nto-qnx* | linux-gnu* | linux-android* | linux-dietlibc | linux-newlib* | \ - linux-uclibc* | uclinux-uclibc* | uclinux-gnu* | kfreebsd*-gnu* | \ + linux-musl* | linux-uclibc* | uclinux-uclibc* | uclinux-gnu* | kfreebsd*-gnu* | \ knetbsd*-gnu* | netbsd*-gnu* | \ kopensolaris*-gnu* | \ storm-chaos* | os2-emx* | rtmk-nova*) @@ -791,6 +791,10 @@ case $basic_machine in microblaze) basic_machine=microblaze-xilinx ;; + mingw64) + basic_machine=x86_64-pc + os=-mingw64 + ;; mingw32) basic_machine=i386-pc os=-mingw32 @@ -1359,8 +1363,8 @@ case $os in | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \ | -chorusos* | -chorusrdb* | -cegcc* \ | -cygwin* | -msys* | -pe* | -psos* | -moss* | -proelf* | -rtems* \ - | -mingw32* | -linux-gnu* | -linux-android* \ - | -linux-newlib* | -linux-uclibc* \ + | -mingw32* | -mingw64* | -linux-gnu* | -linux-android* \ + | -linux-newlib* | -linux-musl* | -linux-uclibc* \ | -uxpv* | -beos* | -mpeix* | -udk* \ | -interix* | -uwin* | -mks* | -rhapsody* | -darwin* | -opened* \ | -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \

1 0