Bug#629580: gnome-shell v3.0.2-1 segfault

[Laszlo Boszormenyi]

This happens with me as well on x64. The crash is a bit different:
gnome-shell[3653]: segfault at 28 ip 00007f04305f9da7 sp 00007fffeb4c93a0 error 6 in libGL.so.1.2[7f04305b0000+68000]
gnome-shell[5431]: segfault at 28 ip 00007f5a090b7da7 sp 00007fff047a42c0 error 6 in libGL.so.1.2[7f5a0906e000+68000]

strace says at the end:
5590  open("/home/gcs/.config/dconf/user", O_RDONLY) = 9
5590  fstat(9, {st_mode=S_IFREG|0644, st_size=3420, ...}) = 0
5590  mmap(NULL, 3420, PROT_READ, MAP_PRIVATE, 9, 0) = 0x7effc08a1000
5590  close(9)                          = 0
5590  pipe2([9, 10], O_CLOEXEC)         = 0
5590  sched_get_priority_min(SCHED_OTHER) = 0
5590  sched_get_priority_max(SCHED_OTHER) = 0
5590  mmap(NULL, 8392704, PROT_READ|PROT_WRITE, MAP_PRIVATE|
MAP_ANONYMOUS|MAP_STACK, -1, 0) = 0x7effafd8c000
5590  mprotect(0x7effafd8c000, 4096, PROT_NONE) = 0
5590  clone(child_stack=0x7effb058bd50, flags=CLONE_VM|CLONE_FS|
CLONE_FILES|CLONE_SIGHAND|CLONE_THREAD|CLONE_SYSVSEM|CLONE_SETTLS|
CLONE_PARENT_SETTID|CLONE_CHILD_CLEARTID, parent_tidptr=0x7effb058c9d0,
tls=0x7effb058c700, child_tidptr=0x7effb058c9d0) = 5594
5594  set_robust_list(0x7effb058c9e0, 0x18 <unfinished ...>
5590  brk(0x237a000 <unfinished ...>
5594  <... set_robust_list resumed> )   = 0
5590  <... brk resumed> )               = 0x237a000
5594  mmap(NULL, 134217728, PROT_NONE, MAP_PRIVATE|MAP_ANONYMOUS|
MAP_NORESERVE, -1, 0 <unfinished ...>
5590  --- SIGSEGV (Segmentation fault) @ 0 (0) ---
5594  <... mmap resumed> )              = 0x7effa7d8c000
5594  +++ killed by SIGSEGV +++

Cheers,
Laszlo/GCS