Package: berkeley-abc Version: 1.01+20141105hg5b5af75+dfsg-1 Severity: normal Tags: upstream
A bug has been found and fixed by Clifford Wolf. It makes some operations in berkeley-abc broken for big-endian architectures, and may cause unstability also for other architectures. The following patch fixes it: Index: berkeley-abc/src/opt/ret/retIncrem.c =================================================================== --- berkeley-abc.orig/src/opt/ret/retIncrem.c 2015-04-03 18:36:00.361381237 +0200 +++ berkeley-abc/src/opt/ret/retIncrem.c 2015-04-03 18:36:00.357383236 +0200 @@ -176,7 +176,7 @@ { // this is an old latch // get its number in the original order - if ( ! st__lookup( tLatches, (char *)pLatch, (char **)&Index ) ) + if ( ! st__lookup_int( tLatches, (char *)pLatch, &Index ) ) { printf( "Abc_NtkRetimeFinalizeLatches(): Internal error.\n" ); return 0; Ruben -- System Information: Debian Release: 8.0 APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.16.0-4-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages berkeley-abc depends on: ii libbz2-1.0 1.0.6-7+b3 ii libc6 2.19-17 ii libreadline6 6.3-8+b3 ii zlib1g 1:1.2.8.dfsg-2+b1 berkeley-abc recommends no packages. berkeley-abc suggests no packages. -- no debconf information -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers