Symbol: is_int
usr/src/tools/smatch/src/evaluate.c
1357
if (tclass == TYPE_PTR && is_int(sclass)) {
usr/src/tools/smatch/src/evaluate.c
2342
if (is_int(class)) {
usr/src/tools/smatch/src/evaluate.c
3225
if (!is_int(i_class)) {
usr/src/tools/smatch/src/evaluate.c
987
if (lclass & TYPE_PTR && is_int(rclass) && (op == '+' || op == '-')) {
usr/src/tools/smatch/src/evaluate.c
993
if (rclass & TYPE_PTR && is_int(lclass) && op == '+') {