June 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added missing quotes.
by Abramo Bagnara 12 Jun '11

12 Jun '11

Module: ppl/ppl Branch: master Commit: e3567430ae4442819289fa12456c8ae9965037f7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3567430ae44… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 12 18:31:27 2011 +0200 Added missing quotes. --- interfaces/Prolog/SWI/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index dfebe4d..61928e7 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -234,7 +234,7 @@ LIBPPL_SWIPROLOG_LINK_OPTIONS = -L.libs -lppl_swiprolog endif !ENABLE_STATIC ppl_pl$(EXEEXT): libppl_swiprolog.la ppl_pl.o - $(SWI_PROLOG_LD) -pl $(SWI_PROLOG) -cc $(CC) -c++ $(CXX) -ld $(CXX) \ + $(SWI_PROLOG_LD) -pl $(SWI_PROLOG) -cc "$(CC)" -c++ "$(CXX)" -ld "$(CXX)" \ -ld-options`echo '' $(AM_CXXFLAGS) $(CXXFLAGS) | tr " " "/"` \ -o $@ $(LIBPPL_SWIPROLOG_LINK_OPTIONS) ppl_pl.o \ -L$(top_builddir)/src/.libs \

1 0

[GIT] ppl/ppl(master): New configuration option `--disable-documentation'.
by Roberto Bagnara 12 Jun '11

12 Jun '11

Module: ppl/ppl Branch: master Commit: daba0d9b281e8c1881fafd335184cc3f8313754b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=daba0d9b281e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 12 10:53:36 2011 +0200 New configuration option `--disable-documentation'. --- NEWS | 4 ++++ Watchdog/configure.ac | 19 +++++++++++++++++++ Watchdog/doc/Makefile.am | 21 ++++++++++++++++++--- configure.ac | 18 ++++++++++++++++++ doc/Makefile.am | 21 ++++++++++++++++++--- 5 files changed, 77 insertions(+), 6 deletions(-) diff --git a/NEWS b/NEWS index efa276a..8d7d78c 100644 --- a/NEWS +++ b/NEWS @@ -16,6 +16,10 @@ NEWS for version 0.12 (release date to be decided) New and Changed Features ======================== +o New configuration option `--disable-documentation'. When specified + no new documentation is built: only the documentation already present + in the source tree is installed upon `make install'. + o The resolution process for PIP_Problem now better exploits the integrality of parameters to simplify the newly generated tautological constraints, the splitting constraints of decision nodes, and the diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac index f7ce496..b791f9a 100644 --- a/Watchdog/configure.ac +++ b/Watchdog/configure.ac @@ -355,6 +355,25 @@ esac AC_MSG_RESULT($build_watchdog_library) AM_CONDITIONAL(BUILD_WATCHDOG_LIBRARY, test x"$build_watchdog_library" = xyes) +enableval=yes +AC_MSG_CHECKING([whether to build the PWL documentation]) +AC_ARG_ENABLE(documentation, + AS_HELP_STRING([--enable-documentation], [build the PWL documentation])) +case "${enableval}" in +yes) + AC_MSG_RESULT(yes) + ;; +no) + AC_MSG_RESULT(no) + ;; +*) + AC_MSG_ERROR([bad value ${enableval} for --enable-documentation, needs yes or no]) + ;; +esac +build_documentation=$enableval +AM_CONDITIONAL(BUILD_DOCUMENTATION, test x"$build_documentation" = xyes) + + if test x"$build_watchdog_library" = xyes then # Checks for header files. diff --git a/Watchdog/doc/Makefile.am b/Watchdog/doc/Makefile.am index db20a64..00bf544 100644 --- a/Watchdog/doc/Makefile.am +++ b/Watchdog/doc/Makefile.am @@ -144,10 +144,23 @@ uninstall-pdf \ uninstall-ps \ uninstall-txt + +if BUILD_DOCUMENTATION + +CONTINUE_IF_NO_DOC = true + +else !BUILD_DOCUMENTATION + +CONTINUE_IF_NO_DOC = continue + +endif !BUILD_DOCUMENTATION + + # Installation and uninstallation of HTML documentation. install-html: for ball in $(DIST_HTML_DOCS); do \ - test -f $$ball || test -f $(srcdir)/$$ball || $(MAKE) $$ball; \ + test -f $$ball || test -f $(srcdir)/$$ball \ + || $(CONTINUE_IF_NO_DOC) || $(MAKE) $$ball; \ dir=`basename $$ball .tar.gz`; \ $(mkinstalldirs) $(DESTDIR)$(htmldir)/$$dir; \ gunzip -c `if test -f $$ball; then echo .; else echo $(srcdir); fi`/$$ball | tar xf - ; \ @@ -172,7 +185,8 @@ uninstall-html: install-pdf: $(mkinstalldirs) $(DESTDIR)$(pdfdir) for file in $(DIST_PDF_DOCS); do \ - test -f $$file || test -f $(srcdir)/$$file || $(MAKE) $$file; \ + test -f $$file || test -f $(srcdir)/$$file \ + || $(CONTINUE_IF_NO_DOC) || $(MAKE) $$file; \ $(INSTALL_DATA) `if test -f $$file; then echo .; else echo $(srcdir); fi`/$$file $(DESTDIR)$(pdfdir)/$$file; \ done @@ -189,7 +203,8 @@ uninstall-pdf: install-ps: install-pdf $(mkinstalldirs) $(DESTDIR)$(psdir) for file in $(DIST_PS_DOCS); do \ - test -f $$file || test -f $(srcdir)/$$file || $(MAKE) $$file; \ + test -f $$file || test -f $(srcdir)/$$file \ + || $(CONTINUE_IF_NO_DOC) || $(MAKE) $$file; \ $(INSTALL_DATA) `if test -f $$file; then echo .; else echo $(srcdir); fi`/$$file $(DESTDIR)$(psdir)/$$file; \ done diff --git a/configure.ac b/configure.ac index 32a7756..ae70865 100644 --- a/configure.ac +++ b/configure.ac @@ -860,6 +860,24 @@ esac build_ppl_pips=$enableval AM_CONDITIONAL(BUILD_PPL_PIPS, test x"$build_ppl_pips" = xyes) +enableval=yes +AC_MSG_CHECKING([whether to build the PPL documentation]) +AC_ARG_ENABLE(documentation, + AS_HELP_STRING([--enable-documentation], [build the PPL documentation])) +case "${enableval}" in +yes) + AC_MSG_RESULT(yes) + ;; +no) + AC_MSG_RESULT(no) + ;; +*) + AC_MSG_ERROR([bad value ${enableval} for --enable-documentation, needs yes or no]) + ;; +esac +build_documentation=$enableval +AM_CONDITIONAL(BUILD_DOCUMENTATION, test x"$build_documentation" = xyes) + # Define lists of available interfaces: lowercase and blank-separated. non_prolog_interfaces="cxx c ocaml java" prolog_interfaces="ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog yap_prolog" diff --git a/doc/Makefile.am b/doc/Makefile.am index 398fead..1eb82ac 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -721,10 +721,23 @@ uninstall-pdf \ uninstall-ps \ uninstall-txt + +if BUILD_DOCUMENTATION + +CONTINUE_IF_NO_DOC = true + +else !BUILD_DOCUMENTATION + +CONTINUE_IF_NO_DOC = continue + +endif !BUILD_DOCUMENTATION + + # Installation and uninstallation of HTML documentation. install-html: for ball in $(INSTALL_HTML_DOCS); do \ - test -f $$ball || test -f $(srcdir)/$$ball || $(MAKE) $$ball; \ + test -f $$ball || test -f $(srcdir)/$$ball \ + || $(CONTINUE_IF_NO_DOC) || $(MAKE) $$ball; \ dir=`basename $$ball .tar.gz`; \ $(mkinstalldirs) $(DESTDIR)$(htmldir)/$$dir; \ gunzip -c `if test -f $$ball; then echo .; else echo $(srcdir); fi`/$$ball | tar xf - ; \ @@ -756,7 +769,8 @@ uninstall-html: install-pdf: $(mkinstalldirs) $(DESTDIR)$(pdfdir) for file in $(INSTALL_PDF_DOCS); do \ - test -f $$file || test -f $(srcdir)/$$file || $(MAKE) $$file; \ + test -f $$file || test -f $(srcdir)/$$file \ + || $(CONTINUE_IF_NO_DOC) || $(MAKE) $$file; \ $(INSTALL_DATA) `if test -f $$file; then echo .; else echo $(srcdir); fi`/$$file $(DESTDIR)$(pdfdir)/$$file; \ done @@ -775,7 +789,8 @@ uninstall-pdf: install-ps: install-pdf $(mkinstalldirs) $(DESTDIR)$(psdir) for file in $(INSTALL_PS_DOCS); do \ - test -f $$file || test -f $(srcdir)/$$file || $(MAKE) $$file; \ + test -f $$file || test -f $(srcdir)/$$file \ + || $(CONTINUE_IF_NO_DOC) || $(MAKE) $$file; \ $(INSTALL_DATA) `if test -f $$file; then echo .; else echo $(srcdir); fi`/$$file $(DESTDIR)$(psdir)/$$file; \ done

1 0

[GIT] ppl/ppl(master): Make sure the PDF documentation is fully built before extracting the PostScript documentation .
by Roberto Bagnara 12 Jun '11

12 Jun '11

Module: ppl/ppl Branch: master Commit: 700beeb4d08cd315667dab76f4134ecf9f352064 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=700beeb4d08c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 12 09:13:28 2011 +0200 Make sure the PDF documentation is fully built before extracting the PostScript documentation. --- Watchdog/doc/Makefile.am | 5 ++++- doc/Makefile.am | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/Watchdog/doc/Makefile.am b/Watchdog/doc/Makefile.am index fd0f84d..db20a64 100644 --- a/Watchdog/doc/Makefile.am +++ b/Watchdog/doc/Makefile.am @@ -183,7 +183,10 @@ uninstall-pdf: rm -f $(DESTDIR)$(pdfdir)/*.pdf # Installation and uninstallation of PostScript documentation. -install-ps: +# The PostScript documentation is obtained from the PDF one; +# the dependency is needed so as to make sure the PDF documentation +# is fully built before the conversion is performed. +install-ps: install-pdf $(mkinstalldirs) $(DESTDIR)$(psdir) for file in $(DIST_PS_DOCS); do \ test -f $$file || test -f $(srcdir)/$$file || $(MAKE) $$file; \ diff --git a/doc/Makefile.am b/doc/Makefile.am index aa547e0..398fead 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -769,7 +769,10 @@ uninstall-pdf: done # Installation and uninstallation of PostScript documentation. -install-ps: +# The PostScript documentation is obtained from the PDF one; +# the dependency is needed so as to make sure the PDF documentation +# is fully built before the conversion is performed. +install-ps: install-pdf $(mkinstalldirs) $(DESTDIR)$(psdir) for file in $(INSTALL_PS_DOCS); do \ test -f $$file || test -f $(srcdir)/$$file || $(MAKE) $$file; \

1 0

Fwd: Re: ppl-java on Ubuntu 11.04
by Enea Zaffanella 07 Jun '11

07 Jun '11

> -------- Original Message -------- > Subject: Re: [PPL-devel] ppl-java on Ubuntu 11.04 > Date: Tue, 07 Jun 2011 16:22:42 +0200 > From: Rémi Delmas <Remi.Delmas(a)onera.fr> > To: Roberto Bagnara <bagnara(a)cs.unipr.it> > > Roberto, > thank you so much for taking interest in my issue! > > Indeed I meant that there was no .deb containing the java interface in > the standard ubuntu mirrors, they only have the C/C++ interfaces. > > however, I tried to build from ppl-0.11.2 sources on my system (ubuntu > 11.04 using the following command > > ./configure --libdir=/usr/local/lib64 > --with-java=/usr/lib/jvm/java-6-sun --enable-interfaces=java; make Can you please send us the generated config.log ? Enea.

1 0

Fwd: Re: ppl-java on Ubuntu 11.04
by Roberto Bagnara 07 Jun '11

07 Jun '11

-------- Original Message -------- Subject: Re: [PPL-devel] ppl-java on Ubuntu 11.04 Date: Tue, 07 Jun 2011 16:22:42 +0200 From: Rémi Delmas <Remi.Delmas(a)onera.fr> To: Roberto Bagnara <bagnara(a)cs.unipr.it> Roberto, thank you so much for taking interest in my issue! Indeed I meant that there was no .deb containing the java interface in the standard ubuntu mirrors, they only have the C/C++ interfaces. however, I tried to build from ppl-0.11.2 sources on my system (ubuntu 11.04 using the following command ./configure --libdir=/usr/local/lib64 --with-java=/usr/lib/jvm/java-6-sun --enable-interfaces=java; make the make exits error as follows: *********** /usr/bin/ld: /usr/lib/x86_64-linux-gnu/gcc/x86_64-linux-gnu/4.5.2/libstdc++.a(ctype.o): relocation R_X86_64_32S against `vtable for std::ctype<wchar_t>' can not be used when making a shared object; recompile with -fPIC /usr/lib/x86_64-linux-gnu/gcc/x86_64-linux-gnu/4.5.2/libstdc++.a: could not read symbols: Bad value collect2: ld returned 1 exit status ************ To try to overcome the "can not be used when making a shared object; recompile with -fPIC" error, I tried to build using this command ./configure --libdir=/usr/local/lib64 --with-java=/usr/lib/jvm/java-6-sun --enable-interfaces=java --with-pic=yes ; make Attached is the full build log. Best regards, /Rémi On 07/06/2011 14:33, Roberto Bagnara wrote: > On 06/06/2011 10:22 AM, Rémi Delmas wrote: >> this email to let you know we're missing the ppl-java interface under >> ubuntu 11.04 (and previous releases as well)! > > Hi Rémi, > > I configured PPL 0.11.2 with the command > > ./configure --libdir=/usr/local/lib64 > --with-java=/usr/lib/jvm/java-6-openjdk --enable-interfaces=java > > on an x86_64 Ubuntu 11.04 system. The Java interface built correctly > and passed make check. > > So I guess you mean that Ubuntu 11.04 (and previous Ubuntu releases) do > not provide > a package for the Java interface, right? This is something you should > report to > the Ubuntu/Debian maintainers. If you decide to contact them, please > feel free to > CC us and to tell them that, in case they agree to package the Java > interface, > we will provide assistance. > All the best, > > Roberto > -- Rémi Delmas Remi.Delmas(a)onera.fr +33.5.62.25.26.54 http://www.onera.fr/dtim/systemes-critiques/ ONERA BP4025 2 avenue Edouard Belin FR-31055 TOULOUSE CEDEX 4

1 0

ppl-java on Ubuntu 11.04
by Rémi Delmas 07 Jun '11

07 Jun '11

Greetings, this email to let you know we're missing the ppl-java interface under ubuntu 11.04 (and previous releases as well)! Best regards -- Rémi Delmas Remi.Delmas(a)onera.fr +33.5.62.25.26.54 http://www.onera.fr/dtim/systemes-critiques/ ONERA BP4025 2 avenue Edouard Belin FR-31055 TOULOUSE CEDEX 4

2 1

[GIT] ppl/ppl(master): Fixed some warnings.
by Abramo Bagnara 06 Jun '11

06 Jun '11

Module: ppl/ppl Branch: master Commit: 15650222d5358a202411066142ab134b03cbea1e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15650222d535… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 16:34:59 2011 +0200 Fixed some warnings. --- src/Grid_public.cc | 6 +++--- src/Interval.inlines.hh | 13 ++++++------- src/Interval.templates.hh | 8 ++++---- src/wrap_assign.hh | 2 +- 4 files changed, 14 insertions(+), 15 deletions(-) diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 47b8437..82e64a3 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -2735,7 +2735,7 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, PPL_DIRTY_TEMP_COEFFICIENT(v_n); PPL_DIRTY_TEMP_COEFFICIENT(v_d); for (Variables_Set::const_iterator i = vars.begin(), - vars_end = vars.end(); i != vars.end(); ++i) { + vars_end = vars.end(); i != vars_end; ++i) { const Variable x = Variable(*i); // Find the frequency and a value for `x' in `gr'. if (!gr.frequency_no_check(x, f_n, f_d, v_n, v_d)) @@ -2817,7 +2817,7 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, max_value *= div; min_value *= div; for (Variables_Set::const_iterator i = vars.begin(), - vars_end = vars.end(); i != vars.end(); ++i) { + vars_end = vars.end(); i != vars_end; ++i) { const Variable x = Variable(*i); if (!gr.bounds_no_check(x)) { // `x' is not a constant in `gr'. @@ -2886,7 +2886,7 @@ PPL::Grid::drop_some_non_integer_points(const Variables_Set& vars, // in vars. All points in \p *this with non-integral coordinates for // the dimensions in vars are removed. for (Variables_Set::const_iterator i = vars.begin(), - vars_end = vars.end(); i != vars.end(); ++i) + vars_end = vars.end(); i != vars_end; ++i) add_congruence(Variable(*i) %= 0); PPL_ASSERT(OK()); diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 2fdba70..85cc815 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -352,13 +352,12 @@ Interval<To_Boundary, To_Info>::intersect_assign(const From1& x, to_info.clear(); if (!intersect_restriction(to_info, x, y)) return assign(EMPTY); - Result rl, ru; - rl = max_assign(LOWER, lower(), to_info, - LOWER, f_lower(x), f_info(x), - LOWER, f_lower(y), f_info(y)); - ru = min_assign(UPPER, upper(), to_info, - UPPER, f_upper(x), f_info(x), - UPPER, f_upper(y), f_info(y)); + max_assign(LOWER, lower(), to_info, + LOWER, f_lower(x), f_info(x), + LOWER, f_lower(y), f_info(y)); + min_assign(UPPER, upper(), to_info, + UPPER, f_upper(x), f_info(x), + UPPER, f_upper(y), f_info(y)); assign_or_swap(info(), to_info); PPL_ASSERT(OK()); return I_NOT_EMPTY; diff --git a/src/Interval.templates.hh b/src/Interval.templates.hh index 9f83797..50a1f0c 100644 --- a/src/Interval.templates.hh +++ b/src/Interval.templates.hh @@ -37,6 +37,8 @@ Interval<Boundary, Info>::lower_extend(const C& c) { switch (c.rel()) { case V_LGE: return lower_extend(); + default: + PPL_ASSERT(false); case V_NAN: return I_NOT_EMPTY | I_EXACT | I_UNCHANGED; case V_GT: @@ -46,8 +48,6 @@ Interval<Boundary, Info>::lower_extend(const C& c) { case V_EQ: open = false; break; - default: - PPL_ASSERT(false); } min_assign(LOWER, lower(), info(), LOWER, c.value(), f_info(c.value(), open)); PPL_ASSERT(OK()); @@ -63,6 +63,8 @@ Interval<Boundary, Info>::upper_extend(const C& c) { switch (c.rel()) { case V_LGE: return lower_extend(); + default: + PPL_ASSERT(false); case V_NAN: return I_NOT_EMPTY | I_EXACT | I_UNCHANGED; case V_LT: @@ -72,8 +74,6 @@ Interval<Boundary, Info>::upper_extend(const C& c) { case V_EQ: open = false; break; - default: - PPL_ASSERT(false); } max_assign(UPPER, upper(), info(), UPPER, c.value(), f_info(c.value(), open)); PPL_ASSERT(OK()); diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh index cbddcd3..1c54cc0 100644 --- a/src/wrap_assign.hh +++ b/src/wrap_assign.hh @@ -124,7 +124,7 @@ wrap_assign_col(PSET& dest, if (pcs != 0) p.refine_with_constraints(*pcs); for (Variables_Set::const_iterator i = vars.begin(), - vars_end = vars.end(); i != vars.end(); ++i) { + vars_end = vars.end(); i != vars_end; ++i) { const Variable x = Variable(*i); p.refine_with_constraint(min_value <= x); p.refine_with_constraint(x <= max_value);

2 1

[GIT] ppl/ppl(master): Silenced gcc warnings.
by Abramo Bagnara 06 Jun '11

06 Jun '11

Module: ppl/ppl Branch: master Commit: 9248b10e00497f2e57ce2f99256c73fa853f8271 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9248b10e0049… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:55:31 2011 +0200 Silenced gcc warnings. --- tests/BD_Shape/relations3.cc | 1 + tests/Box/relations4.cc | 1 + tests/Octagonal_Shape/relatwithcons2.cc | 1 + tests/Octagonal_Shape/relatwithgen1.cc | 1 + 4 files changed, 4 insertions(+), 0 deletions(-) diff --git a/tests/BD_Shape/relations3.cc b/tests/BD_Shape/relations3.cc index 9a35ae8..2e3c44a 100644 --- a/tests/BD_Shape/relations3.cc +++ b/tests/BD_Shape/relations3.cc @@ -81,6 +81,7 @@ test03() { // it is illegal to use a generator that is // dimensional incompatible with the BDS. Poly_Gen_Relation rel = bds.relation_with(ray(C)); + (void) rel; } catch (std::invalid_argument& e) { nout << "std::invalid_argument: " << endl; diff --git a/tests/Box/relations4.cc b/tests/Box/relations4.cc index 26de159..baf2225 100644 --- a/tests/Box/relations4.cc +++ b/tests/Box/relations4.cc @@ -432,6 +432,7 @@ test19() { try { // This tests the space dimension exception.. Poly_Con_Relation rel = box.relation_with((A + B %= 1) / 9); + (void) rel; } catch (std::invalid_argument& e) { nout << "std::invalid_argument: " << endl; diff --git a/tests/Octagonal_Shape/relatwithcons2.cc b/tests/Octagonal_Shape/relatwithcons2.cc index 2792944..d60d9c7 100644 --- a/tests/Octagonal_Shape/relatwithcons2.cc +++ b/tests/Octagonal_Shape/relatwithcons2.cc @@ -306,6 +306,7 @@ test14() { // it is illegal to use a constraint that is not dimension-compatible // with the octagon. Poly_Con_Relation rel = oc.relation_with(-C - B <= 2); + (void) rel; } catch (std::invalid_argument& e) { nout << "std::invalid_argument: " << e.what() << endl; diff --git a/tests/Octagonal_Shape/relatwithgen1.cc b/tests/Octagonal_Shape/relatwithgen1.cc index 8163bb7..13026cd 100644 --- a/tests/Octagonal_Shape/relatwithgen1.cc +++ b/tests/Octagonal_Shape/relatwithgen1.cc @@ -272,6 +272,7 @@ test12() { // it is illegal to use a generator that is // dimensional incompatible with the OS. Poly_Gen_Relation rel = oc.relation_with(ray(C)); + (void) rel; } catch (std::invalid_argument& e) { nout << "std::invalid_argument: " << e.what() << endl;

2 2

[GIT] ppl/ppl(master): Silenced gcc warnings.
by Abramo Bagnara 06 Jun '11

06 Jun '11

Module: ppl/ppl Branch: master Commit: caaab3ac864be2ba18911c516ee59f8fdbf40159 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaab3ac864b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 19:01:20 2011 +0200 Silenced gcc warnings. --- tests/BD_Shape/relations3.cc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/tests/BD_Shape/relations3.cc b/tests/BD_Shape/relations3.cc index 2e3c44a..a2036db 100644 --- a/tests/BD_Shape/relations3.cc +++ b/tests/BD_Shape/relations3.cc @@ -40,6 +40,7 @@ test01() { // it is illegal to use a constraint that is // dimensional incompatible with the BDS. Poly_Con_Relation rel = bds.relation_with(C - B <= 2); + (void) rel; } catch (std::invalid_argument& e) { nout << "std::invalid_argument: " << endl;

1 0

[GIT] ppl/ppl(master): Silenced gcc warning.
by Abramo Bagnara 06 Jun '11

06 Jun '11

Module: ppl/ppl Branch: master Commit: 8b6502299d82bf26cbe9cd6d38c26101fa2e948c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b6502299d82… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:32:03 2011 +0200 Silenced gcc warning. --- Watchdog/tests/pwl_test.hh | 1 + tests/ppl_test.hh | 1 + 2 files changed, 2 insertions(+), 0 deletions(-) diff --git a/Watchdog/tests/pwl_test.hh b/Watchdog/tests/pwl_test.hh index 6fac692..75b9200 100644 --- a/Watchdog/tests/pwl_test.hh +++ b/Watchdog/tests/pwl_test.hh @@ -64,6 +64,7 @@ main() try { \ set_handlers(); \ bool succeeded = false; \ bool overflow = false; \ + (void) overflow; \ std::list<std::string> failed_tests; #define END_MAIN \ diff --git a/tests/ppl_test.hh b/tests/ppl_test.hh index 731d05e..e2bc341 100644 --- a/tests/ppl_test.hh +++ b/tests/ppl_test.hh @@ -66,6 +66,7 @@ main() try { \ set_handlers(); \ bool succeeded = false; \ bool overflow = false; \ + (void) overflow; \ std::list<std::string> failed_tests; \ std::list<std::string> unexpectedly_succeeded_tests;

1 0