PR# 17671 Violation of precondition `a_split_position_within_bounds' of {SD_VERTICAL_SPLIT_AREA}.set_split_pos

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/17
Class: Bug
Severity: Serious
Number: 17671
Release: 7.0.86747
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:2.0) Gecko/20100101 Firefox/4.0 Solaris 10 on SPARC
Synopsis: Violation of precondition `a_split_position_within_bounds' of {SD_VERTICAL_SPLIT_AREA}.set_split_pos

Description
While opening a saved layout in a workbench estudio, I got a precondition
violation with tag a_split_position_within_bounds in
SD_VERTICAL_SPLIT_AREA}.set_split_position.  Not reproducible at this time,
but perhaps you can tell what is wrong from the trace.  Full trace attached.

I tried opening the same saved layout again, but there was no assertion
violation.  I may have been resizing the main window while the open was
in progress.
To Reproduce
Not currently reproducible.
Problem Report Interactions
From:prestoat2000    Date:2011/06/24    Download   
This is now reproducible.  To reproduce:

Start workbench estudio with preconditions enabled and open existing project.
Select View/Tools Layout/Reset Tools Layout to get default layout.
Arrange tools to look like the attached screenshot.
Resize main window as small as possible (as narrow and as short as possible).
Select Execution/Force Execution Mode.
Estudio crashes with precondition violation.



Attachment: Screenshot-Ec.png     Size:130264
From:prestoat2000    Date:2011/06/24    Download   
I got this one again, this time while switching to Force Debug Mode.
The main window was resized very small.

In the debugger, `a_split_position' had value 61, while
`minimum_split_position' and `maximum_split_position' both had value 60,
so `a_split_position' was not between minimum and maximum.

Stack trace attached, in case it is different than the first one.

Attachment: stack23.txt     Size:9157
From:prestoat2000    Date:2011/06/17    Download   
Attachments for problem report #17671

Attachment: stack6.txt     Size:8495