Adds two integers, performs an overflow check, and pushes the result onto the evaluation stack.

• 将两个整数相加,执行溢出检查,并且将结果推送到计算堆栈上。