October 2004 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron_nonpublic.cc
by Enea Zaffanella 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-02 17:08:45 Modified files: src : Polyhedron_nonpublic.cc Log message: Implemented another exception thrower. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src NNC_Polyhedron.inlines.hh
by Enea Zaffanella 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-02 17:03:19 Modified files: src : NNC_Polyhedron.inlines.hh Log message: Previous commit undone, as it was breaking the build. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 16:22:41 Modified files: src : checked.inlines.hh Log message: Use distinct policies for ext functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src Limits.hh checked.defs.hh checked.inli ...
by Roberto Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-10-02 15:44:53 Modified files: src : Limits.hh checked.defs.hh checked.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Started enforcing some of our coding conventions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Limits.hh.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src float.types.hh
by Roberto Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-10-02 14:44:32 Modified files: src : float.types.hh Log message: Initial comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/float.types.hh.diff?cvsro…

1 0

ppl/interfaces/Prolog Ciao/ppl_ciao.cc XSB/ppl ...
by Roberto Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-10-02 13:48:53 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/XSB: ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Use checked numbers to detect overflows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/src NNC_Polyhedron.inlines.hh
by Enea Zaffanella 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-02 13:13:38 Modified files: src : NNC_Polyhedron.inlines.hh Log message: Using the exception thrower instead of directly throwing the exception. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_chdims.cc
by Enea Zaffanella 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-02 13:12:03 Modified files: src : Polyhedron.defs.hh Polyhedron_chdims.cc Log message: Modified all the methods augmenting the space dimension of a polyhedron so as to throw std::length_error if the new vector space exceeds the maximum allowed space dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl NEWS
by Enea Zaffanella 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-02 13:08:14 Modified files: . : NEWS Log message: Announced the new behavior of the H79_widening_assign() operator. Formally, it is a bugfix since we were already promising the new behavior in the user manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.11…

1 0

GMP vaguaries when converting strings to integers
by Roberto Bagnara 02 Oct '04

02 Oct '04

The following program shows that the behavior of GMP when converting strings to integers is, at best, questionable. While some aspects can be somehow defended, there are others that are, in my opinion, serious bugs. 1) Allowing blank spaces in the middle of numerals is simply a recipe for troubles. 2) Silent and thus undetectable failures of C++ constructors is a recipe for disaster. In C++ a constructor either succeeds in doing what it has to do, or it must throw an exception. Or call abort() if you still believe that exceptions are evil... whatever: silently masking the error is the worst thing that can be done. 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 #include <gmpxx.h> #include <iostream> using namespace std; void test(const char* s) { mpz_class x = -1; x = s; cout << "x(\"" << s << "\") --> " << x << endl; } int main() { // Questionable success. test(" 1234"); // Questionable success. test("1234 "); // Highly questionable success. test("12 34"); // Highly questionable success. test("12\n34"); // Expected silent, undetectable failure. test(" "); // Expected silent, undetectable failure. test("1234a"); // OK. test("-1234"); // Unexpected silent, undetectable failure. test("+1234"); // Questionable silent, undetectable failure. test("12.34"); // Questionable silent, undetectable failure. test("1e3"); }

1 0