Symbol: convert_ident
usr/src/tools/smatch/src/evaluate.c
2396
convert_ident(e);
usr/src/tools/smatch/src/evaluate.c
2555
convert_ident(old);
usr/src/tools/smatch/src/evaluate.c
2581
convert_ident(old);