- PPL-devel - BUGSENG Mailman

compiler warnings ppl-0.10
by Dieter Demerre 28 Sep '10

28 Sep '10

L.S., I'm compiling ppl-0.10 (downloaded from the site), attempting to compile gcc-4.5.0. I'm doing this on an obsolete system, based on Debian 3.0. I already compiled and installed gnu make 3.82 followed by gmp-5.0.1 using: ./configure --enable-cxx && make && make check && sudo make install. When I now try to compile ppl-0.11: cd /usr/src/ppl-0.11 ./configure --with-gmp-build=/usr/src/gmp-5.0.1 compilation is performed using Reading specs from /usr/lib/gcc-lib/i386-linux/2.95.4/specs gcc version 2.95.4 20011002 (Debian prerelease) the configuration script produces some warnings, that urge me to report it to ppl-devel@.... checking fenv.h usability... no checking fenv.h presence... yes configure: WARNING: fenv.h: present but cannot be compiled configure: WARNING: fenv.h: check for missing prerequisite headers? configure: WARNING: fenv.h: see the Autoconf documentation configure: WARNING: fenv.h: section "Present But Cannot Be Compiled" configure: WARNING: fenv.h: proceeding with the compiler's result configure: WARNING: ## ------------------------------------ ## configure: WARNING: ## Report this to ppl-devel(a)cs.unipr.it ## configure: WARNING: ## ------------------------------------ ## checking for fenv.h... no checking getopt.h usability... no checking getopt.h presence... yes configure: WARNING: getopt.h: present but cannot be compiled configure: WARNING: getopt.h: check for missing prerequisite headers? configure: WARNING: getopt.h: see the Autoconf documentation configure: WARNING: getopt.h: section "Present But Cannot Be Compiled" configure: WARNING: getopt.h: proceeding with the compiler's result configure: WARNING: ## ------------------------------------ ## configure: WARNING: ## Report this to ppl-devel(a)cs.unipr.it ## configure: WARNING: ## ------------------------------------ ## checking for getopt.h... no checking signal.h usability... no checking signal.h presence... yes configure: WARNING: signal.h: present but cannot be compiled configure: WARNING: signal.h: check for missing prerequisite headers? configure: WARNING: signal.h: see the Autoconf documentation configure: WARNING: signal.h: section "Present But Cannot Be Compiled" configure: WARNING: signal.h: proceeding with the compiler's result configure: WARNING: ## ------------------------------------ ## configure: WARNING: ## Report this to ppl-devel(a)cs.unipr.it ## configure: WARNING: ## ------------------------------------ ## checking for signal.h... no checking sys/resource.h usability... no checking sys/resource.h presence... yes configure: WARNING: sys/resource.h: present but cannot be compiled configure: WARNING: sys/resource.h: check for missing prerequisite headers? configure: WARNING: sys/resource.h: see the Autoconf documentation configure: WARNING: sys/resource.h: section "Present But Cannot Be Compiled" configure: WARNING: sys/resource.h: proceeding with the compiler's result configure: WARNING: ## ------------------------------------ ## configure: WARNING: ## Report this to ppl-devel(a)cs.unipr.it ## configure: WARNING: ## ------------------------------------ ## checking for sys/resource.h... no checking sys/time.h usability... no checking sys/time.h presence... yes configure: WARNING: sys/time.h: present but cannot be compiled configure: WARNING: sys/time.h: check for missing prerequisite headers? configure: WARNING: sys/time.h: see the Autoconf documentation configure: WARNING: sys/time.h: section "Present But Cannot Be Compiled" configure: WARNING: sys/time.h: proceeding with the compiler's result configure: WARNING: ## ------------------------------------ ## configure: WARNING: ## Report this to ppl-devel(a)cs.unipr.it ## configure: WARNING: ## ------------------------------------ ## checking for sys/time.h... no checking for sys/types.h... (cached) no and finaly an error: checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath -Wl,/usr/local/lib checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options.

2 1

[GIT] ppl/ppl(floating_point): Merge branch 'master' into floating_point
by Roberto Bagnara 26 Sep '10

26 Sep '10

Module: ppl/ppl Branch: floating_point Commit: 8afb9a4479af879f0eaa4f05d3da2343eb1e8181 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8afb9a4479af… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 26 08:41:55 2010 +0200 Merge branch 'master' into floating_point ---

1 0

[GIT] ppl/ppl(floating_point): Added missing uses of AC_LANG_SOURCE.
by Roberto Bagnara 26 Sep '10

26 Sep '10

Module: ppl/ppl Branch: floating_point Commit: 0bb0a14d690bda10c0893e11b6019128b3c4908e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bb0a14d690b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:48:27 2010 +0200 Added missing uses of AC_LANG_SOURCE. --- m4/ac_check_ciao.m4 | 7 ++++--- m4/ac_check_swi_prolog.m4 | 7 ++++--- m4/ac_prog_javah.m4 | 9 ++++++--- 3 files changed, 14 insertions(+), 9 deletions(-) diff --git a/m4/ac_check_ciao.m4 b/m4/ac_check_ciao.m4 index 6b8149c..04ede7d 100644 --- a/m4/ac_check_ciao.m4 +++ b/m4/ac_check_ciao.m4 @@ -55,13 +55,14 @@ _CIAO_PRINT_INCLUDE_DIR_EOF AC_LANG_PUSH(C++) AC_CHECK_HEADER(ciao_prolog.h, AC_MSG_CHECKING([for Ciao Prolog version x.y.z or later]) - AC_COMPILE_IFELSE( -[#include <ciao_prolog.h> + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#include <ciao_prolog.h> int main() { return 0; -}], +} + ]])], AC_MSG_RESULT(yes), ciao_prolog="" AC_MSG_RESULT(no) diff --git a/m4/ac_check_swi_prolog.m4 b/m4/ac_check_swi_prolog.m4 index daed0a7..bc21631 100644 --- a/m4/ac_check_swi_prolog.m4 +++ b/m4/ac_check_swi_prolog.m4 @@ -68,8 +68,8 @@ then # We require SWI-Prolog 5.6.0 or later. AC_CHECK_HEADER(SWI-Prolog.h, AC_MSG_CHECKING([for SWI-Prolog version 5.6.0 or later]) - AC_COMPILE_IFELSE( -[#include <SWI-Prolog.h> + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#include <SWI-Prolog.h> int main() { @@ -79,7 +79,8 @@ main() { ; return 0; -}], +} + ]])], AC_MSG_RESULT(yes), swi_prolog="" AC_MSG_RESULT(no) diff --git a/m4/ac_prog_javah.m4 b/m4/ac_prog_javah.m4 index 4e2a43c..e1226a0 100644 --- a/m4/ac_prog_javah.m4 +++ b/m4/ac_prog_javah.m4 @@ -26,6 +26,7 @@ AC_DEFUN([AC_PROG_JAVAH],[ AC_REQUIRE([AC_CANONICAL_HOST])dnl AC_REQUIRE([AC_PROG_CPP])dnl +AC_LANG_PUSH(C++)dnl if test "x$JAVAPREFIX" = x; then AC_CHECK_PROGS(JAVAH,javah, no) else @@ -33,7 +34,7 @@ else fi if test x"`eval 'echo $ac_cv_path_JAVAH'`" != xno ; then - AC_PREPROC_IFELSE([#include <jni.h> ] ,,[ + AC_PREPROC_IFELSE([AC_LANG_SOURCE([[#include <jni.h>]]) ] ,,[ ac_save_CPPFLAGS="$CPPFLAGS" changequote(, )dnl ac_dir=`echo $ac_cv_path_JAVAH | sed 's,$.*$/[^/]*/[^/]*$,\1/include,'` @@ -42,9 +43,11 @@ changequote([, ])dnl JNIFLAGS="-I$ac_dir -I$ac_dir/$ac_machdep" CPPFLAGS="$ac_save_CPPFLAGS $JNIFLAGS" AC_SUBST(JNIFLAGS) - AC_PREPROC_IFELSE([#include <jni.h>], + AC_PREPROC_IFELSE([AC_LANG_SOURCE([[#include <jni.h>]])], CPPFLAGS="$ac_save_CPPFLAGS", AC_MSG_WARN([unable to include <jni.h>]) JAVAH=no) CPPFLAGS="$ac_save_CPPFLAGS"]) -fi]) +fi +AC_LANG_POP(C++) +])

1 0

[GIT] ppl/ppl(floating_point): Updated.
by Roberto Bagnara 26 Sep '10

26 Sep '10

Module: ppl/ppl Branch: floating_point Commit: a71f7eb628bfcf9dec672d7b399173a4a5a94380 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a71f7eb628bf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:47:18 2010 +0200 Updated. --- Watchdog/m4/libtool.m4 | 1042 +++++++++++++++++++++++++++++++-------------- Watchdog/m4/ltversion.m4 | 12 +- m4/libtool.m4 | 1042 +++++++++++++++++++++++++++++++-------------- m4/ltversion.m4 | 12 +- 4 files changed, 1448 insertions(+), 660 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a71f7eb6…

1 0

[GIT] ppl/ppl(floating_point): Updated.
by Roberto Bagnara 26 Sep '10

26 Sep '10

Module: ppl/ppl Branch: floating_point Commit: 5a2114d8a9333b92e8ccb303d93ade7719a9709e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2114d8a933… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:18:29 2010 +0200 Updated. --- INSTALL | 2 +- Watchdog/INSTALL | 2 +- Watchdog/compile | 170 ++++- Watchdog/config.guess | 5 +- Watchdog/config.sub | 10 +- Watchdog/ltmain.sh | 2347 ++++++++++++++++++++++++++++++++++--------------- compile | 170 ++++- config.guess | 5 +- config.sub | 10 +- ltmain.sh | 2347 ++++++++++++++++++++++++++++++++++--------------- 10 files changed, 3602 insertions(+), 1466 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5a2114d8…

1 0

[GIT] ppl/ppl(master): Added missing uses of AC_LANG_SOURCE.
by Roberto Bagnara 24 Sep '10

24 Sep '10

Module: ppl/ppl Branch: master Commit: 0bb0a14d690bda10c0893e11b6019128b3c4908e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bb0a14d690b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:48:27 2010 +0200 Added missing uses of AC_LANG_SOURCE. --- m4/ac_check_ciao.m4 | 7 ++++--- m4/ac_check_swi_prolog.m4 | 7 ++++--- m4/ac_prog_javah.m4 | 9 ++++++--- 3 files changed, 14 insertions(+), 9 deletions(-) diff --git a/m4/ac_check_ciao.m4 b/m4/ac_check_ciao.m4 index 6b8149c..04ede7d 100644 --- a/m4/ac_check_ciao.m4 +++ b/m4/ac_check_ciao.m4 @@ -55,13 +55,14 @@ _CIAO_PRINT_INCLUDE_DIR_EOF AC_LANG_PUSH(C++) AC_CHECK_HEADER(ciao_prolog.h, AC_MSG_CHECKING([for Ciao Prolog version x.y.z or later]) - AC_COMPILE_IFELSE( -[#include <ciao_prolog.h> + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#include <ciao_prolog.h> int main() { return 0; -}], +} + ]])], AC_MSG_RESULT(yes), ciao_prolog="" AC_MSG_RESULT(no) diff --git a/m4/ac_check_swi_prolog.m4 b/m4/ac_check_swi_prolog.m4 index daed0a7..bc21631 100644 --- a/m4/ac_check_swi_prolog.m4 +++ b/m4/ac_check_swi_prolog.m4 @@ -68,8 +68,8 @@ then # We require SWI-Prolog 5.6.0 or later. AC_CHECK_HEADER(SWI-Prolog.h, AC_MSG_CHECKING([for SWI-Prolog version 5.6.0 or later]) - AC_COMPILE_IFELSE( -[#include <SWI-Prolog.h> + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#include <SWI-Prolog.h> int main() { @@ -79,7 +79,8 @@ main() { ; return 0; -}], +} + ]])], AC_MSG_RESULT(yes), swi_prolog="" AC_MSG_RESULT(no) diff --git a/m4/ac_prog_javah.m4 b/m4/ac_prog_javah.m4 index 4e2a43c..e1226a0 100644 --- a/m4/ac_prog_javah.m4 +++ b/m4/ac_prog_javah.m4 @@ -26,6 +26,7 @@ AC_DEFUN([AC_PROG_JAVAH],[ AC_REQUIRE([AC_CANONICAL_HOST])dnl AC_REQUIRE([AC_PROG_CPP])dnl +AC_LANG_PUSH(C++)dnl if test "x$JAVAPREFIX" = x; then AC_CHECK_PROGS(JAVAH,javah, no) else @@ -33,7 +34,7 @@ else fi if test x"`eval 'echo $ac_cv_path_JAVAH'`" != xno ; then - AC_PREPROC_IFELSE([#include <jni.h> ] ,,[ + AC_PREPROC_IFELSE([AC_LANG_SOURCE([[#include <jni.h>]]) ] ,,[ ac_save_CPPFLAGS="$CPPFLAGS" changequote(, )dnl ac_dir=`echo $ac_cv_path_JAVAH | sed 's,$.*$/[^/]*/[^/]*$,\1/include,'` @@ -42,9 +43,11 @@ changequote([, ])dnl JNIFLAGS="-I$ac_dir -I$ac_dir/$ac_machdep" CPPFLAGS="$ac_save_CPPFLAGS $JNIFLAGS" AC_SUBST(JNIFLAGS) - AC_PREPROC_IFELSE([#include <jni.h>], + AC_PREPROC_IFELSE([AC_LANG_SOURCE([[#include <jni.h>]])], CPPFLAGS="$ac_save_CPPFLAGS", AC_MSG_WARN([unable to include <jni.h>]) JAVAH=no) CPPFLAGS="$ac_save_CPPFLAGS"]) -fi]) +fi +AC_LANG_POP(C++) +])

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 24 Sep '10

24 Sep '10

Module: ppl/ppl Branch: master Commit: a71f7eb628bfcf9dec672d7b399173a4a5a94380 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a71f7eb628bf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:47:18 2010 +0200 Updated. --- Watchdog/m4/libtool.m4 | 1042 +++++++++++++++++++++++++++++++-------------- Watchdog/m4/ltversion.m4 | 12 +- m4/libtool.m4 | 1042 +++++++++++++++++++++++++++++++-------------- m4/ltversion.m4 | 12 +- 4 files changed, 1448 insertions(+), 660 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a71f7eb6…

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 24 Sep '10

24 Sep '10

Module: ppl/ppl Branch: master Commit: 5a2114d8a9333b92e8ccb303d93ade7719a9709e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2114d8a933… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:18:29 2010 +0200 Updated. --- INSTALL | 2 +- Watchdog/INSTALL | 2 +- Watchdog/compile | 170 ++++- Watchdog/config.guess | 5 +- Watchdog/config.sub | 10 +- Watchdog/ltmain.sh | 2347 ++++++++++++++++++++++++++++++++++--------------- compile | 170 ++++- config.guess | 5 +- config.sub | 10 +- ltmain.sh | 2347 ++++++++++++++++++++++++++++++++++--------------- 10 files changed, 3602 insertions(+), 1466 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5a2114d8…

1 0

Undefined PPL references attempting to build cloog-ppl
by Peter Kruse 24 Sep '10

24 Sep '10

Hello, I'm replying to this thread I found in the archive: http://www.cs.unipr.it/pipermail/ppl-devel/2009-August/015195.html since I was hit by the same error while trying to build PPL under Solaris 10/Sparc with gcc 4.5.1. It does not seem to be solved because in Version 0.11 of PPL the same error occurs nor could I find a solution, so I had to look myself. It turned out the the problem is related to sed. With Solaris' sed it does not work, but with GNU sed it works. So it does not seem to be related to autoreconf, perl, m4 or awk. Unfortunately I was not able to find out which sed command behaves differently. Maybe it would be a good idea to search for and use GNU sed in configure. Regards, Peter ps: I'm not subscribed, so if you want me to do anything for this issue (like testing or something) please reply to me directly

4 12

[GIT] ppl/ppl(floating_point): Temporarily pass a raw value instead of a checked
by Fabio Bossi 23 Sep '10

23 Sep '10

Module: ppl/ppl Branch: floating_point Commit: ecf177259b8f165627fcdbe7dfb55dc044bdc30b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecf177259b8f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 23 17:05:34 2010 +0200 Temporarily pass a raw value instead of a checked number for simplicity. --- src/Octagonal_Shape.templates.hh | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 54de5ce..b9674f0 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -7681,7 +7681,8 @@ Octagonal_Shape<T> if (!is_plus_infinity(twice_ub)) { assign_r(ubound, twice_ub, ROUND_NOT_NEEDED); div_2exp_assign_r(ubound, ubound, 1, ROUND_UP); - if (!dest.restrict_upper(i, ubound)) + // FIXME: passing a raw value may not be general enough. + if (!dest.restrict_upper(i, ubound.raw_value())) return; } @@ -7691,7 +7692,8 @@ Octagonal_Shape<T> assign_r(lbound, twice_lb, ROUND_NOT_NEEDED); neg_assign_r(lbound, lbound, ROUND_NOT_NEEDED); div_2exp_assign_r(lbound, lbound, 1, ROUND_DOWN); - if (!dest.restrict_lower(i, lbound)) + // FIXME: passing a raw value may not be general enough. + if (!dest.restrict_lower(i, lbound.raw_value())) return; } }

1 0