Bug#749679: gmsh: Multiple and conflicting definitions of function CClinkern_flipper_flip

[Michael Tautschnig]

Package: gmsh
Version: 2.8.4+dfsg-1
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.

[...]
Linking CXX executable gmsh
/usr/bin/cmake -E cmake_link_script CMakeFiles/gmsh.dir/link.txt --verbose=1
/usr/bin/mpicxx   -DMPICH_SKIP_MPICXX -DOMPI_SKIP_MPICXX -lmpi -fPIC -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security   -Wl,-z,relro -Wl,--as-needed CMakeFiles/gmsh.dir/Fltk/Main.cpp.o CMakeFiles/gmsh.dir/Common/Gmsh.cpp.o ...

error: conflicting function declarations "CClinkern_flipper_flip"
old definition in module flip_ll8 file /srv/jenkins-slave/workspace/sid-goto-cc-gmsh/gmsh-2.8.4+dfsg/contrib/blossom/concorde97/LINKERN/flip_ll8.c line 331
void (signed int xprev, signed int x, signed int y, signed int ynext)
new definition in module linkern file /srv/jenkins-slave/workspace/sid-goto-cc-gmsh/gmsh-2.8.4+dfsg/contrib/blossom/concorde97/INCLUDE/linkern.h line 94
void (signed int, signed int)
CMakeFiles/gmsh.dir/build.make:19876: recipe for target 'gmsh' failed
make[4]: *** [gmsh] Error 1
make[4]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-gmsh/gmsh-2.8.4+dfsg/debian/build'
CMakeFiles/Makefile2:1055: recipe for target 'CMakeFiles/gmsh.dir/all' failed
make[3]: *** [CMakeFiles/gmsh.dir/all] Error 2

It seems several definitions of CClinkern_flipper_flip exist, and the linker is
going to pick one of them. If it happens to pick the variant taking four
arguments, the behaviour will be undefined for all call sites only passing two
arguments.

Best,
Michael

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 859 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20140529/ff88d697/attachment.sig>