Your message dated Sat, 02 Feb 2019 11:19:03 +0000
with message-id <[email protected]>
and subject line Bug#748739: fixed in extsmail 2.2-1
has caused the Debian Bug report #748739,
regarding Inconsistent types caused by _GNU_SOURCE
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.)


-- 
748739: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748739
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: extsmail
Version: 1.4-1
Severity: wishlist
Usertags: goto-cc
Tags: patch

During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder
and pbuilder) the build failed with the following error. Please note that we
use our research compiler tool-chain (using tools from the cbmc package), which
permits extended reporting on type inconsistencies at link time.

gcc -o extsmaild conf_parser.tab.o conf_tokenizer.o externals_parser.tab.o 
externals_tokenizer.o extsmaild.o common.o

error: conflicting types for variable "yyelval"
old definition in module externals_parser.tab file externals_parser.tab.c line 
1052
union YYSTYPE {
  const char * str;
  signed long int time;
  struct _mat * match;
  struct _ext * external;
  struct _grp * group;
}
new definition in module externals_tokenizer file externals_parser.tab.h line 94
union YYSTYPE {
  const char * str;
  signed long int time;
  struct _mat * match;
  struct _ext * external;
  struct _grp * group;
}

reason for conflict at nil.match.preg.buffer in types listed below 
(struct/struct):
names of component 0 differ (buffer/__buffer)
struct re_pattern_buffer {
  unsigned char * buffer;
  unsigned long int allocated;
  unsigned long int used;
  unsigned long int syntax;
  char * fastmap;
  unsigned char * translate;
  unsigned long int re_nsub;
  unsigned int can_be_null;
  unsigned int regs_allocated;
  unsigned int fastmap_accurate;
  unsigned int no_sub;
  unsigned int not_bol;
  unsigned int not_eol;
  unsigned int newline_anchor;
  unsigned __CPROVER_bitvector[56] $pad0;
}
struct re_pattern_buffer {
  unsigned char * __buffer;
  unsigned long int __allocated;
  unsigned long int __used;
  unsigned long int __syntax;
  char * __fastmap;
  unsigned char * __translate;
  unsigned long int re_nsub;
  unsigned int __can_be_null;
  unsigned int __regs_allocated;
  unsigned int __fastmap_accurate;
  unsigned int __no_sub;
  unsigned int __not_bol;
  unsigned int __not_eol;
  unsigned int __newline_anchor;
  unsigned __CPROVER_bitvector[56] $pad0;
}
Makefile:23: recipe for target 'extsmaild' failed
make[1]: *** [extsmaild] Error 64
make[1]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-extsmail/extsmail-1.4'
dh_auto_build: make -j1 returned exit code 2
debian/rules:6: recipe for target 'build' failed

As the C standard mandates that type compatibility requires equal field names in
compound types, the above does violate the requirement despite the bit-level
equality of types. The problem here is really caused by flex, which #include's
several standard header files before getting to "Config.h". A workaround, which
may actually speed up compilation as a positive side effect, is implemented in
the attached patch.

Best,
Michael

--- extsmail-1.4.orig/externals_parser.y
+++ extsmail-1.4/externals_parser.y
@@ -50,9 +50,9 @@ Match *add_match(Match_Type, const char
 %union {
     const char *str;
     time_t time;
-    Match *match;
-    External *external;
-    Group *group;
+    struct _mat *match;
+    struct _ext *external;
+    struct _grp *group;
 }

 %token TGROUP
--- extsmail-1.4.orig/externals_tokenizer.l
+++ extsmail-1.4/externals_tokenizer.l
@@ -24,14 +24,12 @@

 #include <err.h>
 #include <errno.h>
-#include <regex.h>
 #include <stdbool.h>
 #include <string.h>
 #include <time.h>

 #include "conf.h"
 #include "common.h"
-#include "externals.h"
 #include "externals_parser.tab.h"

 char *mk_str(char *);

Attachment: pgpoZmqauL5Ac.pgp
Description: PGP signature


--- End Message ---
--- Begin Message ---
Source: extsmail
Source-Version: 2.2-1

We believe that the bug you reported is fixed in the latest version of
extsmail, 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.
Olivier Girondel <[email protected]> (supplier of updated extsmail 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, 13 Nov 2018 16:12:07 +0100
Source: extsmail
Binary: extsmail
Architecture: source
Version: 2.2-1
Distribution: unstable
Urgency: low
Maintainer: Olivier Girondel <[email protected]>
Changed-By: Olivier Girondel <[email protected]>
Description:
 extsmail   - enables the robust sending of e-mail to external commands
Closes: 748739
Changes:
 extsmail (2.2-1) unstable; urgency=low
 .
   * New upstream release 2.2. (Closes: #748739)
   * debian/compat: Upgrade to 11.
   * debian/control: Priority: optional.
   * debian/control: Vcs-Browser: https://github.com/ltratt/extsmail.
   * debian/control: Vcs-Git: https://github.com/oliv3/extsmail-debian.
   * debian/control: Build-Depends: Remove dh-autoreconf.
   * debian/control: Build-Depends: Update debhelper (>= 11).
   * debian/control: Update Homepage.
   * debian/control: Standards-Version: 4.2.1.
   * debian/copyright: Update copyright years.
   * debian/copyright: Update Source URL.
   * debian/copyright: Use secure copyright format URI.
   * debian/rules: Remove --with autoreconf.
   * debian/rules: Add --no-parallel.
   * debian/tests/control: Added.
   * debian/watch: version=4.
   * debian/watch: Use secure URI.
Checksums-Sha1:
 63a1444d89d0b56ab358c23b48450d9a2dd0c18c 1862 extsmail_2.2-1.dsc
 aa359f43cd471e62bc328a7e9a7565ea708eebc6 66924 extsmail_2.2.orig.tar.gz
 29df58832490e17557c9f14b92891d689db5b26d 2192 extsmail_2.2-1.debian.tar.xz
 cef625094c7ae9c5c6a7c4a7ef17cdcfbea73850 5467 extsmail_2.2-1_source.buildinfo
Checksums-Sha256:
 62ae7ca187037848b931e8f5309d6a16fcf06d06414180154ae192fe92535b3b 1862 
extsmail_2.2-1.dsc
 a659b36cc7252f1a47d2902d98ab6b740d4b4acb754ca2c3d5835237fa13da42 66924 
extsmail_2.2.orig.tar.gz
 cb66204a3cc110bb2c133471887cf481840d329e48af935810a4b664448cd5c9 2192 
extsmail_2.2-1.debian.tar.xz
 24cf057d929bdb2567fcbe0ae8f268a46c937e30853368716529c4c26b87bf90 5467 
extsmail_2.2-1_source.buildinfo
Files:
 d5a7c34ac611706bd4d248a209777cd0 1862 mail optional extsmail_2.2-1.dsc
 d5be202c628f20ec5b34fdff96b21aba 66924 mail optional extsmail_2.2.orig.tar.gz
 9a68cc2d6fdacf9d6551c78836ca7e53 2192 mail optional 
extsmail_2.2-1.debian.tar.xz
 57179378fe9be8601a91ec730e86f6dc 5467 mail optional 
extsmail_2.2-1_source.buildinfo

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

iQJHBAEBCgAxFiEEhnHVzDbtdH7ktKj4SBLY3qgmEeYFAlxVeQ8THGthY3Rpb25A
ZGViaWFuLm9yZwAKCRBIEtjeqCYR5me3D/9CdKN9OZcMXdTF9pYNUkSJs/OiZZYy
qzYHdIchZPnX4sg4Qz6237Ore4RdEmjDCv9Ft7TAcc6NeY7QbIrtjvEDg3a25dPs
WrUi+JNeXh5dDD+zBEK7GOTBWMAkOyLeicPCVYMatfgdzrUOG6u5GAA+tVj9AJrk
LybI2Aypdo6JxBfIbhh5u1NHuDwosSzQnxq1s507ZROflQJYeQCIyxRu1tZDGciq
5XWML2Sv8BSeHjylF72/nlub5EdmXQ3eKZVkIsYuZ/V4t9MWlYtYmJcUoAtLelOv
Vp9FkR4VukMf32qBTJKqhB36heXH38oHx/4MZPDPy0pnwGmgb68+wWLOnyThwv56
fL7UenHMKJSupJuNP++kglomW3SIMa2oImzBHP6riWdRYFwnDPwg8BCWkq3tw6yX
ajxi5XhqAQRZz6F+tG2YQmMAajZ7D+ICz3059TSWT90N0I6ntdf2o66PI+Y8r+ud
rx5EZdFBl3HRTXjk6zqUZ5stuwOneTcVP67CSzYnyBLWQNFX4mqT5I0EvauQguoY
ppjWGEN2IHkKO0Ny/RJMDYtHr7AOqN4SSz57ezZks4L2mNUpDuhccWVMxE/CIw6h
BhocNAxGP+0sx7TPxtHux4/AAJI1wEbT2mCSkQ28AQKHrZO1BPxNL999tKuvtgKS
myeapoDpO4KDdg==
=+Gfa
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to