PR# 19499 VAPE not reported during incremental compilation

Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Low
Date: 2018/11/09
Class: Bug
Severity: Non-critical
Number: 19499
Release: 18.07.10.1981
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: VAPE not reported during incremental compilation

Description
If I have the following class:

~~~~~~~~~~~~~~~~~~
class Y

feature {X}

	f
		require
			g
		do
		end

feature {NONE}

	g: BOOLEAN
		do
			Result := True
		end
		
end
~~~~~~~~~~~~~~~~~~

and class X does not exist, and then I have the following code:

~~~~~~~~~~~~~~~~~~
	f
		local
			y: Y
		do
			create y
		end
~~~~~~~~~~~~~~~~~~

the code compiles without any errors. If later I add class X:

~~~~~~~~~~~~~~~~~~
class X
end
~~~~~~~~~~~~~~~~~~

and change `f' to be:

~~~~~~~~~~~~~~~~~~
	f
		local
			y: Y
			x: X
		do
			create y
			create x
		end
~~~~~~~~~~~~~~~~~~

the compiler fails to report a VAPE validity error in class Y (`g' appearing in the precondition of `f' is not exported to X).

If I recompile from scratch, then the VAPE validity error is successfully reported.

--
Eric Bezault

To Reproduce

										
Problem Report Interactions