Symbol: is_array_type
usr/src/tools/smatch/src/evaluate.c
2231
if (is_array_type(type) && size < 0) { // VLA, 1-dimension only
usr/src/tools/smatch/src/evaluate.c
909
} else if (is_array_type(ctype)) {