Symbol: restricted_binop
usr/src/tools/smatch/src/evaluate.c
1330
if (!restricted_binop(op, t)) {
usr/src/tools/smatch/src/evaluate.c
509
switch (restricted_binop(op, ctype)) {