Package: gplcver Version: 2.12a-1.1 Severity: normal Tags: patch upstream Hi.
This bug is also reported in: https://bugs.launchpad.net/ubuntu/+source/gplcver/+bug/243980 For instance, using: $dumpfile("teste-disco.vcd"); // it creates isco.vcd $dumpfile("disco.vcd"); // it creates isco.vcd $dumpfile("isco.vcd"); // it creates nothing $dumpfile("o.vcd"); // it creates nothing This patch fixes the issue. -- System Information: Debian Release: squeeze/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 2.6.32-3-amd64 (SMP w/2 CPU cores) Locale: LANG=pt_BR.UTF-8, LC_CTYPE=pt_BR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages gplcver depends on: ii libc6 2.10.2-6 Embedded GNU C Library: Shared lib gplcver recommends no packages. gplcver suggests no packages. -- no debconf information
diff -Nudar gplcver-2.12a.orig//src/v.h gplcver-2.12a/src/v.h --- gplcver-2.12a.orig//src/v.h 2010-04-14 19:35:15.000000000 -0300 +++ gplcver-2.12a/src/v.h 2010-04-14 19:44:53.000000000 -0300 @@ -140,7 +140,7 @@ #define FALSE 0 #define WBITS 32 #define LWBITS 64 -#define WRDBYTES 4 +#define WRDBYTES sizeof(void*) #define MAXWSWRDS ((MAXEMSGNUM + WBITS)/WBITS) #define TIMEBITS 64 #define WORDMASK_ULL 0xffffffffULL
