hendrik@...305... ~/workspace/rc/src/Base/Reasoner/PLib [dev]$ gdb test
GNU gdb (Ubuntu/Linaro 7.2-1ubuntu11) 7.2
Copyright (C) 2010 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 "x86_64-linux-gnu".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /home/hendrik/workspace/rc/src/Base/Reasoner/PLib/test...(no debugging symbols found)...done.
(gdb) run
Starting program: /home/hendrik/workspace/rc/src/Base/Reasoner/PLib/test 
Eclipse Initialised
dummy()

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff7b590c4 in _copy_size ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
(gdb) bt
#0  0x00007ffff7b590c4 in _copy_size ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
#1  0x00007ffff7b59049 in _copy_size ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
#2  0x00007ffff7b59049 in _copy_size ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
#3  0x00007ffff7b5a27e in create_heapterm ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
#4  0x00007ffff7b460cf in p_store_set ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
#5  0x00007ffff7b26656 in ec_emulate ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
#6  0x00007ffff7b971b2 in emulc ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
#7  0x00007ffff7ba3f49 in ec_resume2 ()
   from /home/hendrik/workspace/rc/eclipse/lib/x86_64_linux/libeclipse.so
#8  0x0000000000400cc3 in main ()
(gdb)