Symbol: restricted_value
usr/src/tools/smatch/src/evaluate.c
1339
if (!restricted_value(expr->right, t))
usr/src/tools/smatch/src/evaluate.c
1412
if (!restricted_value(*rp, target))
usr/src/tools/smatch/src/evaluate.c
3003
if ((tclass & TYPE_RESTRICT) && restricted_value(source, ttype))
usr/src/tools/smatch/src/evaluate.c
502
if (!restricted_value(right, ltype))
usr/src/tools/smatch/src/evaluate.c
505
} else if (!restricted_value(left, rtype))