PR# 19647 Self-initializing attribute not properly initialized
Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Medium
Date: 2020/06/02
Class: Bug
Severity: Serious
Number: 19647
Release: 20.03.10.3992
Confidential: No
Status: Closed
Responsible: alexk_es
Environment: win
Synopsis: Self-initializing attribute not properly initialized
Description
The following code is wrongly accepted by EiffelStudio in void-safe mode:
make
do
print (f.count)
end
f: STRING
attribute
Result := Void
end
And crashes with a call-on-void-target exception.
--
Eric Bezault
To Reproduce