Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 347928

Summary: sci-mathematics/nusmv-2.3.1 segfaults when loading a simple model
Product: Gentoo Linux Reporter: Panard <panard>
Component: Current packagesAssignee: Robin Johnson <robbat2>
Status: RESOLVED WONTFIX    
Severity: normal CC: sci-mathematics, treecleaner
Priority: High Keywords: PMASKED
Version: unspecifiedFlags: robbat2: Bugday+
Hardware: AMD64   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: crashing model

Description Panard 2010-12-06 18:01:55 UTC
NuSMV-2.3.1 segfaults when analysing the attached model.

Here is a backtrace:
#0  sexp_fsm_init (self=0x0, vars_list=0x7596e0, justice=0x0, compassion=0x0, 
booleanize=false) at sexp/SexpFsm.c:1150
#1  0x0000000000425003 in SexpFsm_create (vars_list=0x7596e0, justice=0x0, 
compassion=0x0, type=SEXP_FSM_TYPE_SCALAR) at sexp/SexpFsm.c:200
#2  0x0000000000413f9c in smBatchMain () at smMisc.c:209
#3  0x0000000000403547 in main (argc=<value optimized out>, argv=<value 
optimized out>) at src/sm/smMain.c:135

Reproducible: Always

Steps to Reproduce:
1. NuSMV small.smv

Actual Results:  
Segmentation fault.


Portage 2.1.9.25 (default/linux/amd64/10.0/desktop/kde, gcc-4.5.1, glibc-2.12.1-r3, 2.6.35-gentoo-r8 x86_64)
=================================================================
System uname: Linux-2.6.35-gentoo-r8-x86_64-Intel-R-_Core-TM-2_Duo_CPU_P8600_@_2.40GHz-with-gentoo-2.0.1
Timestamp of tree: Mon, 06 Dec 2010 17:30:01 +0000
app-shells/bash:     4.1_p9
dev-java/java-config: 2.1.11-r2
dev-lang/python:     2.6.6-r1, 2.7.1, 3.1.3
dev-util/cmake:      2.8.1-r2
sys-apps/baselayout: 2.0.1-r1
sys-apps/openrc:     0.6.6
sys-apps/sandbox:    2.4
sys-devel/autoconf:  2.13, 2.68
sys-devel/automake:  1.9.6-r3, 1.10.3, 1.11.1
sys-devel/binutils:  2.20.1-r1
sys-devel/gcc:       4.4.5, 4.5.1-r1
sys-devel/gcc-config: 1.4.1
sys-devel/libtool:   2.4-r1
sys-devel/make:      3.82
virtual/os-headers:  2.6.36.1 (sys-kernel/linux-headers)
ACCEPT_KEYWORDS="amd64 ~amd64"
ACCEPT_LICENSE="* -@EULA AdobeFlash-10.1 AdobeFlash-10 Broadcom skype-eula"
CBUILD="x86_64-pc-linux-gnu"
CFLAGS="-O2 -march=native -pipe"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /usr/share/config /usr/share/hibernate/scriptlets.d /var/lib/hsqldb"
CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/env.d/java/ /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/splash /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c"
CXXFLAGS="-O2 -march=native -pipe"
DISTDIR="/usr/portage/distfiles"
FEATURES="assume-digests binpkg-logs distlocks fixlafiles fixpackages news noinfo parallel-fetch protect-owned sandbox sfperms strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv"
GENTOO_MIRRORS="http://mirror.ovh.net/gentoo-distfiles"
LANG="fr_FR.UTF8"
LDFLAGS="-Wl,-O1 -Wl,--as-needed"
LINGUAS="fr en"
MAKEOPTS="-j3"
PKGDIR="/usr/portage/packages"
PORTAGE_CONFIGROOT="/"
PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --stats --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages"
PORTAGE_TMPDIR="/var/tmp"
PORTDIR="/usr/portage"
PORTDIR_OVERLAY="/var/lib/layman/retroshare-overlay /home/pauleve/src/portage"
SYNC="rsync://rsync.gentoo.org/gentoo-portage"
USE="X a52 aac acl acpi alsa amd64 berkdb bluetooth branding bzip2 cairo cdr cli consolekit cracklib crypt cups cxx dbus dri dts dvd dvdr emboss encode exif firefox flac fortran gdbm gif hal iconv ipv6 jpeg kde lcms libnotify mad mikmod mmx mng modules mp3 mp4 mpeg mudflap multilib ncurses nls nptl nptlonly nvidia ogg opengl openmp pam pango pch pcre pdf png ppds pppd python qt3support qt4 readline sdl session spell sse sse2 ssl startup-notification svg sysfs tcpd tiff truetype unicode usb v4l2 vim-syntax vorbis x264 xcb xml xorg xulrunner xv xvid zlib" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" ALSA_PCM_PLUGINS="adpcm alaw asym copy dmix dshare dsnoop empty extplug file hooks iec958 ioplug ladspa lfloat linear meter mmap_emul mulaw multi null plug rate route share shm softvol" APACHE2_MODULES="actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ubx" INPUT_DEVICES="evdev synaptics" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LINGUAS="fr en" PHP_TARGETS="php5-2" RUBY_TARGETS="ruby18" USERLAND="GNU" VIDEO_CARDS="nvidia nv fbdev nouveau" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account" 
Unset:  CPPFLAGS, CTARGET, EMERGE_DEFAULT_OPTS, FFLAGS, INSTALL_MASK, LC_ALL, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS
Comment 1 Panard 2010-12-06 18:02:43 UTC
Created attachment 256512 [details]
crashing model
Comment 2 Jeroen Roovers (RETIRED) gentoo-dev 2010-12-09 20:44:45 UTC
How about 2.5.0?
Comment 3 Panard 2010-12-09 20:59:40 UTC
Works great with 2.5.0 !
Comment 4 Larry the Git Cow gentoo-dev 2019-12-07 23:50:30 UTC
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=22666562349d00d8680b3bce5334ec3ac1032f83

commit 22666562349d00d8680b3bce5334ec3ac1032f83
Author:     David Seifert <soap@gentoo.org>
AuthorDate: 2019-12-07 23:49:14 +0000
Commit:     David Seifert <soap@gentoo.org>
CommitDate: 2019-12-07 23:49:14 +0000

    profiles: Mask sci-mathematics/nusmv for removal
    
    Bug: https://bugs.gentoo.org/343743
    Bug: https://bugs.gentoo.org/347928
    Bug: https://bugs.gentoo.org/451394
    Bug: https://bugs.gentoo.org/547714
    Bug: https://bugs.gentoo.org/623756
    Bug: https://bugs.gentoo.org/697562
    Signed-off-by: David Seifert <soap@gentoo.org>

 profiles/package.mask | 6 ++++++
 1 file changed, 6 insertions(+)