PR# 14270 Please warn if there's an override of a precompiled class

Problem Report Summary
Submitter: peter_gummer
Category: Compiler
Priority: Medium
Date: 2008/04/29
Class: Feature Request
Severity: Serious
Number: 14270
Release: 6.1.7.1477
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_2; en-au) AppleWebKit/525.18 (KHTML, like Gecko) Version/3.1.1 Safari/525.18
Synopsis: Please warn if there's an override of a precompiled class

Description
This change request arises from issue #14180: "Override class compiles the original class on Linux". That issue was a case where I had to override a class in the vision2 library on GTK platforms, but I forgot that the override would not work if the project target used the precompiled vision2 library.

This is an easy mistake to make. A compiler error would have prevented me from making this mistake.
To Reproduce

										
Problem Report Interactions
From:peter_gummer    Date:2010/06/22    Download   
I just caught by this again. We added an override for FORMAT_DOUBLE, to apply some fixes to it, but the compiler is still using the buggy version from the precompiled base library. I had no idea why this was happening. Luckily I thought of searching through my problem reports for the word "override", and I found this issue which of course explained why I was having the problem.

This is a very easy trap to fall into. The mistake is only noticed when testing. I think that a compile-time error is essential for this.