[PURRS-devel] Re: Apparent non-termination of NTL's `make check' (version 5.3.2)
Roberto Bagnara
bagnara at cs.unipr.it
Sat Jul 3 21:45:51 CEST 2004
victor shoup wrote:
> Don't worry about the version number issue.
OK.
> I haven't seen the problem with the "subset" program before.
> It should terminate in a few seconds.
>
> The code associated with that program hasn't changed for years.
> It looks like you are using a pretty "bleeding edge" version of gcc.
> I suspect it could be some kind of issue with floating point
> arithmetic...possibly a bug in the
> compiler, or possibly the NTL code makes an assumption about code
> generation that is
> not strictly "legal" somehow.
>
> If you have access to an older version of gcc, try that.
> Also, try compiling without optimization...the quickest way to do this
> in this case:
> 1) edit makefile, and delete -O2 from the compiling options (should be
> obvious where this is).
> 2) touch LLL_FP.c (that should be the file causing the problem)
> 3) make ntl.a (should cause just LLL_FP.c to be recompiled)
> 4) make check (try again)
>
> Let me know what happens....even if this is a gcc bug, I should try to
> find a work-around.
I have replaced "-O2" by "-g" in `makefile', but recompiling LLL_FP.c
only did not fix the problem. However, by rebuilding the entire library
with "-g" instead of "-O2", `make check' terminates successfully.
Please let me know if I can do more to help you trace the problem.
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
More information about the PURRS-devel
mailing list