PR# 17978 Toggling all_classes between true and false in config file eventually crashes compiler
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/11/18
Class: Bug
Severity: Serious
Number: 17978
Release: 7.0.87819
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.9.0.10) Gecko/2009042715 Firefox/3.0.10
Solaris 10 on x86
Synopsis: Toggling all_classes between true and false in config file eventually crashes compiler
Description
A config file that includes a large number of (Eiffel Software) libraries with root class ANY initially specifies all_classes="true". System is frozen. Then the config file is changed to specify all_classes="false" and system is frozen again. Repeating this toggling of the value of all_classes over and over eventually (on the 17th compile) crashes the compiler with a seg fault in {SEARCH_TABLE}.internal_search. I discovered this when I was trying to track down an incrementality crash {CL_TYPE_A}.is_expanded. I suspect that that crash may be due to the same underlying cause as the present bug. My guess is that some counter (for dynamic types?) may be overflowing. Added test incr420 for this reproducible incrementality bug. I marked the test "skip" in the catalog because it takes a long time (about 50 minutes for me on our Solaris x86 loaner machine) before the test fails.
To Reproduce
Run test incr420.
Problem Report Interactions