Symbol: befoul
usr/src/tools/smatch/src/evaluate.c
469
*type = befoul(*type);
usr/src/tools/smatch/src/symbol.h
509
struct symbol *befoul(struct symbol *type);