PR# 19297 [er] Non-conforming inheritance and VMCS

Problem Report Summary
Submitter: axarosenberg
Category: Compiler
Priority: Low
Date: 2016/11/19
Class: Bug
Severity: Non-critical
Number: 19297
Release: 16.05
Confidential: No
Status: Suspended
Responsible: alexk_es
Environment: win
Synopsis: [er] Non-conforming inheritance and VMCS

Description
I have the following classes:

~~~~~~~~~~~~~~~~~~~~~
class AA

feature

	f (i: INTEGER)
		do
				x := i
		end

	x: INTEGER

end
~~~~~~~~~~~~~~~~~~~~~
class BB

inherit {NONE}

	AA
		rename
			x as x1
		end

	AA
		rename
			x as x2
		end

end
~~~~~~~~~~~~~~~~~~~~~

According to ECMA, the compiler should report a VMCS error because `f' is shared and `x' is replicated.
But the compiler does not report an error and instead chooses arbitrarily `x1' as the target of the assignment in B.f.

--
Eric Bezault
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2016/11/27    Status: Suspended    Download   
Our current implementation of non-conforming inheritance is not complete at the moment. There is a hidden switch that follows the standard better but it was a breaking changes for existing library. We should have disabled the support as well instead of relying on this hidden option.

For the time being, we would recommend not using it.