Got a better backtrace (below) using "thread apply all bt" and the problem become apparent -- it is location of "g_static_rec_mutex_free(&_mutex);" in file "library/grt/src/grtpp_undo_manager.cpp".
The updated source package is waiting for sponsor on mentors: http://mentors.debian.net/debian/pool/main/m/mysql-workbench/mysql-workbench_5.2.40+dfsg-2.dsc Thread 1 (Thread 0x7ffff7f969a0 (LWP 16052)): #0 0x00007fffee205475 in *__GI_raise (sig=<optimized out>) at ../nptl/sysdeps/unix/sysv/linux/raise.c:64 #1 0x00007fffee2086f0 in *__GI_abort () at abort.c:92 #2 0x00007fffee1fe621 in *__GI___assert_fail (assertion=0x7fffef9142e0 "robust || (oldval & 0x40000000) == 0", file=<optimized out>, line=321, function=0x7fffef914350 "__pthread_mutex_lock_full") at assert.c:81 #3 0x00007fffef90c094 in __pthread_mutex_lock_full (mutex=0x5555573a7140) at pthread_mutex_lock.c:321 #4 0x00007ffff0b48e81 in g_static_rec_mutex_lock (mutex=0x5555564d5140) at /tmp/buildd/glib2.0-2.32.3/./glib/deprecated/gthread-deprecated.c:712 #5 0x00007ffff66636ed in grt::UndoManager::reset (this=this@entry=0x5555564d5130) at grtpp_undo_manager.cpp:786 #6 0x00007ffff6663849 in grt::UndoManager::~UndoManager (this=0x5555564d5130, __in_chrg=<optimized out>) at grtpp_undo_manager.cpp:633 #7 0x00007ffff6663919 in grt::UndoManager::~UndoManager (this=0x5555564d5130, __in_chrg=<optimized out>) at grtpp_undo_manager.cpp:634 #8 0x00007ffff660abbf in grt::GRT::~GRT (this=0x5555564d4f70, __in_chrg=<optimized out>) at grtpp_grt.cpp:192 #9 0x00007ffff6dd6d02 in bec::GRTManager::~GRTManager (this=0x5555564d4b40, __in_chrg=<optimized out>) at grt/grt_manager.cpp:235 #10 0x00007ffff6dd7239 in bec::GRTManager::~GRTManager (this=0x5555564d4b40, __in_chrg=<optimized out>) at grt/grt_manager.cpp:245 #11 0x0000555555c27e12 in wb::WBContext::~WBContext (this=0x555556470da0, __in_chrg=<optimized out>) at workbench/wb_context.cpp:312 #12 0x0000555555c05d3c in wb::WBContextUI::~WBContextUI (this=0x55555646aca0, __in_chrg=<optimized out>) at workbench/wb_context_ui.cpp:121 #13 0x0000555555c05e29 in wb::WBContextUI::~WBContextUI (this=0x55555646aca0, __in_chrg=<optimized out>) at workbench/wb_context_ui.cpp:123 #14 0x0000555555a25bb0 in Program::shutdown (this=0x7fffffffe1b0) at program.cpp:198 #15 0x0000555555a223bc in main (argc=1, argv=0x7fffffffe408) at main.cpp:348 -- Regards, Dmitry. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org