1. A method to perform return-address prediction in a program, the method comprising: detecting a procedure associated with an overflow condition; and inserting a branch-hint instruction corresponding to a return instruction associated with the procedure in the program.