PR# 10851 Dead code removal continues after reporting zero features left to go
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2006/07/31
Class: Bug
Severity: Non-critical
Number: 10851
Release: 5.7.62110
Confidential: No
Status: Suspended
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.7) Gecko/20060120
Solaris 10 on x86
Synopsis: Dead code removal continues after reporting zero features left to go
Description
Compile with attached test.ecf and class TEST (included below - support system wouldn't let me add test.e for some reason). Use "ec -config test.ecf -finalize". Compiler reports: Removing dead code Features done: 50 Features to go: 87 Features done: 100 Features to go: 92 Features done: 150 Features to go: 74 Features done: 200 Features to go: 157 Features done: 250 Features to go: 156 Features done: 300 Features to go: 92 Features done: 350 Features to go: 68 Features done: 400 Features to go: 0 Features done: 450 Features to go: 58 Note the 0 in next to last line. If there were zero features to go, why wasn't it done? This might not be a bug but it certainly seems odd.
To Reproduce
Class test.e is:
class TEST
creation
make
feature
make is
local
x: TEST
do
print ("Weasel%N")
end
end
Problem Report Interactions
It is not reproducible anymore in recent releases with -verbose option. It should be the changes made in the Eiffelbase that increase/decrease number of unreachable features. I leave it suspended until we have some review work in this area.