Your message dated Thu, 20 Dec 2007 12:26:54 +0000 with message-id <[EMAIL PROTECTED]> and subject line Bug#171437: fixed in splint 3.1.2.dfsg-3 has caused the attached Bug report 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 I am talking about this indicates a serious mail system misconfiguration somewhere. Please contact me immediately.) Debian bug tracking system administrator (administrator, Debian Bugs database)
--- Begin Message ---Package: splint Version: 3.0.1.6-3 Severity: normal Does splint expect traditional K&R C or standard (ISO) C code? It should define __STDC__ or not in consequence. In either case, it should be able to accept the following code (mainly from gmp.h -- the header for the GMP library): ------------------------------------------------------------ #if defined (__STDC__) \ || defined (__cplusplus) \ || defined (_AIX) \ || defined (__DECC) \ || (defined (__mips) && defined (_SYSTYPE_SVR4)) \ || defined (_MSC_VER) \ || defined (_WIN32) #define __GMP_HAVE_CONST 1 #define __GMP_HAVE_PROTOTYPES 1 #define __GMP_HAVE_TOKEN_PASTE 1 #else #define __GMP_HAVE_CONST 0 #define __GMP_HAVE_PROTOTYPES 0 #define __GMP_HAVE_TOKEN_PASTE 0 #endif #if __GMP_HAVE_PROTOTYPES #define __GMP_PROTO(x) x #else #define __GMP_PROTO(x) () #endif #ifndef __MPN #if __GMP_HAVE_TOKEN_PASTE #define __MPN(x) __gmpn_##x #else #define __MPN(x) __gmpn_/**/x #endif #endif #define mpn_add __MPN(add) int mpn_add __GMP_PROTO ((int)); ------------------------------------------------------------ I get the following parse error: $ splint pptest.c Splint 3.0.1.6 --- 11 Jun 2002 pptest.c:32:19: Parse Error: Inconsistent function declaration: __gmpn_ : int. (For help on parse errors, see splint -help parseerrors.) *** Cannot continue. -- System Information Debian Release: testing/unstable Kernel Version: Linux ay 2.4.18-newpmac #1 Thu Mar 14 22:44:49 EST 2002 ppc 7410, altivec supported GNU/Linux Versions of the packages splint depends on: ii libc6 2.2.5-14.3 GNU C Library: Shared libraries and Timezone
--- End Message ---
--- Begin Message ---Source: splint Source-Version: 3.1.2.dfsg-3 We believe that the bug you reported is fixed in the latest version of splint, which is due to be installed in the Debian FTP archive: splint-data_3.1.2.dfsg-3_all.deb to pool/main/s/splint/splint-data_3.1.2.dfsg-3_all.deb splint-doc-html_3.1.2.dfsg-3_all.deb to pool/main/s/splint/splint-doc-html_3.1.2.dfsg-3_all.deb splint_3.1.2.dfsg-3.diff.gz to pool/main/s/splint/splint_3.1.2.dfsg-3.diff.gz splint_3.1.2.dfsg-3.dsc to pool/main/s/splint/splint_3.1.2.dfsg-3.dsc splint_3.1.2.dfsg-3_i386.deb to pool/main/s/splint/splint_3.1.2.dfsg-3_i386.deb splint_3.1.2.dfsg.orig.tar.gz to pool/main/s/splint/splint_3.1.2.dfsg.orig.tar.gz 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. Y Giridhar Appaji Nag <[EMAIL PROTECTED]> (supplier of updated splint 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: SHA1 Format: 1.7 Date: Mon, 17 Dec 2007 14:38:24 +0530 Source: splint Binary: splint-doc-html splint-data splint Architecture: source all i386 Version: 3.1.2.dfsg-3 Distribution: unstable Urgency: low Maintainer: Y Giridhar Appaji Nag <[EMAIL PROTECTED]> Changed-By: Y Giridhar Appaji Nag <[EMAIL PROTECTED]> Description: splint - A tool for statically checking C programs for bugs splint-data - Data files for splint - A static checker for C programs splint-doc-html - Documentation for splint - A static checker for C programs Closes: 171437 298261 343564 352298 424719 430328 436744 Changes: splint (3.1.2.dfsg-3) unstable; urgency=low . * Update patch 02_manpage to fix lintian I: hyphen-used-as-minus-sign . splint (3.1.2.dfsg-2) unstable; urgency=low . * Remove useless debian/*.dirs files * Correct versionsed dependencies, use '= ${source:Version}' * splint-doc-html suggests as opposed to recommending splint * DFSG source directory in tar file is now .dfsg and not .orig . splint (3.1.2.dfsg-1) unstable; urgency=low . * Adopted by Y Giridhar Appaji Nag <[EMAIL PROTECTED]> (Closes: #424719) * New upstream release (Closes: #298261) + Fixes K&R / standard C mismatch (Closes: #171437) * debian/: + Switch from DH_COMPAT=3 to debian/compat (5) + Add a debian/watch file + Add lintian/linda overrides for manpage splint(1) * debian/control + Split into splint-data (large arch indep size), splint-doc-html and splint binary packages + Add Homepage: and Vcs-*: fields + Bump up Standards-Version to 3.7.3, updated debian/copyright * debian/copyright + Includes all the correct copyright holders (Closes: #436744) * Use dpatch. + Patch 01_build: 'make clean' fixes to remove the generated bin/* and *.lcs files + Patch 02_manpage: Remove references to lint, invalid header/footer. Correct typos. Thanks Reynaldo H. Verdejo Pinochet and Justin Pryzby (Closes: #352298, #343564) * Rebuild for ldbl128 transition (Closes: #430328) * Add .dfsg to version (Removed manual.pdf that has MS word sources). Add {faq,bugs,changes}.html via get-orig-source Files: 1fce703291210f355c33d98ec9e89023 831 devel optional splint_3.1.2.dfsg-3.dsc 2a174bccbf10d0457811d2cd5c094bc7 1800342 devel optional splint_3.1.2.dfsg.orig.tar.gz 5813fc3582a0aa505ef94fae992394db 7863 devel optional splint_3.1.2.dfsg-3.diff.gz 68f079bbdbc489ea7512733ae3772c08 173014 devel optional splint-data_3.1.2.dfsg-3_all.deb ec6132034a899d11d8fd7e83f741bc28 135074 doc optional splint-doc-html_3.1.2.dfsg-3_all.deb ade530f64e9d2b51dac95128adee0c27 641610 devel optional splint_3.1.2.dfsg-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHZ2eX3DVS6DbnVgQRAoytAKCBSuyY/1VSdLde8V4t+rgTQ+UHXgCg9R10 78AHg7j+IpkGIRv3tTFTgdQ= =eELI -----END PGP SIGNATURE-----
--- End Message ---
