Your message dated Wed, 01 Jul 2020 19:19:46 +0000 with message-id <e1jqigo-0001it...@fasolo.debian.org> and subject line Bug#749005: fixed in wav2cdr 2.3.4-4 has caused the Debian Bug report #749005, regarding Type conflict (const-ness) of bytes_out, bytes_in, outname 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.) -- 749005: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749005 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: wav2cdr Version: 2.3.4-1 Usertags: goto-cc During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found: The global variables bytes_in, bytes_out, outname declare here: http://sources.debian.net/src/wav2cdr/2.3.4-1/fileio.c?hl=49,50,51#L49 are marked const in data.c: http://sources.debian.net/src/wav2cdr/2.3.4-1/data.c?hl=70,71,72#L70 This may give rise to misoptimisation by the compiler, which may assume compile-time constants. Best, Michael
pgp35QE80XrX2.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---Source: wav2cdr Source-Version: 2.3.4-4 Done: Adrian Bunk <b...@debian.org> We believe that the bug you reported is fixed in the latest version of wav2cdr, 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 749...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Adrian Bunk <b...@debian.org> (supplier of updated wav2cdr 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: Wed, 01 Jul 2020 21:44:51 +0300 Source: wav2cdr Architecture: source Version: 2.3.4-4 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Adrian Bunk <b...@debian.org> Closes: 749005 956927 Changes: wav2cdr (2.3.4-4) unstable; urgency=medium . * QA upload. * Use C99 fixed-size integer types to fix runtime assertion on 64bit architectures other than amd64 and alpha. (Closes: #956927) * data.c: Remove incorrect const. (Closes: #749005) * Stop linking to the dead Homepage. Checksums-Sha1: d76120429ed236d4f1c9b34c8e453dccfbbc0736 1819 wav2cdr_2.3.4-4.dsc 038c4c842874f47077ff4f169978c5489224c2d9 35700 wav2cdr_2.3.4-4.debian.tar.xz Checksums-Sha256: 1e953b0439f3e831a456ccaf37378d00457e70bc3be32ed8a1268f26351105d4 1819 wav2cdr_2.3.4-4.dsc b74cc7703d4823ed70ab511ce187973c43ec864e94a7e6e1afdda4b26087dbd8 35700 wav2cdr_2.3.4-4.debian.tar.xz Files: 0604143655196c17b9d9fb60bbcb35f4 1819 sound optional wav2cdr_2.3.4-4.dsc a33db8bc47a2b71611000c5ece51cd66 35700 sound optional wav2cdr_2.3.4-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAl783Y0ACgkQiNJCh6LY mLFiRRAAmQgW8EVscQ5drKIIzRmtjzVo0R4BFdE6asrvtuWDRQEjUjN55JkxjR6X /IHtgATFkyISmhhrUTRunHrWXcG40UH+D4r4cXzakW5JAn5+t3+Krkuw5WvmK3SI u8cU3scNvB2Rem2GhbyRP+3KvCgb3PwgVrqFti7GZTWKnTcAQhLhms7zrWVjryZ4 Ipillz1HZTLfDPk8Nv+BPH0S2g/oN9F5aZe5R21Rd+X04QG10dX5PQcTTh1/kyM+ 5tD3Gk76mxOK/bcW7owhMka/NuYsi5tAZMj5hf1PgPeVcLC/Pk1tOgz6M6JYRDPu nxm+dCTvD56c2tCidnHBU7pAA8YLCM5PzciLmvyKQMKdJwjAwC/geWXyj3gtUdNs EfWGQ9DaMhbg5UoMeyp2GefJlrcY3zSwxuhmuOD0KEkCsZxj/0Z8c/4LHScT8z2F xvJbRCR8sVUmlO/pAvzzKhNCpHllXm6ByYCqhV5wlwsdoFXjR5Lq4/z4uEroEIil kmcN4I19H5FcJ+gytYcHH1wudu3XNMCDkXQOit2fBxrCksucU9pKgfI9T4s+78tL +4Vbt4q0ZEnOZ+bInXgjxkKW8i3EcvcSgcxwtvrL8FykJZiMuAr6OroZs3Id4e9Z aTUoCj9QN7wklPzpvBRAlFdA/V3/8HD6jKov6InTgrtKKVUXXd4= =PV/O -----END PGP SIGNATURE-----
--- End Message ---
