Your message dated Wed, 27 May 2015 22:32:06 +0000 with message-id <[email protected]> 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 [email protected] immediately.) -- 786916: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=786916 Debian Bug Tracking System Contact [email protected] 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 [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ruben Undheim <[email protected]> (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 [email protected]) -----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 <[email protected]> Changed-By: Ruben Undheim <[email protected]> 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 [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
