PR# 17294 Empty attribute clauses are checked for VEVI

Problem Report Summary
Submitter: manus_eiffel
Category: Compiler
Priority: High
Date: 2011/01/24
Class: Bug
Severity: Critical
Number: 17294
Confidential: No
Status: Open
Environment: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US) AppleWebKit/534.10 (KHTML, like Gecko) Chrome/8.0.552.237 Safari/534.10
Synopsis: Empty attribute clauses are checked for VEVI

In a void-safe system, if you have:

  a: X

then the compiler reports a VEVI error on Result not being initialized when it should not since that declaration occurs in a deferred class or in a class that initializes a.

To Reproduce

Problem Report Interactions