[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