The dynamic dispatch is not a hard thing. For C, in fact, you get "whatever", and that's even legal. For C++, the problem is templates, etc, are linkonce, and

The dynamic dispatch is not a hard thing. For C, in fact, you get "whatever", and that's even legal. For C++, the problem is templates, etc, are linkonce, and you can't choose which it's going to pick (ie the problem described in the article). You also can get screwed by inlining, etc. Function multi-versioning alone does not solve this well, you really need a way to make the ABI part of the template arguments or something to do it well. There are other issues.