Sure. My point was simply that the compiler may be in position to disprove the assumption that this call is in fact dynamic (it may actually be static) or that

Sure. My point was simply that the compiler may be in position to disprove the assumption that this call is in fact dynamic (it may actually be static) or that it has to be a call in the first place (and inline the function instead). I'm certainly not arguing against branch predictors.