Segmentation faults in ATerm library with release builds (using gcc 4.1)

[jgroote]

Issue migrated from trac ticket # 42

component: All | priority: critical

2006-09-19 15:39:33: jwulp@win.tue.nl created the issue

---

A clean rebuild of the toolset (without --enable-debug) results in an executable of mcrl22lpe that segfaults during typechecking (both via command line and SQuADT). On another machine type errors on missing standard types (like Bool) are reported (tried on fischer.mcrl2 and abp.mcrl2).

[jgroote]

2006-09-19 17:58:02: jwulp@win.tue.nl 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'.

[jgroote]

2006-10-09 12:47:34: jwulp@win.tue.nl removed owner (was jfg)

[jgroote]

2006-10-09 12:47:34: jwulp@win.tue.nl changed component from mcrl22lpe to All

[jgroote]

2006-10-09 12:47:34: jwulp@win.tue.nl changed title from Segmentation fault during type checking to Segmentation faults in ATerm library with release builds (using gcc 4.1)

[jgroote]

2006-12-12 12:40:35: muck@mweerden.net 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.

[jgroote]

2006-12-20 17:41:00: muck@mweerden.net changed status from new to closed

[jgroote]

2006-12-20 17:41:00: muck@mweerden.net removed resolution (was **)

[jgroote]

2006-12-20 17:41:00: muck@mweerden.net 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.