PR# 12758 Seg fault in {SD_HUFFMAN_ALGORITHM}.next_best_grouping
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/05/17
Class: Bug
Severity: Serious
Number: 12758
Release: 6.0.68415
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3
Solaris 10 on x86
Synopsis: Seg fault in {SD_HUFFMAN_ALGORITHM}.next_best_grouping
Description
Although I have not been able to reproduce it yet, I have gotten the attached trace (seg fault in {SD_HUFFMAN_ALGORITHM}.next_best_grouping) several times. I was undocking and moving toolbars and customizing them.
To Reproduce
Problem Report Interactions
This bug is fixed in revision#68528. Thanks for your report.