type_is_signed
return type_is_signed(type) && get_signed_val(type, val) < 0;
} else if (type_is_signed(type)) {
ubsan_prologue(&data->location, type_is_signed(type) ?
if (type_is_signed(data->type) && get_signed_val(data->type, rhs) == -1)