Thank you for the report.

On Mon, May 26, 2014 at 4:18 PM, Michael Tautschnig <[email protected]> wrote:
> 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
>


--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to