[Bug c++/13005] Pointer wrongly adjusted for derived class containing virtual function

[stephenma at telus dot net]

------- Additional Comments From stephenma at telus dot net  2004-01-10 05:48 -------
Gabriel Dos Reis wrote:

> | The ARM never explicitly says that "1+1 == 2" is a C++ expression that
> | evaluates to 1, yet everyone knows it is so. 
> 
> Proof by analogy is fraud -- dixit one of authors of ARM :-)

Well, dixit Stroustrup is not the same as dixit Dominus.  :)

You can't impose mathematical rigor on the loosely-written ARM.  If
you try that, you end up concluding that the value of "1+1==2" is
undefined, as far as the ARM is concerned.

I've enjoyed the argument, but that's enough for me.  The new warning
appears to be acceptable (with a few tweaks), and that is all that
really counts.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13005