Commit Graph

3 Commits

Author SHA1 Message Date
Eelco Dolstra
da4fb573a7 * Added ATerm 2.8. Also removed some old versions and patches that
were no longer in use.

* A patch for compiling the ATerm library with GCC 4.3.  Without it,
  the code for resizing ATerm tables gets stuck in an infinite loop
  (http://bugzilla.sen.cwi.nl:8080/show_bug.cgi?id=841).  The problem
  is in this bit of code in hash.c, which tries to dynamically figure
  out the maximum signed integer:

    long try_long_max;
    long long_max;
    long delta;

    try_long_max = 1;
    do {
      long_max = try_long_max;
      try_long_max = long_max * 2;
    } while (try_long_max > 0);

  At -O2, GCC 4.3 determines that 1 * 2 * 2 * ... can never be <= 0,
  and so it optimises this into a 1-instruction infinite loop:

    0x0805a782 <keyPut+1282>: jmp  0x805a782 <keyPut+1282>

  Quite beautiful really. ;-)

  The fix is to use the LONG_MAX macro instead.

svn path=/nixpkgs/branches/stdenv-updates/; revision=13888
2009-01-27 17:46:07 +00:00
Eelco Dolstra
a0e87d6123 * Added ATerm 2.7. It doesn't work though (make check fails on x86_64).
svn path=/nixpkgs/trunk/; revision=12764
2008-08-29 11:48:44 +00:00
Sander van der Burg
87ff8a8869 Added aterm 2.5
svn path=/nixpkgs/trunk/; revision=10370
2008-01-29 09:32:56 +00:00