[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#498345: marked as done (internal bug for splint +posixlib with #include<unistd.h>)

Your message dated Tue, 05 Sep 2017 15:26:52 +0000
with message-id <E1dpFka-0006yN-IJ@fasolo.debian.org>
and subject line Bug#473595: fixed in splint 1:3.1.2+dfsg-1
has caused the Debian Bug report #473595,
regarding internal bug for splint +posixlib with #include<unistd.h>
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 owner@bugs.debian.org
immediately.)


-- 
473595: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=473595
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: splint
Version: 3.1.2.dfsg1-1
Severity: important

$ cat test.c
#include <unistd.h>
$ splint +posixlib test.c 
Splint 3.1.2 --- 23 Aug 2008

/usr/include/bits/confname.h:31:27: *** Internal Bug at cscannerHelp.c:2428:
    Unexpanded macro not function or constant: int _PC_MAX_CANON [errno: 25]
     *** Please report bug to submit@bugs.debian.org (via reportbug) ***
       (attempting to continue, results may be incorrect)
/usr/include/bits/confname.h:32:1: Parse Error: Non-function declaration:
    _PC_MAX_CANON : int. (For help on parse errors, see splint -help
    parseerrors.)
*** Cannot continue.
$

The same happens for +posixstrictlib.

Helmut

 System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)

Versions of packages splint depends on:
ii  libc6                      2.7-13        GNU C Library: Shared libraries
ii  splint-data                3.1.2.dfsg1-1 tool for statically checking C pro

--- End Message ---
--- Begin Message --- 
Source: splint
Source-Version: 1:3.1.2+dfsg-1

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.

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 473595@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Carlos Maddela <e7appew@gmail.com> (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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 05 Sep 2017 16:29:16 +1000
Source: splint
Binary: splint splint-data splint-doc-html
Architecture: source
Version: 1:3.1.2+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian QA Group <packages@qa.debian.org>
Changed-By: Carlos Maddela <e7appew@gmail.com>
Description:
 splint     - tool for statically checking C programs for bugs
 splint-data - tool for statically checking C programs for bugs - data files
 splint-doc-html - tool for statically checking C programs for bugs - HTML documenta
Closes: 369264 462375 473595 476228 498345 510821 548122 548768 569928 601424 675025 680121 775917
Changes:
 splint (1:3.1.2+dfsg-1) unstable; urgency=medium
 .
   * QA upload.
   * Fix VCS URLs in debian/control file.
   * Increment Debhelper compatibility level to 10.
   * Suppress Lintian warning: debian-watch-may-check-gpg-signature.
   * Remove obsolete file: debian/README.source.
   * Build with all hardening flags set.
   * debian/control: Fix splint-data's relationship to previous versions.
   * Convert patch headers to DEP-3 format compatible with gbp.
   * Update autoconf patches to work only on files not automatically generated.
   * Do not automatically un-apply patches so that clean is done properly.
   * Fix clean up rule in test/db3/Makefile.
   * Perform wrap and sort on all Debian control files.
   * Fix spelling mistakes in source and documentation.
   * Fix possible privacy breach issues in documentation.
   * Fix autoconf and automake warnings.
   * Force non-parallel builds, since parallel builds don't complete
     reliably.
   * Do not capture build path, host name or user name to make
     builds fully reproducible.
   * Convert debian/copyright file to DEP-5 format and update.
   * Update rules for creating DFSG upstream tarballs.
     This is so that we can correct the package's versioning, by
     replacing the appended .dfsg* with +dfsg* instead. The image file,
     doc/html/glowingwall-narrows.jpg, has also been included for the
     documentation package, and XZ compression is now used.
   * Remove superfluous duplication of tests.
   * Try to separate arch-specific and -independent rules.
   * Add doc-base registration for HTML documentation.
     In addition, standardise file extensions of all HTML files, and
     provide convenience links to them from the main package. (Closes: #548122)
   * Fix segmentation fault. (Closes: #775917)
   * Cherry-pick unreleased fix for parsing unary plus. (Closes: #462375)
   * Cherry-pick unreleased fix for "hh" printf modifier support.
     (Closes: #510821)
   * Cherry-pick unreleased upstream fix in order to handle C99-style
     mixing of statements and declarations. (Closes: #369264)
   * Update 03_359894_VA_ARGS.patch to the one applied upstream.
     The patch applied upstream also adds a check for +gnuextensions.
   * Cherry-pick other relevant unreleased upstream changes,
     so that we're fully up-to-date with "CVS" upstream.
   * Backup and restore mutable files for idempotent builds.
   * Add multiarch include path to standard include search paths.
     (Closes: #675025)
   * Fix names of timespec members. (Closes: #680121)
   * Fix Internal Bug at cscannerHelp.c:2428.
     (Closes: #473595, #476228, #498345, #548768, #569928, #601424)
   * debian/control: Fix splint-doc-html's relationship to prior versions
     of splint.
   * For build reproducibility, move *.lcd files to the main package
     as they contain architecture-specific information.
   * Move man page to main package to avoid Lintian warnings when
     building architecture-specific package alone.
   * Add LFS support to 32-bit architectures.
   * Indicate compliance with Debian Policy 4.1.0.
Checksums-Sha1:
 5fdf51251c4e7242fb48de013c460c9ea11ccee1 1680 splint_3.1.2+dfsg-1.dsc
 6d3e74d82599f01f21a925860a74bee34bd0e5ce 1131660 splint_3.1.2+dfsg.orig.tar.xz
 96de117d33053632d88333cb736cd26ceeb77726 106932 splint_3.1.2+dfsg-1.debian.tar.xz
 94b7459446c343090e759ee75d298d9eeaf1de9d 5168 splint_3.1.2+dfsg-1_source.buildinfo
Checksums-Sha256:
 59a2023fca50cb93fd29c102979508bef5febd5f94a03096d2cde092192d1b9c 1680 splint_3.1.2+dfsg-1.dsc
 51cd7ba978a366ae1ededac2b927058fd5f45d5455e5a9d640b75ab4e45b748a 1131660 splint_3.1.2+dfsg.orig.tar.xz
 a4525f07c85a05840b72d3b521c0148d3d7f97d822b2957a28299d8a6e978b15 106932 splint_3.1.2+dfsg-1.debian.tar.xz
 53255cc3ea80ede1a219d0cb691e32818b38ecd36c691f2fc7e7a4058b3507de 5168 splint_3.1.2+dfsg-1_source.buildinfo
Files:
 cd6613240a8603c803a572f10048e154 1680 devel optional splint_3.1.2+dfsg-1.dsc
 b6dc24c1fdc03a07dbbdbcdfdb1fa5d0 1131660 devel optional splint_3.1.2+dfsg.orig.tar.xz
 9c4f665d02a07d81a64675cfe9fa267b 106932 devel optional splint_3.1.2+dfsg-1.debian.tar.xz
 ec404d4843ac79f4a5a48c1e454adea0 5168 devel optional splint_3.1.2+dfsg-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEE/Zzi2Nd1S3irJ5u9LDtDb+rGgQEFAlmus/MACgkQLDtDb+rG
gQHDnQf9Ge1cZ+WTL4v11b7T+LrauDu52SI5+hVOrIG836fLFTXYcpYZJYGYpmwX
AXOjj1GqxIAFDmO9Se4ZVnmpu4cz8hbuH++zZbyjTt5mSWRymPC7adbPFrDvXmsN
NfOYvjZ11/6GjVCe8m/PyMzC53dyOZVQ+r3BVCBtpMv5UKAubasnL5R9vuSzu5mP
WDab/MnWRyH7FPcqzCfIB/hUQxfD15S/5eWyYS6VCIUQC6/+bLAZb/eoooU62G+V
taEIctKxwFC9WkvC94uQTkQK1BvnSZvwWN2giAZwt/kvVtUoaORY3Op+8imPi5nF
PS5sj3vXui1l16iNQsyZwvuJF9apuw==
=/mEM
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: