can_integer_overflow
int can_integer_overflow(struct symbol *type, struct expression *expr);
if (can_integer_overflow(get_type(left), left))
if (can_integer_overflow(get_type(arg), arg))
if (!can_integer_overflow(type, expr))