Discussion related to cado-nfs

[Zimmermann Paul <Paul.Zimmermann@inria.fr>]

>  - system and/or compiler bug. Miscompilations do happen. I don't
> recall whether gcc-4.1.2 was on the blacklist or not, but I do recall
> that some oldish libcs had a problem with threads which impacted
> cado-nfs. You can try to compile with a more recent gcc, for instance.
> You may also try to run the above command without the "-mt 4"
> parameter.

yes gcc-4.1.2 is on the blacklist. From README:

* GCC 4.1.2 is known to miscompile CADO-NFS (see
  https://gforge.inria.fr/tracker/index.php?func=detail&aid=14490),
  GCC 4.2.0, 4.2.1 and 4.2.2 are also affected

Paul Zimmermann