crap, rebuilding using this patch, which is PR6038 with 2 rejected hunks applied by hands on a total of 3 rejects. native compiler works, but with the same segfault. gcc on osx 10.8 is now clang : philou@air:~/src/ML$ gcc -v Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr --with-gxx-include-dir=/usr/include/c++/4.2.1 Apple LLVM version 5.0 (clang-500.2.79) (based on LLVM 3.3svn) Target: x86_64-apple-darwin12.5.0 Thread model: posix I use gnu gcc-4.8.2 of macports for building some other and custom bindings, could it be the culprit, mixing both? still the same stack trace ending on caml_alloc_shr : Code Type: X86-64 (Native) Parent Process: sh [83369] User ID: 501 Date/Time: 2013-11-25 19:55:31.700 +0100 OS Version: Mac OS X 10.8.5 (12F45) Report Version: 10 Crashed Thread: 0 Dispatch queue: com.apple.main-thread Exception Type: EXC_BAD_ACCESS (SIGSEGV) Exception Codes: EXC_I386_GPFLT Thread 0 Crashed:: Dispatch queue: com.apple.main-thread 0 straightliner.opt 0x000000010604eeb2 caml_alloc_shr + 434 1 straightliner.opt 0x000000010604f27b caml_alloc + 203 2 straightliner.opt 0x0000000106053b1a caml_make_vect + 218 3 straightliner.opt 0x0000000105f95617 .L402 + 19 4 ??? 0x0000000107fca9c0 0 + 4428966336 Thread 1: 0 libsystem_kernel.dylib 0x00007fff972dc6d6 __workq_kernreturn + 10 1 libsystem_c.dylib 0x00007fff931b0f1c _pthread_workq_return + 25 2 libsystem_c.dylib 0x00007fff931b0ce3 _pthread_wqthread + 412 3 libsystem_c.dylib 0x00007fff9319b191 start_wqthread + 13 The list of modules used by this project : gnuplot sndfile bigarray lacaml fftw3 lablgtk2 lablgtk2.auto-init cairo.lablgtk2 plplot plcairo react bolt batteries The configure of ocaml-4.01.1 patched, seems fine. I guess I need your help ! : % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed ^M 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0^M 1 4294k 1 46085 0 0 304k 0 0:00:14 --:--:-- 0:00:14 308k^M 17 4294k 17 733k 0 0 638k 0 0:00:06 0:00:01 0:00:05 639k^M 32 4294k 32 1395k 0 0 649k 0 0:00:06 0:00:02 0:00:04 649k^M 47 4294k 47 2057k 0 0 653k 0 0:00:06 0:00:03 0:00:03 653k^M 63 4294k 63 2720k 0 0 655k 0 0:00:06 0:00:04 0:00:02 655k^M 78 4294k 78 3382k 0 0 656k 0 0:00:06 0:00:05 0:00:01 667k^M 94 4294k 94 4043k 0 0 657k 0 0:00:06 0:00:06 --:--:-- 662k^M100 4294k 100 4294k 0 0 656k 0 0:00:06 0:00:06 --:--:-- 660k 200 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed ^M 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0^M100 36686 100 36686 0 0 145k 0 --:--:-- --:--:-- --:--:-- 286k 200patching file Makefile patching file Makefile.nt patching file asmcomp/i386/arch.ml patching file asmrun/backtrace.c patching file asmrun/fail.c patching file asmrun/i386.S patching file asmrun/signals_asm.c patching file asmrun/stack.h patching file byterun/alloc.c patching file byterun/config.h patching file byterun/fail.c patching file byterun/floats.c patching file byterun/ints.c patching file byterun/memory.c patching file byterun/misc.h patching file byterun/terminfo.c patching file configure patching file otherlibs/graph/open.c patching file otherlibs/graph/subwindow.c patching file otherlibs/num/nat_stubs.c patching file otherlibs/systhreads/st_posix.h patching file otherlibs/systhreads/st_win32.h patching file otherlibs/threads/scheduler.c patching file otherlibs/win32unix/createprocess.c patching file testsuite/tests/basic-manyargs/manyargsprim.c patching file testsuite/tests/callback/callbackprim.c patching file testsuite/tests/gc-roots/globrootsprim.c patching file testsuite/tests/lib-bigarray-2/bigarrfstub.c patching file testsuite/tests/lib-dynlink-bytecode/stub1.c patching file testsuite/tests/lib-dynlink-bytecode/stub2.c patching file testsuite/tests/lib-dynlink-native/factorial.c patching file testsuite/tests/lib-marshal/intextaux.c patching file utils/config.mli patching file utils/config.mlp Configuring for a x86_64-apple-darwin12.5.0 ... gcc found The C compiler is ANSI-compliant. Checking the sizes of integers and pointers... Wow! A 64 bit architecture! This is a little-endian architecture. Doubles can be word-aligned. 64-bit integers can be word-aligned. Native division and modulus have round-towards-zero semantics, will use them. ranlib found #! appears to work in shell scripts POSIX signal handling found. expm1(), log1p(), hypot(), copysign() found. getrusage() found.times() found. termcap functions found (with libraries '-lcurses') You have BSD sockets. socklen_t is defined in inet_aton() found. IPv6 is supported. unistd.h found. off_t is defined in dirent.h found. rewinddir() found. lockf() found. mkfifo() found. getcwd() found. getwd() found. getpriority() found. utime() found. utimes() found. dup2() found. fchmod() found. truncate() found. sys/select.h found. select() found. symlink() found. waitpid() found. wait4() found. getgroups() found. setgroups() found. initgroups() found. POSIX termios found. Asynchronous I/O are supported. setitimer() found. gethostname() found. uname() found. gettimeofday() found. mktime() found. setsid() found. putenv() found. setlocale() and found. dlopen() found. Dynamic loading of shared libraries is supported. mmap() found. pwrite() found Replay debugger supported. System stack overflow can be detected. POSIX threads library supported. Options for linking with POSIX threads: -lpthread sigwait() found Bytecode threads library supported. X11 works Options for compiling for X11: -I/opt/local/include Options for linking with X11: -L/opt/local/lib -lX11 Configuring LablTk... tcl.h and tk.h version 8.6 found with "". Tcl library not found. Configuration failed, LablTk will not be built. BFD library not found, 'objinfo' will be unable to display info on .cmxs files Assembler supports CFI ** Configuration summary ** Directories where OCaml will be installed: binaries.................. /Users/philou/.opam/4.01.0/bin standard library.......... /Users/philou/.opam/4.01.0/lib/ocaml manual pages.............. /Users/philou/.opam/4.01.0/man (with extension .1) Configuration for the bytecode compiler: C compiler used........... gcc options for compiling..... -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT options for linking....... -lcurses -lpthread shared libraries are supported options for compiling..... -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT command for building...... gcc -bundle -flat_namespace -undefined suppress -Wl,-no_compact_unwind -o lib.so /a/path objs Configuration for the native-code compiler: hardware architecture..... amd64 OS variant................ macosx C compiler used........... gcc options for compiling..... -D_FILE_OFFSET_BITS=64 -D_REENTRANT options for linking....... assembler ................ clang -arch x86_64 -c preprocessed assembler ... clang -arch x86_64 -c assembler supports CFI ... yes with frame pointers....... no native dynlink ........... true profiling with gprof ..... supported Source-level replay debugger: supported Debug runtime will be compiled and installed Additional libraries supported: unix str num dynlink bigarray systhreads threads graph Configuration for the "num" library: target architecture ...... amd64 (asm level 1) Configuration for the "graph" library: options for compiling .... -I/opt/local/include options for linking ...... -L/opt/local/lib -lX11 The "labltk" library: not supported ** OCaml configuration completed successfully ** Building, I'm getting tons of : clang: warning: argument unused during compilation: '-fno-defer-pop' gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o interp.o interp.c clang: warning: argument unused during compilation: '-fno-defer-pop' gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o misc.o misc.c clang: warning: argument unused during compilation: '-fno-defer-pop' gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o stacks.o stacks.c clang: warning: argument unused during compilation: '-fno-defer-pop' gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o fix_code.o fix_code.c clang: warning: argument unused during compilation: '-fno-defer-pop' echo "#define OCAML_VERSION \"`sed -e 1q ../VERSION`\"" > version.h gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o startup.o startup.c clang: warning: argument unused during compilation: '-fno-defer-pop' ... Regards. On Mon, Nov 25, 2013 at 11:44 AM, Felipe Gonzalez wrote: > Process: straightliner.opt [95277] > Path: /Users/USER/*/straightliner.opt > Identifier: straightliner.opt > Version: 0 > Code Type: X86-64 (Native) > Parent Process: bash [88978] > User ID: 501 > > Date/Time: 2013-11-24 21:17:55.779 +0100 > OS Version: Mac OS X 10.8.5 (12F45) > Report Version: 10 > > Crashed Thread: 0 Dispatch queue: com.apple.main-thread > > Exception Type: EXC_BAD_ACCESS (SIGSEGV) > Exception Codes: EXC_I386_GPFLT > > Thread 0 Crashed:: Dispatch queue: com.apple.main-thread > 0 straightliner.opt 0x00000001026a510c caml_alloc_shr + 524 > 1 straightliner.opt 0x00000001026a5424 caml_alloc + 228 > 2 straightliner.opt 0x00000001026aa66b caml_make_vect + 235 > 3 straightliner.opt 0x00000001025e5547 .L402 + 19 > 4 ??? 0x00000001045e4f48 0 + 4368256840 > > Thread 1: > 0 libsystem_kernel.dylib 0x00007fff94ed36d6 __workq_kernreturn > + 10 > 1 libsystem_c.dylib 0x00007fff8f398f1c > _pthread_workq_return + 25 > 2 libsystem_c.dylib 0x00007fff8f398ce3 _pthread_wqthread + > 412 > 3 libsystem_c.dylib 0x00007fff8f383191 start_wqthread + 13 > > Thread 2:: Dispatch queue: com.apple.libdispatch-manager > 0 libsystem_kernel.dylib 0x00007fff94ed3d16 kevent + 10 > 1 libdispatch.dylib 0x00007fff93ecedea _dispatch_mgr_invoke > + 883 > 2 libdispatch.dylib 0x00007fff93ece9ee _dispatch_mgr_thread > + 54 > > Thread 3: > 0 libsystem_kernel.dylib 0x00007fff94ed36d6 __workq_kernreturn > + 10 > 1 libsystem_c.dylib 0x00007fff8f398f1c > _pthread_workq_return + 25 > 2 libsystem_c.dylib 0x00007fff8f398ce3 _pthread_wqthread + > 412 > 3 libsystem_c.dylib 0x00007fff8f383191 start_wqthread + 13 > > Thread 0 crashed with X86 Thread State (64-bit): > rax: 0x0000000007e6b3fe rbx: 0x00000000000000fe rcx: > 0x0000000007e6b000 rdx: 0x00000001056dfb50 > rdi: 0x00000000000fcd68 rsi: 0xbef24186d0048200 rbp: > 0x00007fff5d7e8e00 rsp: 0x00007fff5d7e8dd0 > r8: 0x017de4830dafd66c r9: 0x002fbc9061b5facd r10: > 0x00007fff5d7e8c98 r11: 0x00000001028ba668 > r12: 0x00000001025e5547 r13: 0x000000010446af98 r14: > 0x000000000001f9ac r15: 0x017de484131dcf98 > rip: 0x00000001026a510c rfl: 0x0000000000010206 cr2: 0x00000001028afeb8 > Logical CPU: 0 > > > seems men alloc related, I do not compile with -unsafe or -noassert > been a while I haven't used ocaml on mac, before was on os x 10.6.8 and > godi. > does it remind something to someone ? > tried using -thread, no change. > > regards. >