[PPL-devel] setitimer functions

[Ro'ee Sfaradi]

Hi,

Thanks for the snapshot. It almost worked. I have a small (I think) problem.
When configure reaches the following lines:

----------------
checking whether the C++ compiler supports flexible arrays... yes
checking if the compiler has the remainder bug... 
----------------

the conftest.exe raises an exception(in windows): "An unhandled win32 exception occured in conftest.exe [3752]." when I choose not to debug this exception (in the VS dialog), the configure continue as no error occurred and no compiler bug has been found.
But when I run "make" it returns with the following error:

----------------
In file included from checked.defs.hh:431,
                 from Checked_Number.defs.hh:27,
                 from Coefficient.types.hh:15,
                 from Coefficient.defs.hh:26,
                 from globals.defs.hh:27,
                 from Interval.defs.hh:26,
                 from Box.defs.hh:28,
                 from Box.cc:24:
checked.inlines.hh: In function `Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::input_generic(Type&, std::istream&, Parma_Polyhedra_Library::Rounding_Dir)':
checked.inlines.hh:575: internal compiler error: in invert_truthvalue, at fold-const.c:2695
Please submit a full bug report,
with preprocessed source if appropriate.
See http://www.mingw.org/bugs.shtml> for instructions.
make[3]: *** [Box.lo] Error 1
make[2]: *** [all] Error 2
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2 
----------------

I guess this error is related to the remainder bug that is somehow not detected because of the exception?
Could it be a problem in my system? Is there a way to avoid it?

Ro'ee Sfaradi
sfa_roy at yahoo.com

----- Original Message ----
From: Roberto Bagnara <bagnara at cs.unipr.it>
To: Ro'ee Sfaradi <sfa_roy at yahoo.com>
Cc: The Parma Polyhedra Library developers' list <ppl-devel at cs.unipr.it>
Sent: Monday, October 1, 2007 1:33:05 PM
Subject: Re: [PPL-devel] setitimer functions

Ro'ee Sfaradi wrote:
> Hi Roberto,
> 
> I've tried the CVS version, and I had troubles with creating the configure file
 > (I'm not very familiar with autotools). If it's no bother I'll be glad if you
 > could send the snapshot.
> 
> Best Regards,
> Ro'ee Sfaradi
> sfa_roy at yahoo.com

Dear Ro'ee,

there is a snapshot for you at

   http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-0.10pre9.tar.bz2

Please let us know how it goes and do not hesitate to get in touch to
suggest improvements or if you need help.
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





      ____________________________________________________________________________________
Fussy? Opinionated? Impossible to please? Perfect.  Join Yahoo!'s user panel and lay it on us. http://surveylink.yahoo.com/gmrs/yahoo_panel_invite.asp?a=7