This is all well and good, I'm not saying it's wrong, but if real world benchmark results of "letting the branch predictor do its job" indicate a 10% performance regression, I would understand why such a change wouldn't get merged even if it was proposed. "Just don't make mistakes" is, for better or worse, the modus operandi in C.
