May 2011 - PPL-devel - BUGSENG Mailman

Fwd: Bug#625417: ppl: ftbfs with gcc-4.6 -Werror
by Roberto Bagnara 03 May '11

03 May '11

-------- Original Message -------- Subject: Bug#625417: ppl: ftbfs with gcc-4.6 -Werror Resent-Date: Tue, 03 May 2011 11:06:37 +0000, Tue, 03 May 2011 11:06:50 +0000 Resent-From: Matthias Klose <doko(a)debian.org> Resent-To: Debian GCC Maintainers <debian-gcc(a)lists.debian.org> Date: Tue, 03 May 2011 10:34:10 +0000 From: Matthias Klose <doko(a)debian.org> Reply-To: Matthias Klose <doko(a)debian.org>, 625417-maintonly(a)bugs.debian.org To: maintonly(a)bugs.debian.org Package: ppl Version: 0.11.2-3 Severity: important Tags: wheezy sid User: debian-gcc(a)lists.debian.org Usertags: ftbfs-gcc-4.6 ftbfs-werror This package builds with -Werror, and GCC 4.6 triggers new warnings which will make the package fail to build. Currently a Debian patch just passes -Wno-error=unused-but-set-variable and -Wno-error=unused-but-set-parameter to avoid build failures, but this patch will be reverted with the GCC 4.6.1 release, and the severity of the report will be raised. The full build log can be found at: http://people.debian.org/~doko/tmp/werror/ppl_0.11.2-3_lsid64.buildlog The last lines of the build log are at the end of this report.

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 03 May '11

03 May '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f09abe8574… Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 3 13:13:55 2011 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f97bbef1ad… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 15 12:06:59 2011 +0100 For increased portability, use zero-length arrays (when available), not flexible arrays. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=121539b86e28… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:25:28 2011 +0100 Two items added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c8f5935d3a6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:23:28 2011 +0100 When cross-compiling, assume that GMP has been compiled with support for propagating exceptions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26c113f59e20… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:21:12 2011 +0100 Work around a bug showing up under mingw-w64. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b537ac3b2872… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 21:01:24 2011 +0100 Avoid (again) using the same macro name for different purposes. Doing it confuses both the reader and Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=676839fa3c6c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 19:26:18 2011 +0100 Get rid of LaTeX warnings related to package fancyhdr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=981f391c6dd5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 18:32:51 2011 +0100 Avoid duplicate PDF labels in the configured C interface manuals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16fc9b1bbb2a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 16:59:33 2011 +0100 Fixed a duplicate hypertarget error in the generated PDF documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85e862edc6b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 14:10:31 2011 +0100 Avoid using the same macro name for different purposes. Doing it confuses both the reader and Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f745cdb383… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 10:19:21 2011 +0100 Set INLINE_SOURCES = NO when producing LaTeX documentation. This change is a workaround to a pdftex + hyperref issue that may result in the following error \pdfendlink ended up in different nesting level than \pdfstartlink when using some versions of Doxygen (e.g., 1.7.3). According to http://tug.org/errors.html the error is triggered when a hyperlink is split across page boundaries and it can be generated even by valid LaTeX code. Disabling source inlining is a way to greatly decrease its likelihood. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95893a2b2a7e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 22 17:07:35 2011 +0100 Fixed a couple of Doxygen related problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225b29f1ab3b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 22 10:13:29 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c526a80d5c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 22 09:51:45 2011 +0100 No longer overwrite the SIGILL handler. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c9105aa28e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 12:19:22 2011 +0100 Never use `\c'; use <CODE></CODE> instead (yes, uppercase). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07f8c154d6e0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 09:56:13 2011 +0100 The `--disable-fpmath' configure option now disables all floating point computations.

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adjusting function or_assign for the check the boundary.
by Alberto Gioia 02 May '11

02 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 9687e8057c9adcafa3673c4b94a2d6924c921d64 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9687e8057c9a… Author: Alberto Gioia <alberto.gioi1(a)studenti.unipr.it> Date: Mon May 2 16:11:52 2011 +0200 Adjusting function or_assign for the check the boundary. --- src/Interval.inlines.hh | 54 +++++++++++++++++++++++++--------------------- 1 files changed, 29 insertions(+), 25 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index e5c480b..e2eec12 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -699,33 +699,37 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { -max(|a|,|b|) < = OR(x,y) <=-1 */ else if ((xls >= 0 && yls <=0) || (xls <=0 && yls >= 0 )){ - ru = Boundary_NS::assign(UPPER, upper(), to_info, - UPPER, f_upper(Constant<-1>::value), f_info(Constant<-1>::value)); - - Boundary_NS::assign(LOWER, to_lower1, to_info1, - LOWER, f_lower(x), f_info(x)); - - if (xls < 0) - Boundary_NS::neg_assign(LOWER, to_lower1, to_info1, - LOWER, to_lower1, to_info1); - - Boundary_NS::assign(LOWER, to_lower2, to_info2, - LOWER, f_lower(y), f_info(y)); - - if (yls < 0) - Boundary_NS::neg_assign(LOWER, to_lower2, to_info2, - LOWER, to_lower2, to_info2); + + if(f_lower(x) < INT_MIN || f_lower(y) < INT_MIN) + return assign(EMPTY); + + else if (f_lower(x) == INT_MIN || f_lower(y) == INT_MIN) + rl = Boundary_NS::assign(LOWER, lower(), to_info, + LOWER, f_lower(Constant<INT_MIN>::value),f_info(Constant<INT_MIN>::value)); + else { + Boundary_NS::assign(LOWER, to_lower1, to_info1, + LOWER, f_lower(x), f_info(x)); - max_assign(LOWER, to_lower3, to_info3, - LOWER, to_lower2, to_info2, - LOWER, to_lower1, to_info1); + if (xls < 0) + Boundary_NS::neg_assign(LOWER, to_lower1, to_info1, + LOWER, to_lower1, to_info1); - rl = Boundary_NS::neg_assign(LOWER, lower(), to_info, - LOWER, to_lower3, to_info3); - + Boundary_NS::assign(LOWER, to_lower2, to_info2, + LOWER, f_lower(y), f_info(y)); + + if (yls < 0) + Boundary_NS::neg_assign(LOWER, to_lower2, to_info2, + LOWER, to_lower2, to_info2); + + max_assign(LOWER, to_lower3, to_info3, + LOWER, to_lower2, to_info2, + LOWER, to_lower1, to_info1); + + rl = Boundary_NS::neg_assign(LOWER, lower(), to_info, + LOWER, to_lower3, to_info3); + } ru = Boundary_NS::assign(UPPER, upper(), to_info, UPPER, f_upper(Constant<-1>::value), f_info(Constant<-1>::value)); - } /* @@ -733,8 +737,8 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { ((x+y)-(x-y))/2 <= OR(x,y) <= -1 */ else { - if ((f_lower(x) < -INT_MAX || f_lower(y) < -INT_MAX || - (f_lower(x) - f_lower(y)) < -INT_MAX)) + if ((f_lower(x) < INT_MIN || f_lower(y) < INT_MIN || + (f_lower(x) + f_lower(y)) < INT_MIN)) return assign(EMPTY); Boundary_NS::assign(LOWER, to_lower1,to_info1,

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adjusting function or_assign for the check the boundary.
by Alberto Gioia 02 May '11

02 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 8b5e4a33eab4d8b13a830ebffe806ffdfea7c7c7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b5e4a33eab4… Author: Alberto Gioia <alberto.gioi1(a)studenti.unipr.it> Date: Mon May 2 16:00:29 2011 +0200 Adjusting function or_assign for the check the boundary. --- src/Interval.inlines.hh | 17 ++++++++++++----- 1 files changed, 12 insertions(+), 5 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 5d37ff4..e5c480b 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -682,13 +682,16 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { max(x,y) <= OR(x,y) <= x+y */ if (xls >= 0 && yls >=0) { + if ((f_upper(x) > INT_MAX || f_upper(y) > INT_MAX || + (f_upper(x) + f_upper(y)) > INT_MAX)) + return assign(EMPTY); rl = max_assign(LOWER, lower(), to_info, LOWER, f_lower(x), f_info(x), LOWER, f_lower(y), f_info(y)); - + ru = Boundary_NS::add_assign(UPPER, upper(), to_info, - UPPER, f_upper(x), f_info(x), - UPPER, f_upper(y), f_info(y)); + UPPER, f_upper(x), f_info(x), + UPPER, f_upper(y), f_info(y)); } /* @@ -702,7 +705,7 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { Boundary_NS::assign(LOWER, to_lower1, to_info1, LOWER, f_lower(x), f_info(x)); - if (xls < 0)//to_lower1 < 0) + if (xls < 0) Boundary_NS::neg_assign(LOWER, to_lower1, to_info1, LOWER, to_lower1, to_info1); @@ -730,7 +733,11 @@ Interval<To_Boundary, To_Info>::or_assign(const From1& x, const From2& y) { ((x+y)-(x-y))/2 <= OR(x,y) <= -1 */ else { - Boundary_NS::assign(LOWER,to_lower1,to_info1, + if ((f_lower(x) < -INT_MAX || f_lower(y) < -INT_MAX || + (f_lower(x) - f_lower(y)) < -INT_MAX)) + return assign(EMPTY); + + Boundary_NS::assign(LOWER, to_lower1,to_info1, LOWER, f_lower(Constant<2>::value),f_info(Constant<2>::value)); Boundary_NS::add_assign(LOWER, to_lower2, to_info2,

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adding linearization about bitwise operator OR.
by Alberto Gioia 02 May '11

02 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 8cdd09db5263badcc3c2116dfb3c5cfdd58a87a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cdd09db5263… Author: Alberto Gioia <otrebla(a)spark.(none)> Date: Mon May 2 10:24:24 2011 +0200 Adding linearization about bitwise operator OR. OO# Please enter the commit message for your changes. Lines starting --- src/Concrete_Expression.defs.hh | 5 + src/Concrete_Expression.types.hh | 4 + src/Interval.defs.hh | 14 +++ src/Interval.inlines.hh | 122 ++++++++++++++++++++++++ src/Linear_Form.defs.hh | 69 +++++++++++++- src/Linear_Form.templates.hh | 49 ++++++++++ src/Oracle.hh | 12 +++ tests/Concrete_Expression/C_Expr.defs.hh | 32 ++++++- tests/Concrete_Expression/C_Expr.inlines.hh | 20 ++++ tests/Concrete_Expression/digitalfilters1.cc | 3 + tests/Concrete_Expression/linearize.cc | 78 +++++++++++++++- tests/Concrete_Expression/linearize_integer.hh | 71 ++++++++++++++ tests/ppl_test.hh | 9 ++ 13 files changed, 483 insertions(+), 5 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8cdd09db…

1 0