Symbol: convert_designators
usr/src/tools/smatch/src/evaluate.c
2640
convert_designators(last);
usr/src/tools/smatch/src/evaluate.c
2673
convert_designators(last);