On 2012-04-19 PM 11:47, Makarius wrote:
   I've tried everything I can think of and I really don't know what is
   going on.  I suspect that it is a combination of things that is
   confusing Cygwin. It looks as though it is segfaulting inside some code
   that Cygwin is using to produce a message but I can't tell what that
   message is or why it's producing it.  It could be that some Cygwin table
   has reached its limit.

Does the backtrace make any sense to any Cygwin pthreads experts out there?


The crash can be reproduced in the full application only, see current
download via
http://www4.in.tum.de/~wenzelm/test/website_18-Apr-2012/download.html in
the Cygwin section.  After unpacking the bulky
Isabelle_18-Apr-2012_bundle_x86-cygwin.tar.gz one needs to run the whole
thing like this:

   $ gdb contrib/polyml-5.4.1/x86-cygwin/poly.exe poly.exe.core
   (gdb) thread all apply bt

The output of this is included as attachment "bt" here.


Is it Poly/ML doing bad things with Cygwin pthreads, or a genuine Cygwin
problem introduced in recent pthreads renovations?

seems former. please get to poly/ml to fix the problem.
Any clues?


i done following by gdb --pid=(the pid of poly.exe)

$ gdb --pid=5360
GNU gdb (GDB) 7.4.50.20120202-cvs
Copyright (C) 2012 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "i686-pc-cygwin".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>.

warning: the current range check setting does not match the language.


warning: the current type check setting does not match the language.

Whether backtraces should continue past the entry point of a program is off.
Attaching to process 5360
[New Thread 5360.0x166c]
[New Thread 5360.0x12fc]
[New Thread 5360.0xbdc]
[New Thread 5360.0xbe0]
[New Thread 5360.0x142c]
[New Thread 5360.0x484]
[New Thread 5360.0x1188]
[New Thread 5360.0x11b4]
[New Thread 5360.0x10b4]
[New Thread 5360.0x1688]
[New Thread 5360.0xda0]
Reading symbols from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/poly.exe...(no debugging symbols found)...done.
(gdb) c
Continuing.
[New Thread 5360.0x924]
[New Thread 5360.0xda8]
[New Thread 5360.0x1148]
[New Thread 5360.0x1618]
[New Thread 5360.0x1e4]
[New Thread 5360.0x82c]
[New Thread 5360.0xe0c]
[New Thread 5360.0x148c]
[New Thread 5360.0x11d8]
[New Thread 5360.0x144c]
[New Thread 5360.0xdb8]
[New Thread 5360.0xf98]
[New Thread 5360.0x16d0]
[New Thread 5360.0x152c]
[New Thread 5360.0x1384]
[New Thread 5360.0x11c4]
[New Thread 5360.0xb6c]
[New Thread 5360.0xc8c]
[New Thread 5360.0x7dc]
[New Thread 5360.0x1038]
[New Thread 5360.0x2d4]
[New Thread 5360.0x1344]
[New Thread 5360.0xc4]
[New Thread 5360.0x17c0]
[New Thread 5360.0x16ac]
[New Thread 5360.0x1630]
[New Thread 5360.0x4e0]
[New Thread 5360.0xf7c]
[New Thread 5360.0xa00]
[New Thread 5360.0xa78]
[New Thread 5360.0x140]
[New Thread 5360.0x77c]
[New Thread 5360.0x118c]
[New Thread 5360.0x554]
[New Thread 5360.0xec0]
[New Thread 5360.0x1194]
[New Thread 5360.0xadc]
[New Thread 5360.0x10e8]
[New Thread 5360.0xd24]
[New Thread 5360.0x140c]
[New Thread 5360.0x105c]
[New Thread 5360.0x17dc]
[New Thread 5360.0x173c]
[New Thread 5360.0x7d4]
[New Thread 5360.0x488]
[New Thread 5360.0x11f8]
[New Thread 5360.0x890]
[New Thread 5360.0x106c]
[New Thread 5360.0x16c0]
[New Thread 5360.0x200]
[New Thread 5360.0xa60]

Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 5360.0x166c]
0x6680187b in ProcessMarkPointers::DoScanAddressAt(PolyWord*, bool) ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll
(gdb) thread apply all bt
Thread 62 (Thread 5360.0xa60):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#3  0x00000003 in ?? ()
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#4  0x7dcdc900 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6 0x610fc4d6 in cancelable_wait (object=<optimized out>, timeout=0x7dcdc900,
    cancel_action=cw_no_cancel_self, sig_wait=cw_sig_eintr)
    at /tmp/winsup/winsup/cygwin/thread.cc:962
#7  0x00000000 in ?? ()

Thread 61 (Thread 5360.0x200):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
---Type <return> to continue, or q <return> to quit---
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#3  0x00000003 in ?? ()
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#4  0x7dddcad0 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6 0x610fc4d6 in cancelable_wait (object=<optimized out>, timeout=0x7dddcad0,
    cancel_action=cw_no_cancel_self, sig_wait=cw_sig_eintr)
    at /tmp/winsup/winsup/cygwin/thread.cc:962
#7  0x00000000 in ?? ()

Thread 60 (Thread 5360.0x16c0):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#3  0x00000003 in ?? ()
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#4  0x7dedcad0 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6 0x610fc4d6 in cancelable_wait (object=<optimized out>, timeout=0x7dedcad0,
    cancel_action=cw_no_cancel_self, sig_wait=cw_sig_eintr)
---Type <return> to continue, or q <return> to quit---
    at /tmp/winsup/winsup/cygwin/thread.cc:962
#7  0x00000000 in ?? ()

Thread 59 (Thread 5360.0x106c):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#3  0x00000003 in ?? ()
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#4  0x7dfdc960 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6 0x610fc4d6 in cancelable_wait (object=<optimized out>, timeout=0x7dfdc960,
    cancel_action=cw_no_cancel_self, sig_wait=cw_sig_eintr)
    at /tmp/winsup/winsup/cygwin/thread.cc:962
#7  0x6684a938 in defWait ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll
#8  0x40000000 in ?? ()
#9  0x00000000 in ?? ()

---Type <return> to continue, or q <return> to quit---
Thread 58 (Thread 5360.0x890):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

#3  0x00000002 in ?? ()
warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

#4  0x7e0dc820 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6 0x610fc4d6 in cancelable_wait (object=<optimized out>, timeout=0x7e0dc820,
    cancel_action=cw_no_cancel, sig_wait=cw_sig_resume)
    at /tmp/winsup/winsup/cygwin/thread.cc:962
#7  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
Backtrace stopped: previous frame inner to this frame (corrupt stack?)

Thread 10 (Thread 5360.0x1688):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
---Type <return> to continue, or q <return> to quit---
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

#3  0x00000002 in ?? ()
warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

#4  0x0194ac60 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6  0x610ccd2b in thread_socket (arg=0x2004eea0)
    at /tmp/winsup/winsup/cygwin/select.cc:1300

Thread 9 (Thread 5360.0x10b4):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

#3  0x00000002 in ?? ()
warning: (Internal error: pc 0x1 in read in psymtab, but not in symtab.)

#4  0x7f16c820 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6 0x610fc4d6 in cancelable_wait (object=<optimized out>, timeout=0x7f16c820,
    cancel_action=cw_no_cancel, sig_wait=cw_sig_resume)
    at /tmp/winsup/winsup/cygwin/thread.cc:962
---Type <return> to continue, or q <return> to quit---
#7  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
Backtrace stopped: previous frame inner to this frame (corrupt stack?)

Thread 8 (Thread 5360.0x11b4):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967649 in ntdll!ZwRemoveIoCompletion ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x014b5914 in ?? () from /cygdrive/c/WINDOWS/system32/mswsock.dll
#3  0x6100526f in _cygtls::call2 (this=<optimized out>, func=0xc0000000,
arg=0x248600, buf=0x61005401) at /tmp/winsup/winsup/cygwin/cygtls.cc:130
#4  0x0174cdf4 in ?? ()
Backtrace stopped: previous frame inner to this frame (corrupt stack?)

Thread 7 (Thread 5360.0x1188):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#3  0x00000003 in ?? ()
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

---Type <return> to continue, or q <return> to quit---
#4  0x7f26c510 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6  0x610ce7a2 in select_stuff::wait (this=0x7f26c810, readfds=0x7f26c760,
    writefds=0x7f26c740, exceptfds=0x7f26c720, ms=0x3e8)
    at /tmp/winsup/winsup/cygwin/select.cc:319
#7  0x000014f0 in ?? ()
#8  0x00000890 in ?? ()
#9  0xffffffff in ?? ()
#10 0x00000000 in ?? ()

Thread 6 (Thread 5360.0x484):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c966db9 in ntdll!ZwDelayExecution ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c801ed9 in SleepEx () from /cygdrive/c/WINDOWS/system32/kernel32.dll
#3  0x00000000 in ?? ()

Thread 5 (Thread 5360.0x142c):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
---Type <return> to continue, or q <return> to quit---
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#3  0x00000003 in ?? ()
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#4  0x7f5ec940 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6 0x610fc4d6 in cancelable_wait (object=<optimized out>, timeout=0x7f5ec940,
    cancel_action=cw_no_cancel_self, sig_wait=cw_sig_eintr)
    at /tmp/winsup/winsup/cygwin/thread.cc:962
#7  0x00000000 in ?? ()

Thread 4 (Thread 5360.0xbe0):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#3  0x00000003 in ?? ()
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#4  0x7f6e7660 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
---Type <return> to continue, or q <return> to quit---
#6  0x610ce7a2 in select_stuff::wait (this=0x7f6e7960, readfds=0x7f6e78b0,
    writefds=0x7f6e7890, exceptfds=0x7f6e7870, ms=0x3e8)
    at /tmp/winsup/winsup/cygwin/select.cc:319
#7  0xffffd8f0 in ?? ()
#8  0xffffffff in ?? ()
#9  0x7ffdb000 in ?? ()
Backtrace stopped: previous frame inner to this frame (corrupt stack?)

Thread 3 (Thread 5360.0xbdc):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c967b69 in ntdll!ZwWaitForMultipleObjects32 ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c82201c in WaitForMultipleObjectsEx ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#3  0x00000003 in ?? ()
warning: (Internal error: pc 0x2 in read in psymtab, but not in symtab.)

#4  0x7ff9ca30 in ?? ()
#5  0x7c822fae in WaitForMultipleObjects ()
   from /cygdrive/c/WINDOWS/system32/kernel32.dll
#6 0x610fc4d6 in cancelable_wait (object=<optimized out>, timeout=0x7ff9ca30,
    cancel_action=cw_cancel_self, sig_wait=cw_sig_eintr)
    at /tmp/winsup/winsup/cygwin/thread.cc:962
#7  0x00000000 in ?? ()
---Type <return> to continue, or q <return> to quit---

Thread 2 (Thread 5360.0x12fc):
#0  0x7c96845c in ntdll!LdrAlternateResourcesEnabled ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#1  0x7c9675d9 in ntdll!ZwReadFile ()
   from /cygdrive/c/WINDOWS/system32/ntdll.dll
#2  0x7c8018ba in ReadFile () from /cygdrive/c/WINDOWS/system32/kernel32.dll
#3  0x00000768 in ?? ()
#4  0x00000000 in ?? ()

Thread 1 (Thread 5360.0x166c):
#0  0x6680187b in ProcessMarkPointers::DoScanAddressAt(PolyWord*, bool) ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll
#1  0x6683faae in ProcessMarkPointers::ScanAddressAt(PolyWord*) ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll #2 0x66823032 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) () from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll #3 0x66823240 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) ()
---Type <return> to continue, or q <return> to quit---
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll #4 0x66823240 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) () from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll #5 0x66823240 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) () from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll
.....

.....
(gdb) bt -40
#32227 0x66823240 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) () from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dl---Type <return> to continue, or q <return> to quit---
l
#32228 0x66823240 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) () from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll #32229 0x66823240 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) () from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll #32230 0x66823240 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) () from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll #32231 0x66823240 in ScanAddress::ScanAddressesInObject(PolyObject*, unsigned long) () from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll #32232 0x66823317 in ScanAddress::ScanAddressesInRegion(PolyWord*, PolyWord*)
    ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll
#32233 0x668033e5 in doGC(bool, unsigned long) ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dl---Type <return> to continue, or q <return> to quit---
l
#32234 0x6683f5d4 in QuickGCRequest::Perform() ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll
#32235 0x6680bbe1 in Processes::BeginRootThread(PolyObject*) ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll
#32236 0x668013a7 in polymain ()
from /tmp/Isabelle_18-Apr-2012/contrib/polyml-5.4.1/x86-cygwin/cygpolyml-3.dll
#32237 0x004010c3 in main ()
#32238 0x610070dc in _cygwin_exit_return ()
    at /tmp/winsup/winsup/cygwin/dcrt0.cc:965
#32239 0x6100526f in _cygtls::call2 (this=<optimized out>,
    func=0x61006360 <dll_crt0_1(void*)>, arg=0x0, buf=0x61005401)
    at /tmp/winsup/winsup/cygwin/cygtls.cc:130
(gdb)

     Makarius




--
Regards.




--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple

Reply via email to