Symbol: comparison_from_extra
usr/src/tools/smatch/src/smatch_comparison.c
1745
extra = comparison_from_extra(a, b);
usr/src/tools/smatch/src/smatch_comparison.c
552
extra = comparison_from_extra(data->left, data->right);