gnu.cfg: Add support for some built-in functions to check overflow

gnu.cfg: Add support for some built-in functions to check overflow #9793