April 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 15:09:07 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Two bugs fixed. The swap functions have been removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 13:44:03 Modified files: src : Polyhedron.cc Log message: Avoid an inconsistent mixture of useless emphasizers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am inclusion1.cc
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 13:42:20 Modified files: tests : Makefile.am Added files: tests : inclusion1.cc Log message: Test C_Polyhedron::operator<=(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inclusion1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests exceptions1.cc exceptions2.cc
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 12:13:46 Modified files: tests : exceptions1.cc exceptions2.cc Log message: Replace "impossible" with "illegal" when the latter was meant. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-07 12:08:24 Modified files: src : Polyhedron.cc Log message: There is no such a thing as the reduced scalar product operator^. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/m4 ac_check_gmp.m4
by Roberto Bagnara 06 Apr '02

06 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-06 08:01:07 Modified files: m4 : ac_check_gmp.m4 Log message: Fixed two instances of the use of an inexistent GMP assignment operator from `char*'. These gave no error because of the C++ pointer to `bool' conversion feature and because GMP had an assignment operator from `bool'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0

Even more questionable feature of the C++ interface (GMP 4.0.1)
by Roberto Bagnara 05 Apr '02

05 Apr '02

I did it again and this time is even worse. Without looking at the documentation I thought there should be an assignment operator for assigning an mpz_t to a class_mpz. So I did it, the compiler did not complain even with -Wall -W and then strange behavior started. The guilty is now the following line in <gmpxx.h> __gmp_expr & operator=(bool b) { mpz_set_ui(mp, b); return *this; } Strictly speaking, I am not reporting anything new with respect to my previous message. What makes things worse is that I now realize that it is much easier to be bitten by this problem, since, IMHO, the user is somewhat legitimate to assume that mpz_t objects can be used to initialize/assign to mpz_class objects. My revised proposal is that these two lines in <gmpxx.hh> __gmp_expr(bool b) { mpz_init_set_ui(mp, b); } __gmp_expr & operator=(bool b) { mpz_set_ui(mp, b); return *this; } are _replaced_ by their analagous taking an mpz_t argument. Here is a small test program that exemplifies the problem: /////////////////////////////////////////////////////////////////////////// #include <gmp.h> #include <gmpxx.h> #include <iostream> using namespace std; int main() { mpz_class n; mpz_t m; mpz_init_set_si(m, 123); // I thought I was assigning 123 to n... n = m; // ... but I was assigning 1! cout << n << endl; } /////////////////////////////////////////////////////////////////////////// All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it _______________________________________________ PPL-devel mailing list PPL-devel(a)cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel

3 3

ppl/tests boundingbox1.cc
by Patricia Hill 05 Apr '02

05 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-05 12:55:50 Modified files: tests : boundingbox1.cc Log message: Improved printed results: now says "none" when the denominator of the bound is 0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl src/Polyhedron.inlines.hh tests/boundingbo ...
by Patricia Hill 05 Apr '02

05 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-05 12:36:07 Modified files: src : Polyhedron.inlines.hh tests : boundingbox1.cc Log message: The dimension() method removed from BBox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl src/Polyhedron.inlines.hh tests/boundingbo ...
by Patricia Hill 05 Apr '02

05 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-05 10:38:48 Modified files: src : Polyhedron.inlines.hh tests : boundingbox1.cc Log message: In Polyhedron.inlines.hh: shrink_bounding_box now handles the empty polyhedron correctly. In boundingbox1.cc: BBox and Interval improved and many tests added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0