get_implied_max
if (get_implied_max(expr, &max))
if (get_implied_max(arg, &sval))
if (get_implied_max(size_arg, &tmp) && tmp.uvalue < max.value)
if (!get_implied_max(expr, &sval) || sval.uvalue > 1)
if (get_implied_max(expr->left, &max) && max.value == 0)
int get_implied_max(struct expression *expr, sval_t *val);
if (get_implied_max(size_expr, &size)) {
if (!get_implied_max(limit, &bound))
if (use_max && get_implied_max(arg, &tmp)) {
if (!get_implied_max(limit_expr, &limit))