Package: gtkterm Version: 0.99.7~rc1-0.2 Usertags: goto-cc 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 -pthread -I/usr/include/gtk-2.0 -I/usr/lib/x86_64-linux-gnu/gtk-2.0/include -I/usr/include/gio-unix-2.0/ -I/usr/include/cairo -I/usr/include/pango-1.0 -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/libdrm -I/usr/include/libpng12 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng12 -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/usr/include/freetype2 -pthread -I/usr/include/gtk-2.0 -I/usr/lib/x86_64-linux-gnu/gtk-2.0/include -I/usr/include/pango-1.0 -I/usr/include/atk-1.0 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng12 -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/pango-1.0 -I/usr/include/gio-unix-2.0/ -I/usr/include/cairo -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/usr/include/pixman-1 -I/usr/include/freetype2 -I/usr/include/libdrm -I/usr/include/libpng12 -I/usr/include/vte-0.0 -Wall -fno-omit-frame-pointer -fno-strict-aliasing -O2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -Wl,-z,relro -o gtkterm term_config.o fichier.o gtkterm.o serie.o widgets.o cmdline.o parsecfg.o buffer.o macros.o i18n.o logging.o -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lgobject-2.0 -lglib-2.0 -lfontconfig -lfreetype -lvte -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -latk-1.0 -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lpango-1.0 -lfontconfig -lfreetype -lgio-2.0 -lgobject-2.0 -lglib-2.0 -lcairo -lX11 -lXext error: conflicting function declarations "read_command_line" old definition in module gtkterm file cmdline.h line 18 signed int (signed int, char **) new definition in module cmdline file cmdline.c line 59 signed int (signed int argc, char **argv, char *configuration_to_read) Makefile:297: recipe for target 'gtkterm' failed make[3]: *** [gtkterm] Error 64 make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-gtkterm/gtkterm-0.99.7~rc1/src' Makefile:355: recipe for target 'all-recursive' failed The declaration here http://sources.debian.net/src/gtkterm/0.99.7~rc1-0.2/src/cmdline.h?hl=18#L18 shadows the fact that read_command_line requires 3 arguments: http://sources.debian.net/src/gtkterm/0.99.7~rc1-0.2/src/cmdline.c?hl=59#L59 It is only due to the third argument presently being unused that undefined behaviour is presently not expected. This third argument should be removed from the definition to ensure this does not happen. Best, Michael
pgpFRIXxW0T62.pgp
Description: PGP signature
