[PPL-devel] Recent change concerning the PPL output operators

[Roberto Bagnara]

The recent change concerning the confinment of PPL's output
operators into the Parma_Polyhedra_Library::IO_Operators
namespace has triggered a problem that makes it impossible
to compile the test program smm1.cc with gcc 3.2 and -DNOISY=1.

After a quite deep investigation that, among other things,
has had the positive consequence of porting PPL to two new
C++ compilers, I have concluded that this is likely to be
a newly introduced gcc bug.

See
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8448
for more information.
I am still looking for a workaround, but found nothing up to now.
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 at cs.unipr.it