My understanding is that this penalty can be mitigated by telling the compiler which way a branch is likely to go so it can optimize the generated code appropri

My understanding is that this penalty can be mitigated by telling the compiler which way a branch is likely to go so it can optimize the generated code appropriately. I know the linux kernel uses what I think is a gcc specific extension to do this. For a malloc check, the result is almost always the same.