some hacprsim tests hang (x86_64-darwin10) in test suite

[WiseKensai]

Does not respond to ^C, must be manually killed.

Ran for 540+ minutes.

OS/Compiler: $uname -a Darwin 10.8.0 Darwin Kernel Version 10.8.0: Tue Jun 7 16:33:36 PDT 2011; root:xnu-1504.15.3~1/RELEASE_I386 i386 i386

$gcc --version i686-apple-darwin10-gcc-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5666) (dot 3)

$ ./src/haco -v Version: hackt 0.1.4-devel-20111123 CVS Tag: HACKT-00-01-04-main-00-86 Configured with: '--with-readline=/opt/local' '--disable-static' 'LDFLAGS=-Wl,-no_compact_linkedit' 'ACLOCAL_FLAGS=-I /opt/local/share/aclocal' 'CXXFLAGS=-g -O2 -Wno-error' --enable-ltdl-install --enable-ltdl-convenience build-triplet: x86_64-apple-darwin10.8.0 c++: i686-apple-darwin10-g++-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5666) (dot 3) AM_CPPFLAGS: -I../../hackt/src -I../../hackt/libltdl -I/opt/local/include
AM_CXXFLAGS: -pipe -ansi -pedantic-errors -Wold-style-cast -Woverloaded-virtual -W -Wextra -Wall -Wundef -Wshadow -Wno-unused-parameter -Wpointer-arith -Wcast-qual -Wcast-align -Wconversion -Werror AM_LDFLAGS: -L/opt/local/lib
config-CXXFLAGS: -g -O2 -Wno-error config-CPPFLAGS: config-LDFLAGS: -Wl,-no_compact_linkedit config-LIBS: -lreadline -lncurses lex: flex 2.5.36 yacc: bison (GNU Bison) 2.6.1 readline: GNU readline 6.2 guile: none build-date: Mon Aug 6 03:06:57 EDT 2012

Tests that had to be killed: loop-spec-05 wchb-00 wchb-06 fifo-02 top-level-05 flat-type-01 flat-type-02 flat-type-03 nand-08 nand-09 top-level-05 wchb-00 and -06 (again) spec_min_sep_proc-12 macro-pass-02

[fangism]

[from chat] example of running process: /Users/jtse/projects/tools/hackt-build/src/.libs/hacprsim -b -a loop-spec-05.prsimckpt -r loop-spec-05.prsimtrace -I../../../../hackt/test/parser/flow loop-spec-05.haco-c

[WiseKensai]

More hanging things:

Summarizing connect-038-a.chpsimtest ... ckpt: /bin/sh ../../../libtool --mode=execute -dlopen ../../../lib/stdchpfn.la ../../../src/hacchpsim -b -I../../../../hackt/test/parser/channel -a connect-038-b.chpsimckpt -r connect-038-b.chpsimtrace connect-038.haco-c < ../../../../hackt/test/parser/channel/connect-038-b.chpsimrc

comment-01 comment-02 comment-04 comment-08 precision-01

[fangism]

So some hacprsim AND hacchpsim tests are hanging!? We'll keep these under this ticket until I can prove that they are unrelated.

[fangism]

Jon notes that this problem also exists on 32b (i686-darwin10).

[fangism]

from IM log:

../../libtool --mode=execute gdb ../../src/hacprsim

(gdb) run
Starting program: /Users/jtse/projects/tools/hackt-build/src/.libs/hacprsim 
`/Users/jtse/projects/tools/hackt-build/src/.libs/hacprsim' has changed; re-reading symbols.
Reading symbols for shared libraries ..+..........+.............. done

Program received signal SIGTRAP, Trace/breakpoint trap.
0x00007fff5fc01028 in __dyld__dyld_start ()

(gdb) where
#0  0x00007fff5fc01028 in __dyld__dyld_start ()
#1  0x0000000100000000 in ?? ()

No specific messages about undefined lookup or anything?

[fangism]

A big red flag to me is that flex is version 2.5.36. Versions after 2.5.31 are known to have stability issues, because the HACKT build does things with flex internals to make it re-entrant. Did you ever go back and try LEX=flex-2.5.4?

[tadeoman]

Similar issues happen in Fedora 18 with Flex 2.5.36. Compiling with flex 2.5.4 fixed the issues.