March 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(prova): Added repeated char for left and right margin.
by Abramo Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: prova Commit: bace9caed4ba2aba49450798390a526501db70bd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bace9caed4ba… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 22:16:56 2009 +0100 Added repeated char for left and right margin. --- interfaces/C/tests/print_to_buffer.c | 55 +++++++++++++++++++++------------- src/c_stream.cc | 24 +++++++------- src/c_stream.h | 8 +++++ src/c_streambuf_format.cc | 5 +++ 4 files changed, 59 insertions(+), 33 deletions(-) diff --git a/interfaces/C/tests/print_to_buffer.c b/interfaces/C/tests/print_to_buffer.c index 5de5698..87a81e4 100644 --- a/interfaces/C/tests/print_to_buffer.c +++ b/interfaces/C/tests/print_to_buffer.c @@ -31,9 +31,6 @@ print_ppl_##Name##_t_to_buffer(ppl_const_##Name##_t p, \ unsigned indent_depth, \ unsigned pfll, \ unsigned pll) { \ - char in[indent_depth + 1]; \ - memset(in, ' ', indent_depth); \ - in[indent_depth] = '\0'; \ struct ppl_io_format_settings settings = { \ 0, /* tr_in */ \ 0, /* tr_out */ \ @@ -46,26 +43,42 @@ print_ppl_##Name##_t_to_buffer(ppl_const_##Name##_t p, \ 0, /* top */ \ 0, /* bottom */ \ { \ - /* length, left, right, alignment, fill_char */ \ - { pfll, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* FIRST */ \ - { pfll, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* FIRSTLAST */ \ - { pll, in, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* NEXT */ \ - { pll, in, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LAST */ \ - { 0, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* CHOPPED_FIRST */ \ - { 0, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* CHOPPED_NEXT */ \ - { pfll, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LONGER_FIRST */ \ - { pfll, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LONGER_FIRSTLAST */ \ - { pll, in, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LONGER_NEXT */ \ - { pll, in, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LONGER_LAST */ \ - { pfll, "", "", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* UNTERMINATED_FIRST */ \ - { pll, in, "", PPL_IO_FORMAT_ALIGN_LEFT, 0 } /* UNTERMINATED_NEXT */ \ - } \ + /* length, left, left_n, left_c, right_n, right_c right, alignment, fill_char */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* FIRST */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* FIRSTLAST */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* NEXT */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LAST */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* CHOPPED_FIRST */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* CHOPPED_NEXT */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LONGER_FIRST */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LONGER_FIRSTLAST */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LONGER_NEXT */ \ + { 0, 0, ' ', 0, 0, ' ', "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* LONGER_LAST */ \ + { 0, 0, ' ', 0, 0, ' ', "", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, /* UNTERMINATED_FIRST */ \ + { 0, 0, ' ', 0, 0, ' ', "", PPL_IO_FORMAT_ALIGN_LEFT, 0 } /* UNTERMINATED_NEXT */ \ + } \ }; \ - struct ppl_io_ostream* target = ppl_io_ostream_buffer_new(); \ - struct ppl_io_ostream* stream = ppl_io_ostream_format_new(target, &settings); \ - ppl_io_write_##NAME(stream, object); \ - ppl_io_ostream_delete(stream); \ + struct ppl_io_ostream *target, *stream; \ char *buf; \ + settings.lines[PPL_IO_FORMAT_LINE_FIRST].length = pfll; \ + settings.lines[PPL_IO_FORMAT_LINE_FIRSTLAST].length = pfll; \ + settings.lines[PPL_IO_FORMAT_LINE_LONGER_FIRST].length = pfll; \ + settings.lines[PPL_IO_FORMAT_LINE_LONGER_FIRSTLAST].length = pfll; \ + settings.lines[PPL_IO_FORMAT_LINE_UNTERMINATED_FIRST].length = pfll; \ + settings.lines[PPL_IO_FORMAT_LINE_NEXT].length = pll; \ + settings.lines[PPL_IO_FORMAT_LINE_LAST].length = pll; \ + settings.lines[PPL_IO_FORMAT_LINE_LONGER_NEXT].length = pll; \ + settings.lines[PPL_IO_FORMAT_LINE_LONGER_LAST].length = pll; \ + settings.lines[PPL_IO_FORMAT_LINE_UNTERMINATED_NEXT].length = pll; \ + settings.lines[PPL_IO_FORMAT_LINE_NEXT].left_n = indent_depth; \ + settings.lines[PPL_IO_FORMAT_LINE_LAST].left_n = indent_depth; \ + settings.lines[PPL_IO_FORMAT_LINE_LONGER_NEXT].left_n = indent_depth; \ + settings.lines[PPL_IO_FORMAT_LINE_LONGER_LAST].left_n = indent_depth; \ + settings.lines[PPL_IO_FORMAT_LINE_UNTERMINATED_NEXT].left_n = indent_depth; \ + target = ppl_io_ostream_buffer_new(); \ + stream = ppl_io_ostream_format_new(target, &settings); \ + ppl_io_write_##Name(stream, p); \ + ppl_io_ostream_delete(stream); \ ppl_io_ostream_buffer_get(target, &buf); \ ppl_io_ostream_delete(target); \ return buf; \ diff --git a/src/c_stream.cc b/src/c_stream.cc index 6b3b20b..11ea69e 100644 --- a/src/c_stream.cc +++ b/src/c_stream.cc @@ -34,18 +34,18 @@ ppl_io_format_settings ppl_io_format_default_settings = { 0, // bottom { // length, left, right, alignment, fill_char - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FIRST - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FIRSTLAST - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // NEXT - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LAST - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // CHOPPED_FIRST - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // CHOPPED_NEXT - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_FIRST - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_FIRSTLAST - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_NEXT - { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_LAST - { 80, 0, 0, PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // UNTERMINATED_FIRST - { 80, 0, 0, PPL_IO_FORMAT_ALIGN_LEFT, 0 } // UNTERMINATED_NEXT + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FIRST + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FIRSTLAST + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // NEXT + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LAST + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // CHOPPED_FIRST + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // CHOPPED_NEXT + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_FIRST + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_FIRSTLAST + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_NEXT + { 80, 0, 0, 0, 0, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_LAST + { 80, 0, 0, 0, 0, 0, 0, PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // UNTERMINATED_FIRST + { 80, 0, 0, 0, 0, 0, 0, PPL_IO_FORMAT_ALIGN_LEFT, 0 } // UNTERMINATED_NEXT } }; diff --git a/src/c_stream.h b/src/c_stream.h index e8857ee..3c8454d 100644 --- a/src/c_stream.h +++ b/src/c_stream.h @@ -68,6 +68,14 @@ struct ppl_io_format_settings { unsigned int length; /* Left margin string */ const char *left; + /* Left margin repeated char count */ + unsigned int left_n; + /* Left margin repeated char */ + char left_c; + /* Right margin repeated char count */ + unsigned int right_n; + /* Right margin repeated char */ + unsigned int right_c; /* Right margin string */ const char *right; /* 0 left, 8 center, 16 right */ diff --git a/src/c_streambuf_format.cc b/src/c_streambuf_format.cc index 368a494..5d94ac6 100644 --- a/src/c_streambuf_format.cc +++ b/src/c_streambuf_format.cc @@ -145,6 +145,9 @@ bool c_streambuf_format::output_line(const char *s, unsigned int n, ppl_io_forma } if (settings->lines[type].left) stream << settings->lines[type].left; + unsigned int i; + for (i = 0; i < settings->lines[type].left_n; ++i) + stream.put(settings->lines[type].left_c); if (settings->lines[type].fill_char && n < settings->lines[type].length) { unsigned int left = 0; unsigned int right = 0; @@ -160,6 +163,8 @@ bool c_streambuf_format::output_line(const char *s, unsigned int n, ppl_io_forma } else stream.write(s, n); + for (i = 0; i < settings->lines[type].right_n; ++i) + stream.put(settings->lines[type].right_c); if (settings->lines[type].right) stream << settings->lines[type].right; switch (type) {

1 0

[GIT] ppl/ppl(prova):
by Abramo Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: prova Commit: 0000000000000000000000000000000000000000 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=000000000000… Author: Date: Thu Jan 1 00:00:00 1970 +0000 ---

1 0

[GIT] ppl/ppl(prova):
by Patricia M. Hill 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: prova Commit: 71893349245baa11c7fa1dd9b0a793606b4bce4c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71893349245b… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Jan 5 13:54:39 2009 +0000 Added a reduction method Shrink_Using_Congruences_Reduction<> and the product Shrink_Using_Congruences_Product<> that assumes this reduction. Several "FIXME"s dealt with. --- src/Partially_Reduced_Product.defs.hh | 140 ++++++------ src/Partially_Reduced_Product.inlines.hh | 149 ++++-------- src/Partially_Reduced_Product.templates.hh | 172 +++++++++++---- src/Partially_Reduced_Product.types.hh | 3 + tests/Partially_Reduced_Product/Makefile.am | 5 +- tests/Partially_Reduced_Product/directproduct6.cc | 31 +++- .../partiallyreducedproduct2.cc | 51 ++++- .../partiallyreducedproduct3.cc | 6 +- .../shrinkusingcongruences1.cc | 239 ++++++++++++++++++++ 9 files changed, 566 insertions(+), 230 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=71893349…

1 0

[GIT] ppl/ppl(master): Exception handling is broken in GCC on the Alpha: commented out some tests.
by Roberto Bagnara 24 Mar '09

24 Mar '09

Module: ppl/ppl Branch: master Commit: f1769386d0c8fb90ebabd96392b08aad40cc142d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1769386d0c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 21:56:05 2009 +0000 Exception handling is broken in GCC on the Alpha: commented out some tests. --- tests/Grid/addcongruences1.cc | 3 +++ tests/Octagonal_Shape/generalizedaffineimage3.cc | 3 +++ .../Octagonal_Shape/generalizedaffinepreimage2.cc | 3 +++ 3 files changed, 9 insertions(+), 0 deletions(-) diff --git a/tests/Grid/addcongruences1.cc b/tests/Grid/addcongruences1.cc index 58b009d..1bb8f26 100644 --- a/tests/Grid/addcongruences1.cc +++ b/tests/Grid/addcongruences1.cc @@ -427,7 +427,10 @@ BEGIN_MAIN DO_TEST(test03); DO_TEST(test04); DO_TEST(test05); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test06); +#endif DO_TEST(test07); DO_TEST(test08); DO_TEST(test09); diff --git a/tests/Octagonal_Shape/generalizedaffineimage3.cc b/tests/Octagonal_Shape/generalizedaffineimage3.cc index 5ab6d3d..a62f328 100644 --- a/tests/Octagonal_Shape/generalizedaffineimage3.cc +++ b/tests/Octagonal_Shape/generalizedaffineimage3.cc @@ -579,6 +579,8 @@ BEGIN_MAIN DO_TEST(test08); DO_TEST(test09); DO_TEST(test10); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test11); DO_TEST(test12); DO_TEST(test13); @@ -587,6 +589,7 @@ BEGIN_MAIN DO_TEST(test16); DO_TEST(test17); DO_TEST(test18); +#endif DO_TEST(test19); DO_TEST(test20); END_MAIN diff --git a/tests/Octagonal_Shape/generalizedaffinepreimage2.cc b/tests/Octagonal_Shape/generalizedaffinepreimage2.cc index c7029ba..7d06fed 100644 --- a/tests/Octagonal_Shape/generalizedaffinepreimage2.cc +++ b/tests/Octagonal_Shape/generalizedaffinepreimage2.cc @@ -596,7 +596,10 @@ test20() { } // namespace BEGIN_MAIN +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test01); +#endif DO_TEST(test02); DO_TEST(test03); DO_TEST(test04);

1 0

[GIT] ppl/ppl(master): Reduced DIMENSION to 100.
by Roberto Bagnara 24 Mar '09

24 Mar '09

Module: ppl/ppl Branch: master Commit: afbc4e301440f3925d22aaf49bf12313c3d24605 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afbc4e301440… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 20:39:18 2009 +0100 Reduced DIMENSION to 100. --- interfaces/C/tests/formatted_output.c | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/interfaces/C/tests/formatted_output.c b/interfaces/C/tests/formatted_output.c index 2717c6a..608e25a 100644 --- a/interfaces/C/tests/formatted_output.c +++ b/interfaces/C/tests/formatted_output.c @@ -25,7 +25,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "print_to_buffer.h" #include <stdio.h> -#define DIMENSION 1000 +#define DIMENSION 100 int main() { @@ -42,7 +42,6 @@ main() { ppl_assign_Coefficient_from_mpz_t(coeff, z); ppl_new_Constraint_System(&cs); for (i = 0; i < DIMENSION; ++i) { - printf("%d\n", i); ppl_new_Linear_Expression_with_dimension(&le, DIMENSION); ppl_Linear_Expression_add_to_coefficient(le, i, coeff); ppl_new_Constraint(&c, le, PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL);

1 0

[GIT] ppl/ppl(master): Improved the actions of AC_RUN_IFELSE when cross-compiling.
by Roberto Bagnara 24 Mar '09

24 Mar '09

Module: ppl/ppl Branch: master Commit: 17dae899576e6314c6ee76ea6b631e886554b1b2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17dae899576e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 19:19:34 2009 +0100 Improved the actions of AC_RUN_IFELSE when cross-compiling. --- configure.ac | 2 +- interfaces/C/tests/formatted_output.c | 1 + m4/ac_check_fpu_control.m4 | 4 +- m4/ac_check_gmp.m4 | 22 +++++++++++-- m4/ac_cxx_double_exact_output.m4 | 2 +- m4/ac_cxx_flexible_arrays.m4 | 51 +++++++++++++++++++++++++++++++- m4/ac_cxx_float_exact_output.m4 | 2 +- m4/ac_cxx_ieee_inexact_flag.m4 | 2 +- m4/ac_cxx_limit_memory.m4 | 2 +- m4/ac_cxx_long_double_exact_output.m4 | 2 +- m4/ac_cxx_proper_long_double.m4 | 2 +- m4/ac_cxx_remainder_bug.m4 | 2 +- 12 files changed, 78 insertions(+), 16 deletions(-) diff --git a/configure.ac b/configure.ac index aed857d..8583b40 100644 --- a/configure.ac +++ b/configure.ac @@ -943,7 +943,7 @@ then ac_jlong_can_contain_pointers=no AC_MSG_RESULT(no), ac_jlong_can_contain_pointers=no - AC_MSG_RESULT(no)) + AC_MSG_RESULT([assuming it cannot])) AC_LANG_POP(C++) CPPFLAGS="$ac_save_CPPFLAGS" fi diff --git a/interfaces/C/tests/formatted_output.c b/interfaces/C/tests/formatted_output.c index c6eeea2..2717c6a 100644 --- a/interfaces/C/tests/formatted_output.c +++ b/interfaces/C/tests/formatted_output.c @@ -42,6 +42,7 @@ main() { ppl_assign_Coefficient_from_mpz_t(coeff, z); ppl_new_Constraint_System(&cs); for (i = 0; i < DIMENSION; ++i) { + printf("%d\n", i); ppl_new_Linear_Expression_with_dimension(&le, DIMENSION); ppl_Linear_Expression_add_to_coefficient(le, i, coeff); ppl_new_Constraint(&c, le, PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL); diff --git a/m4/ac_check_fpu_control.m4 b/m4/ac_check_fpu_control.m4 index a9c87a6..ee28d20 100644 --- a/m4/ac_check_fpu_control.m4 +++ b/m4/ac_check_fpu_control.m4 @@ -26,7 +26,7 @@ ac_save_LIBS="$LIBS" LIBS="$LIBS -lm" AC_LANG_PUSH(C++) AC_CHECK_HEADERS([fenv.h ieeefp.h]) -AC_MSG_CHECKING([for the possibility to control the FPU]) +AC_MSG_CHECKING([if it is possible to control the FPU]) AC_RUN_IFELSE([AC_LANG_SOURCE([[ #if i386 @@ -115,7 +115,7 @@ main() { ac_cv_can_control_fpu=1, AC_MSG_RESULT(no) ac_cv_can_control_fpu=0, - AC_MSG_RESULT(no) + AC_MSG_RESULT([assuming not]) ac_cv_can_control_fpu=0 ) AM_CONDITIONAL(CAN_CONTROL_FPU, test $ac_cv_can_control_fpu = 1) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 71fbdd8..541cb36 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -51,7 +51,7 @@ AC_RUN_IFELSE([AC_LANG_SOURCE([[ #include <iostream> #if __GNU_MP_VERSION < 4 || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR < 1) || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR == 1 && __GNU_MP_VERSION_PATCHLEVEL < 3) -#error "GMP version 4.1.3 or higher is required" +#GMP version 4.1.3 or higher is required #endif int @@ -95,8 +95,22 @@ main() { ac_cv_have_gmp=yes, AC_MSG_RESULT(no) ac_cv_have_gmp=no, - AC_MSG_RESULT(no) - ac_cv_have_gmp=no) + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#include <gmpxx.h> + +#if __GNU_MP_VERSION < 4 || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR < 1) || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR == 1 && __GNU_MP_VERSION_PATCHLEVEL < 3) +#GMP version 4.1.3 or higher is required +#endif + +int +main() { + return 0; +} +]])], + AC_MSG_RESULT(yes) + ac_cv_have_gmp=yes, + AC_MSG_RESULT(no) + ac_cv_have_gmp=no)) have_gmp=${ac_cv_have_gmp} @@ -140,7 +154,7 @@ int main() { ac_cv_gmp_supports_exceptions=yes, AC_MSG_RESULT(no) ac_cv_gmp_supports_exceptions=no, - AC_MSG_RESULT(no) + AC_MSG_RESULT([assuming not]) ac_cv_gmp_supports_exceptions=no) gmp_supports_exceptions=${ac_cv_gmp_supports_exceptions} diff --git a/m4/ac_cxx_double_exact_output.m4 b/m4/ac_cxx_double_exact_output.m4 index 56ca6dc..73240b3 100644 --- a/m4/ac_cxx_double_exact_output.m4 +++ b/m4/ac_cxx_double_exact_output.m4 @@ -127,7 +127,7 @@ main() { ac_cxx_double_exact_output=1, AC_MSG_RESULT(no) ac_cxx_double_exact_output=0, - AC_MSG_RESULT(no) + AC_MSG_RESULT([assuming not]) ac_cxx_double_exact_output=0) AC_DEFINE_UNQUOTED(PPL_CXX_DOUBLE_EXACT_OUTPUT, $ac_cxx_double_exact_output, diff --git a/m4/ac_cxx_flexible_arrays.m4 b/m4/ac_cxx_flexible_arrays.m4 index deda89c..8319f07 100644 --- a/m4/ac_cxx_flexible_arrays.m4 +++ b/m4/ac_cxx_flexible_arrays.m4 @@ -76,8 +76,55 @@ main() { ac_cxx_supports_flexible_arrays=yes, AC_MSG_RESULT(no) ac_cxx_supports_flexible_arrays=no, - AC_MSG_RESULT(no) - ac_cxx_supports_flexible_arrays=no) + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#include <new> +#include <cstddef> + +class A { +private: + int i; + bool b; + +public: + A() + : i(0), b(false) { + } +}; + +class B { +private: + int capacity; + A vec[]; + +public: + void* operator new(size_t fixed_size, int c) { + return ::operator new(fixed_size + c*sizeof(B)); + } + + void operator delete(void* p) { + ::operator delete(p); + } + + void operator delete(void* p, int) { + ::operator delete(p); + } + + B(int s) + : capacity(s) { + } +}; + +int +main() { + B* p = new (100) B(100); + delete p; + return 0; +} +]])], + AC_MSG_RESULT(yes) + ac_cxx_supports_flexible_arrays=yes, + AC_MSG_RESULT(no) + ac_cxx_supports_flexible_arrays=no)) if test x"$ac_cxx_supports_flexible_arrays" = xyes then diff --git a/m4/ac_cxx_float_exact_output.m4 b/m4/ac_cxx_float_exact_output.m4 index 6a9d983..c964286 100644 --- a/m4/ac_cxx_float_exact_output.m4 +++ b/m4/ac_cxx_float_exact_output.m4 @@ -118,7 +118,7 @@ main() { ac_cxx_float_exact_output=1, AC_MSG_RESULT(no) ac_cxx_float_exact_output=0, - AC_MSG_RESULT(no) + AC_MSG_RESULT([assuming not]) ac_cxx_float_exact_output=0) AC_DEFINE_UNQUOTED(PPL_CXX_FLOAT_EXACT_OUTPUT, $ac_cxx_float_exact_output, diff --git a/m4/ac_cxx_ieee_inexact_flag.m4 b/m4/ac_cxx_ieee_inexact_flag.m4 index dba6b50..5292002 100644 --- a/m4/ac_cxx_ieee_inexact_flag.m4 +++ b/m4/ac_cxx_ieee_inexact_flag.m4 @@ -114,7 +114,7 @@ int main() { ac_cxx_supports_ieee_inexact_flag=yes, AC_MSG_RESULT(no) ac_cxx_supports_ieee_inexact_flag=no, - AC_MSG_RESULT(no) + AC_MSG_RESULT([assuming not]) ac_cxx_supports_ieee_inexact_flag=no) if test x"$ac_cxx_supports_ieee_inexact_flag" = xyes diff --git a/m4/ac_cxx_limit_memory.m4 b/m4/ac_cxx_limit_memory.m4 index 0f70a2b..8f970fe 100644 --- a/m4/ac_cxx_limit_memory.m4 +++ b/m4/ac_cxx_limit_memory.m4 @@ -98,7 +98,7 @@ main() try { ac_cxx_supports_limiting_memory=yes, AC_MSG_RESULT(no) ac_cxx_supports_limiting_memory=no, - AC_MSG_RESULT(no) + AC_MSG_RESULT([assuming not]) ac_cxx_supports_limiting_memory=no) if test x"$ac_cxx_supports_limiting_memory" = xyes diff --git a/m4/ac_cxx_long_double_exact_output.m4 b/m4/ac_cxx_long_double_exact_output.m4 index 32b231f..1e49345 100644 --- a/m4/ac_cxx_long_double_exact_output.m4 +++ b/m4/ac_cxx_long_double_exact_output.m4 @@ -241,7 +241,7 @@ main() { ac_cxx_long_double_exact_output=1, AC_MSG_RESULT(no) ac_cxx_long_double_exact_output=0, - AC_MSG_RESULT(no) + AC_MSG_RESULT([assuming not]) ac_cxx_long_double_exact_output=0) AC_DEFINE_UNQUOTED(PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT, $ac_cxx_long_double_exact_output, diff --git a/m4/ac_cxx_proper_long_double.m4 b/m4/ac_cxx_proper_long_double.m4 index b491533..7886ac3 100644 --- a/m4/ac_cxx_proper_long_double.m4 +++ b/m4/ac_cxx_proper_long_double.m4 @@ -45,7 +45,7 @@ int main() { ac_cxx_provides_proper_long_double=yes, AC_MSG_RESULT(no) ac_cxx_provides_proper_long_double=no, - AC_MSG_RESULT(no) + AC_MSG_RESULT([assuming not]) ac_cxx_provides_proper_long_double=no) if test x"$ac_cxx_provides_proper_long_double" = xyes diff --git a/m4/ac_cxx_remainder_bug.m4 b/m4/ac_cxx_remainder_bug.m4 index 6315c06..2e93b6d 100644 --- a/m4/ac_cxx_remainder_bug.m4 +++ b/m4/ac_cxx_remainder_bug.m4 @@ -51,7 +51,7 @@ int main(int argc, char** argv) { ac_cv_cxx_has_remainder_bug=no, AC_MSG_RESULT(yes) ac_cv_cxx_has_remainder_bug=yes, - AC_MSG_RESULT(yes) + AC_MSG_RESULT([assuming yes]) ac_cv_cxx_has_remainder_bug=yes) if test x"$ac_cv_cxx_has_remainder_bug" = xyes

1 0

[GIT] ppl/ppl(master): Fixed file names.
by Abramo Bagnara 24 Mar '09

24 Mar '09

Module: ppl/ppl Branch: master Commit: 5b11a1675a7e171bc692e9820f20a00304f66846 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b11a1675a7e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 19:13:41 2009 +0100 Fixed file names. --- interfaces/C/Makefile.am | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/interfaces/C/Makefile.am b/interfaces/C/Makefile.am index 99da42b..529b3fb 100644 --- a/interfaces/C/Makefile.am +++ b/interfaces/C/Makefile.am @@ -124,9 +124,10 @@ libppl_c_la_SOURCES = \ ppl_c_implementation_common.defs.hh \ ppl_c_implementation_common.inlines.hh \ ppl_c_implementation_common.cc \ -ppl_c_stream.hh \ +ppl_c_stream.defs.hh \ ppl_c_stream.inlines.hh \ -ppl_c_stream.cc +ppl_c_stream.cc \ +ppl_c_stream.h nodist_libppl_c_la_SOURCES =

1 0

[GIT] ppl/ppl(master): Mention the bug corrected for method Octagonal_Shape <T>::affine_image().
by Enea Zaffanella 24 Mar '09

24 Mar '09

Module: ppl/ppl Branch: master Commit: d7edf860af05622da5fd35e270fb9590b8b706f2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7edf860af05… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 24 16:42:03 2009 +0100 Mention the bug corrected for method Octagonal_Shape<T>::affine_image(). --- NEWS | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 416de2d..1833ebd 100644 --- a/NEWS +++ b/NEWS @@ -82,6 +82,9 @@ o Fixed a bug in the Java/OCaml/Prolog interfaces, whereby the method/function/predicate for dropping a disjunct from a Pointset_Powerset object were returning an invalid iterator. +o Fixed a bug in method Octagonal_Shape<T>::affine_image(var, expr) + whereby a wrong result was computed under specific conditions. + -------------------------------------------------------------------------- NEWS for version 0.10 (released on November 4, 2008)

1 0

[GIT] ppl/w3ppl(master): Mention the bug corrected on Octagonal_Shape<T>:: affine_image().
by Enea Zaffanella 24 Mar '09

24 Mar '09

Module: ppl/w3ppl Branch: master Commit: 9545ceb180139f478e3a9d08efab0eb6f8dbcd2c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=9545ceb180… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 24 16:37:16 2009 +0100 Mention the bug corrected on Octagonal_Shape<T>::affine_image(). --- htdocs/Bugs/Bugs.raw | 14 +++++++++++++- htdocs/Bugs/archive.raw | 14 +++++++++++++- 2 files changed, 26 insertions(+), 2 deletions(-) diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index 88b5e84..c13c36c 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -50,6 +50,18 @@ affecting various releases of the PPL. <DL> +<DT>March 24, 2009</DT> +<DD> +Found a bug affecting the method +<CODE> + Octagonal_Shape<T>::affine_image(var, expr) +</CODE> +whereby a wrong result can be computed, under specific conditions, +if <CODE>expr</CODE> has the form <CODE>var + n</CODE>. +The bug has been corrected in the git master branch +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e9642493f…">d81e9642493f53fa6456d19e4ba3107bcfdf42a8</A>). +</DD> + <DT>March 22, 2009</DT> <DD> Found a bug affecting the Java, OCaml and Prolog language interfaces @@ -107,7 +119,7 @@ The bug has already been corrected in the CVS head version. <DD> Found a bug in method <CODE> - Partially_Reduced_Product<D1, D2, R>::time_elapse_assign(y) + Partially_Reduced_Product<D1, D2, R>::time_elapse_assign(y) </CODE> whereby, if the product y was not already reduced, the operation could lose precision. diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index 7bffb9f..9c0cadd 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -10,6 +10,18 @@ for various versions of the PPL. <DL> +<DT>March 24, 2009</DT> +<DD> +Found a bug affecting the method +<CODE> + Octagonal_Shape<T>::affine_image(var, expr) +</CODE> +whereby a wrong result can be computed, under specific conditions, +if <CODE>expr</CODE> has the form <CODE>var + n</CODE>. +The bug has been corrected in the git master branch +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e9642493f…">d81e9642493f53fa6456d19e4ba3107bcfdf42a8</A>). +</DD> + <DT>March 22, 2009</DT> <DD> Found a bug affecting the Java, OCaml and Prolog language interfaces @@ -67,7 +79,7 @@ The bug has already been corrected in the CVS head version. <DD> Found a bug in method <CODE> - Partially_Reduced_Product<D1, D2, R>::time_elapse_assign(y) + Partially_Reduced_Product<D1, D2, R>::time_elapse_assign(y) </CODE> whereby, if the product y was not already reduced, the operation could lose precision.

1 0

[GIT] ppl/ppl(master): Fixed comment.
by Abramo Bagnara 24 Mar '09

24 Mar '09

Module: ppl/ppl Branch: master Commit: d073548700ce6e34904d2cbb360e8c691e7be424 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d073548700ce… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 12:07:23 2009 +0100 Fixed comment. --- interfaces/C/ppl_c_header.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index 6581b43..b89f45e 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -606,7 +606,7 @@ ppl_io_fprint_##Type PPL_PROTO((FILE* stream, ppl_const_##Type##_t x)); \ /*! \relates ppl_##Type##_tag \brief Prints \p x to a malloc-allocated string, a pointer to which is returned via \p strp. */ \ int \ ppl_io_asprint_##Type PPL_PROTO((char** strp, ppl_const_##Type##_t x)); \ - /*! \relates ppl_##Type##_tag \brief Print \p x to stream \p s */ \ + /*! \relates ppl_##Type##_tag \brief Print \p x to stream \p s. */ \ int \ ppl_io_write_##Type PPL_PROTO((ppl_io_ostream_t s, ppl_const_##Type##_t x));

1 0