Your message dated Wed, 27 May 2015 22:32:06 +0000
with message-id <e1yxjrq-00005n...@franck.debian.org>
and subject line Bug#786916: fixed in berkeley-abc
1.01+20140822hg4d547a5+dfsg-1+deb8u1
has caused the Debian Bug report #786916,
regarding berkeley-abc: Crashes on some architectures because of memory
alignment problems
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
786916: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=786916
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: berkeley-abc
Version: 1.01+20140822hg4d547a5+dfsg
Severity: important
Tags: jessie, patch
Dear Maintainer,
This patch fixes the issue (already fixed in unstable):
Index: berkeley-abc/Makefile
===================================================================
--- berkeley-abc.orig/Makefile
+++ berkeley-abc/Makefile
@@ -45,6 +45,9 @@ ARCHFLAGS ?= $(shell $(CC) arch_flags.c
OPTFLAGS ?= -g -O #-DABC_NAMESPACE=xxx
CFLAGS += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare
$(OPTFLAGS) $(ARCHFLAGS) -Isrc
+ifneq ($(findstring arm,$(shell uname -m)),)
+ CFLAGS += -DABC_MEMALIGN=4
+endif
# Set -Wno-unused-bug-set-variable for GCC 4.6.0 and greater only
ifneq ($(or $(findstring gcc,$(CC)),$(findstring g++,$(CC))),)
Index: berkeley-abc/src/aig/aig/aigMem.c
===================================================================
--- berkeley-abc.orig/src/aig/aig/aigMem.c
+++ berkeley-abc/src/aig/aig/aigMem.c
@@ -366,6 +366,10 @@ void Aig_MmFlexStop( Aig_MmFlex_t * p, i
char * Aig_MmFlexEntryFetch( Aig_MmFlex_t * p, int nBytes )
{
char * pTemp;
+#ifdef ABC_MEMALIGN
+ // extend size to max alignment
+ nBytes += (ABC_MEMALIGN - nBytes % ABC_MEMALIGN) % ABC_MEMALIGN;
+#endif
// check if there are still free entries
if ( p->pCurrent == NULL || p->pCurrent + nBytes > p->pEnd )
{ // need to allocate more entries
@@ -535,6 +539,10 @@ char * Aig_MmStepEntryFetch( Aig_MmStep_
{
if ( nBytes == 0 )
return NULL;
+#ifdef ABC_MEMALIGN
+ // extend size to max alignment
+ nBytes += (ABC_MEMALIGN - nBytes % ABC_MEMALIGN) % ABC_MEMALIGN;
+#endif
if ( nBytes > p->nMapSize )
{
if ( p->nChunks == p->nChunksAlloc )
@@ -564,6 +572,10 @@ void Aig_MmStepEntryRecycle( Aig_MmStep_
{
if ( nBytes == 0 )
return;
+#ifdef ABC_MEMALIGN
+ // extend size to max alignment
+ nBytes += (ABC_MEMALIGN - nBytes % ABC_MEMALIGN) % ABC_MEMALIGN;
+#endif
if ( nBytes > p->nMapSize )
{
// ABC_FREE( pEntry );
Ruben
--- End Message ---
--- Begin Message ---
Source: berkeley-abc
Source-Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1
We believe that the bug you reported is fixed in the latest version of
berkeley-abc, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 786...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ruben Undheim <ruben.undh...@gmail.com> (supplier of updated berkeley-abc
package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 26 May 2015 20:42:16 +0200
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1
Distribution: stable-proposed-updates
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ruben Undheim <ruben.undh...@gmail.com>
Description:
berkeley-abc - ABC - A System for Sequential Synthesis and Verification
Closes: 780449 782027 786916
Changes:
berkeley-abc (1.01+20140822hg4d547a5+dfsg-1+deb8u1) stable-proposed-updates;
urgency=medium
.
* Fixed "Broken on big-endian architectures" (Closes: #782027)
- (debian/patches/abc-bugfix-20150403.diff)
* Fixed memory alignment problem (Closes: #786916)
- (debian/patches/04_memory_alignment_fix.patch)
* Fixed FTBFS during reproducibility tests (Closes: 780449)
- (debian/patches/reproducibility.patch)
Checksums-Sha1:
b5d4490ac7f9745711800951d344df34a3c5ad19 2230
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
a55e55bb5b2d792a97b86c4621ccfb48fa52c0ba 7424
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
29508f55e1fa7c5c141da4e87ca41a9d949da1d8 2944694
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
Checksums-Sha256:
4f728fefcec1e14dae5fd117b1787967ad2d34bd3e32518b8ad515d5686b9a42 2230
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
e24670372ed6c068c4f33990c80e0ceba43c0c6b71868e4a93153c154e4a4824 7424
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
2866b1173fc19a7c0aeea85967d683af7f3c22f95af0329852970fd421c5ef28 2944694
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
Files:
c11349e9bfbb6a76df484dd69c055d33 2230 electronics optional
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc
7ee4c12454ced9834d25b03f18e72dbe 7424 electronics optional
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz
956f8820b91361653000f3fb44cbce42 2944694 electronics optional
berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJVZfa2AAoJEOaYIsfgKVjN8jQP/0wDpO+iWMtPzpVaivBvURWp
m9XthXdtnIlVVdrUvi32VJ0f53brd3t8d/j24iIAaF2Goxw3dxb6TAuY6jJOCD88
Ep5eoPUQ76zg8o3qtU+Uf9seC2/tL0oxg5VFA95s8GQCagtHAERzkkY1m0giHtf/
ubJ4duHqdlSXD6NT2/kHiqu1hbKmp6Wew4u9DwAG2SdOoe4K0VzZHnqZ/F/uJGvf
zAa2W7UsAcH7JDMLY+x5l2bGeZGdyVwAYYQj7gAoDaw6cb7HllQmSdf9FdXGTP0T
LzsuB440IF8Iqe8sC8t0UiDaoNSposisUOL8C6cRVg/rpfftph72d01xTAF3xA1k
XESUJM2hLvBkjPX2hINqcNDQk252nuIeXFQgK6lbEv6ZDhboBf6EMvDhwTvZva6M
pRxmvuO+xpOaNFVqzjbdcpCqgsj6sc7spEtZX/Yru39Y/6kbIHuzgYF5pVj2usEM
+nnQctMwUezKlILCTsh+SIt/iU4yjLenFLkWMMhX9ibIs9/gvABdvh2N+trOfVhx
yeWL7P5XGvOiKUGlb+pO0moEcRSS4qHf/OISmRq7I73QbsafBGbRRi7RYLiCsDIT
x1I1oNbq1lw59/nFTdxNm494vUC8HMitgenEvgYy8C4jkrlFyyDf4mHs8njfJNC9
7ZFnuLIcwJgLZvwb7Kah
=DS1y
-----END PGP SIGNATURE-----
--- End Message ---
--
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
