September 2008 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] [Doxygen-users] Doxygen-1.5.7 in SVN
by Roberto Bagnara 30 Sep '08

30 Sep '08

Dimitri van Heesch wrote: > The new release is out. Here are the changes since the last update: > ---------------------------------------------------------------------------- > [...] Hi Dimitri, something seems wrong with this release. After updating the config file with doxygen -u I get: $ doxygen user.doxyconf-latex Warning: Tag `QTHELP_FILE' at line 135 of file user.doxyconf-latex has become obsolete. To avoid this warning please update your configuration file using "doxygen -u" Warning: Tag `QTHELP_CONFIG' at line 136 of file user.doxyconf-latex has become obsolete. To avoid this warning please update your configuration file using "doxygen -u" Warning: Tag `DOXYGEN2QTHELP_LOC' at line 137 of file user.doxyconf-latex has become obsolete. To avoid this warning please update your configuration file using "doxygen -u" config.l<1304>: Internal error: Requested unknown option GENERATE_INDEXLOG! $ fgrep QTHELP_FILE user.doxyconf-latex $ fgrep QTHELP_CONFIG user.doxyconf-latex $ fgrep DOXYGEN2QTHELP_LOC user.doxyconf-latex $ fgrep GENERATE_INDEXLOG user.doxyconf-latex $ I don't understand why it complains about tags that do not appear in the config file. 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

2 2

ppl/src Pointset_Powerset.templates.hh
by Enea Zaffanella 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-30 21:25:37 Modified files: src : Pointset_Powerset.templates.hh Log message: Minor improvements to the simplify_using_context method: we now handle ad hoc the frequent case when the context is a singleton powerset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0

SOS_MEMORY_SIZE too small?
by Roberto Bagnara 30 Sep '08

30 Sep '08

Hi there, while porting the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/) to Itanium, we discovered what seems to be a libunwind problem. The symptoms are that, during the throw of an std::bad_alloc exception, libunwind calls abort() as follows: $ libtool --mode=execute gdb memory1 ./memory1: line 61: Xmemory1: command not found GNU gdb 6.8-debian Copyright (C) 2008 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "ia64-linux-gnu"... (gdb) r Starting program: /home/bagnara/ppl/build/tests/Polyhedron/.libs/lt-memory1 Trying dimension 8 Program received signal SIGABRT, Aborted. 0xa000000000010621 in __kernel_syscall_via_break () (gdb) info stack #0 0xa000000000010621 in __kernel_syscall_via_break () #1 0x20000000005cd2a0 in raise () from /lib/libc.so.6.1 #2 0x20000000005cfb70 in abort () from /lib/libc.so.6.1 #3 0x200000000052bc30 in _UIia64__sos_alloc (size=752) at mi/mempool.c:61 #4 0x200000000052be20 in expand (pool=0x2000000000559528) at mi/mempool.c:137 #5 0x200000000052c030 in _UIia64__mempool_alloc (pool=0x2000000000559528) at mi/mempool.c:180 #6 0x20000000005357b0 in desc_label_state (label=3, sr=0x60000ffffffbd2c8) at ia64/Gparser.c:533 #7 0x2000000000538100 in create_state_record_for (c=0x60000ffffffbe180, sr=0x60000ffffffbd2c8, ip=<value optimized out>) at ia64/unwind_decoder.h:396 #8 0x2000000000540e00 in build_script (c=0x60000ffffffbe180, script=0x2000000000575d58) at ia64/Gscript.c:458 #9 0x2000000000542a10 in _ULia64_find_save_locs (c=0x60000ffffffbe180) at ia64/Gscript.c:688 #10 0x2000000000542f90 in _ULia64_step (cursor=0x60000ffffffbe180) at ia64/Gstep.c:338 #11 0x200000000052ddd0 in _Unwind_RaiseException ( exception_object=0x2000000000425870) at unwind/RaiseException.c:49 #12 0x20000000003d16d0 in __cxa_throw () from /usr/lib/libstdc++.so.6 #13 0x20000000003d2440 in operator new () from /usr/lib/libstdc++.so.6 #14 0x4000000000006940 in cxx_malloc (size=8) at ../../../ppl/tests/Polyhedron/memory1.cc:133 #15 0x20000000002074a0 in __gmpz_init () from /usr/lib/libgmp.so.3 #16 0x200000000016f300 in Parma_Polyhedra_Library::Row_Impl_Handler::Impl::expand_within_capacity (this=0x6000000000033e60, new_size=10) at /usr/include/gmpxx.h:1478 #17 0x20000000000b4700 in Parma_Polyhedra_Library::Linear_System::add_pending_row (this=0x60000ffffffbf350, flags=<value optimized out>) at ../../ppl/src/Row.inlines.hh:235 #18 0x200000000017f6f0 in Parma_Polyhedra_Library::Polyhedron::conversion ( source=@0x60000ffffffbf310, start=0, dest=@0x60000ffffffbf350, sat=@0x60000ffffffbf230, num_lines_or_equalities=0) at ../../ppl/src/conversion.cc:722 #19 0x2000000000182040 in Parma_Polyhedra_Library::Polyhedron::minimize ( con_to_gen=true, source=@0x60000ffffffbf310, dest=@0x60000ffffffbf350, sat=@0x60000ffffffbf3b0) at ../../ppl/src/minimize.cc:137 ---Type <return> to continue, or q <return> to quit--- #20 0x20000000000ea250 in Parma_Polyhedra_Library::Polyhedron::update_generators (this=0x60000ffffffbf310) at ../../ppl/src/Polyhedron_nonpublic.cc:828 #21 0x2000000000107fc0 in Parma_Polyhedra_Library::Polyhedron::generators ( this=0x60000ffffffbf310) at ../../ppl/src/Polyhedron_public.cc:147 #22 0x40000000000078f0 in compute_open_hypercube_generators (dimension=8) at ../../../ppl/tests/Polyhedron/memory1.cc:73 #23 0x40000000000081d0 in guarded_compute_open_hypercube_generators ( dimension=8, max_memory_in_bytes=3145728) at ../../../ppl/tests/Polyhedron/memory1.cc:115 #24 0x4000000000008640 in main () at ../../../ppl/tests/Polyhedron/memory1.cc:163 Apparently, this is due to SOS_MEMORY_SIZE being too small. The following patch fixes it: --- libunwind-0.98.6/src/mi/mempool.c 2008-09-29 20:57:19.000000000 +0200 +++ libunwind-0.98.6/src/mi/mempool.c.fixed 2008-09-29 20:16:36.000000000 +0200 @@ -34,7 +34,7 @@ #include "mempool.h" #define MAX_ALIGN (sizeof (long double)) -#define SOS_MEMORY_SIZE 16384 +#define SOS_MEMORY_SIZE 32768 static char sos_memory[SOS_MEMORY_SIZE]; static char *sos_memp; You may also want to apply the following patch: --- libunwind-0.98.6/src/ia64/Gscript.c~ 2007-11-15 01:01:19.000000000 +0100 +++ libunwind-0.98.6/src/ia64/Gscript.c 2008-09-29 20:17:34.000000000 +0200 @@ -113,7 +113,7 @@ sigprocmask (SIG_SETMASK, &unwi_full_sigmask, saved_sigmaskp); if (likely (caching == UNW_CACHE_GLOBAL)) { - Debug (16, "%s: acquiring lock\n"); + Debug (16, "%s: acquiring lock\n", __FUNCTION__); mutex_lock (&cache->lock); } #endif All the best, Abramo and Roberto Bagnara -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/tests/BD_Shape closure1.cc
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-30 20:50:05 Modified files: tests/BD_Shape : closure1.cc Log message: test02() and test03() may overflow also with 32 bits, if inexact coefficients are used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc.di…

1 0

ppl/src stdiobuf.defs.hh
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-30 20:38:59 Modified files: src : stdiobuf.defs.hh Log message: Documented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/stdiobuf.defs.hh.diff?cvs…

1 0

ppl/doc devref.doxyconf-html.in devref.doxycon ...
by Enea Zaffanella 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-30 19:44:20 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-latex.in Log message: Added stdiobuf* files to Doxygen INPUT variable for devref documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.…

1 0

ppl TODO
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-30 18:42:39 Modified files: . : TODO Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0

ppl/interfaces/C ppl_c_implementation_common.d ...
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-30 18:40:42 Modified files: interfaces/C : ppl_c_implementation_common.defs.hh Log message: Use the new system for all the I/O functions of the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa…

1 0

ppl/src MIP_Problem.cc
by Enea Zaffanella 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-30 18:38:32 Modified files: src : MIP_Problem.cc Log message: In the ascii dump/load methods, do also deal with private fields `initialized' and `pricing'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src stdiobuf.cc stdiobuf.defs.hh stdiobuf. ...
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-30 18:17:23 Modified files: src : stdiobuf.cc stdiobuf.defs.hh stdiobuf.inlines.hh Log message: Interface separated from implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/stdiobuf.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/stdiobuf.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/stdiobuf.inlines.hh.diff?…

1 0