Given all this, I posed this question to the gcc mailing list and received a reply that directed me to the C++ ABI (http://codesourcery.com/cxx-abi/), which is more detailed and has the information I'm looking for. However, I need to confirm, in the case of an FAA audit, that GCC 3.3.1 implements dynamic binding in this fashion. Can anyone on the steering committee "officially" confirm that GCC uses static v-tables as described in the ABI?
The steering committee doesn't do this type of thing. It follows the ABI, and uses static lookup tables. If you want confirmation, you are free to look at the source code. There is no legal entity that is going to give you some "official" confirmation of some sort. Sorry, Dan