Bug#923527: bliss: example segfaults in gmp

[David Bremner]

Package: bliss
Version: 0.73-2
Severity: important

I have seen the same kind of gmp related segfault [3] running the included
example bliss.cc [2] and sympol [1].

I'm not sure if I'm just unlucky, or if the current build of libbliss
is really broken. I'll try to use it via polymake later.

[1] http://www.math.uni-rostock.de/~rehn/software/sympol.html

[2] Here is the input I used.


c FILE: myciel3.col
c SOURCE: Michael Trick (trick at cmu.edu)
c DESCRIPTION: Graph based on Mycielski transformation. 
c Triangle free (clique number 2) but increasing
c coloring number
p edge 11 20
e 1 2
e 1 4
e 1 7
e 1 9
e 2 3
e 2 6
e 2 8
e 3 5
e 3 7
e 3 10
e 4 5
e 4 6
e 4 10
e 5 8
e 5 9
e 6 11
e 7 11
e 8 11
e 9 11
e 10 11

[3] Here's the backtrace

#0  0x00007ffff7f290f9 in __gmpz_set_si () from /usr/lib/x86_64-linux-gnu/libgmp.so.10
#1  0x00007ffff7f97c10 in bliss::AbstractGraph::search(bool, bliss::Stats&) ()
   from /usr/lib/x86_64-linux-gnu/libbliss.so.2
#2  0x00007ffff7f9aa3c in bliss::AbstractGraph::find_automorphisms(bliss::Stats&, void (*)(void*, unsigned int, unsigned int const*), void*) () from /usr/lib/x86_64-linux-gnu/libbliss.so.2


-- System Information:
Debian Release: buster/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.19.0-2-amd64 (SMP w/8 CPU cores)
Kernel taint flags: TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8), LANGUAGE=en_CA:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages bliss depends on:
ii  libbliss2   0.73-2
ii  libc6       2.28-7
ii  libgcc1     1:8.2.0-21
ii  libgmp10    2:6.1.2+dfsg-4
ii  libstdc++6  8.2.0-21

bliss recommends no packages.

bliss suggests no packages.

-- no debconf information