aoti: ERROR when check overflow
repair check overflow bug