On 10 April 2013 20:53, Regan Heath <regan@netmail.co.nz> wrote:

False. In this first example we are compiling A and B together (into an exe - I left that off) so the compiler has all sources and all uses of all methods of A (and B).

And if the program calls LoadLibrary() somewhere?

notVirt is virtual.

It may actually be (I don't know) but it certainly does not have to be (compiler has all sources/uses) and my impression was that it /should/ not be.

It doesn't have all sources. It could load a library. That can never be guaranteed.