Segmentation faults in ATerm library with release builds (using gcc 4.1) about mcrl2 HOT 8 CLOSED

2006-09-19 17:58:02: [email protected] commented

This seems to be a more general problem with the ATerm library in combination with gcc 4.1.1 . Running lpe2lts gives strange rewrite errors, such as that true' or false' cannot be obtained by rewriting the term `true'.

from mcrl2.

2006-10-09 12:47:34: [email protected] removed owner (was jfg)

from mcrl2.

2006-10-09 12:47:34: [email protected] changed component from mcrl22lpe to All

from mcrl2.

2006-10-09 12:47:34: [email protected] changed title from Segmentation fault during type checking to Segmentation faults in ATerm library with release builds (using gcc 4.1)

from mcrl2.

2006-12-12 12:40:35: [email protected] commented

A branch new_aterm was added in revision 2255 that contains a new version of the ATerm library that should be more robust. See if this helps.

from mcrl2.

2006-12-20 17:41:00: [email protected] changed status from new to closed

from mcrl2.

2006-12-20 17:41:00: [email protected] removed resolution (was **)

from mcrl2.

2006-12-20 17:41:00: [email protected] commented

Merged new_aterm branch, containing the latest version (2.5) of the ATerm library, with trunk in revision r2360. This should fix the problems with gcc 4.1.

from mcrl2.