[PPL-devel] setitimer functions

[Roberto Bagnara]

Ro'ee Sfaradi wrote:
> 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.

Strange.  Is there a way to know more about this unhandled exception?
I will try to reproduce this behavior under Cygwin.

> 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?

No, I think this has nothing to do.

> Could it be a problem in my system? Is there a way to avoid it?

I would upgrade to a newer GCC version.
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