Bug#636772: Segfaults with --pre argument upon certain input

[Joachim Breitner]

Package: clasp
Version: 2.0.2-1
Severity: normal

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

I don’t know if this particular use of clasp is actually a sensible
invocation, but given the attached file, it crashes with a SEGFAULT if
called as
$ clasp --pre relaxation-2011-08-04.wcnf

If something is unsuitable with the input for this mode of operation, a
warning should be emitted.

Greetings,
Joachim

- -- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (101, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.39-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages clasp depends on:
ii  libc6                         2.13-10    Embedded GNU C Library: Shared lib
ii  libgcc1                       1:4.6.1-4  GCC support library
ii  libstdc++6                    4.6.1-4    GNU Standard C++ Library v3
ii  libtbb2                       3.0+r147-1 parallelism library for C++ - runt

Versions of packages clasp recommends:
ii  gringo                        3.0.3-4    grounding tools for (disjunctive) 

Versions of packages clasp suggests:
pn  potassco-guide                <none>     (no description available)

- -- no debconf information

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk48SB0ACgkQ9ijrk0dDIGzxKQCeIE20gRjQlhiF0vv2rtMGs3TI
NgEAoMNT/Hybhqb6uldCoBQ4uUokkrL4
=9kC2
-----END PGP SIGNATURE-----
-------------- next part --------------
A non-text attachment was scrubbed...
Name: relaxation-2011-08-04.wcnf
Type: text/x-fortran
Size: 1006399 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20110805/24d762f0/attachment-0001.bin>