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

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=g... for more information. I am still looking for a workaround, but found nothing up to now. All the best

Roberto