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
Release: 6.7.8.5123
Confidential: No
Status: Open
Responsible:
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

Description
In a void-safe system, if you have:

  a: X
    attribute
    end

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