Bug 712795 - segmentation fault in memberdef.cpp