Symbol: linearize_compare
usr/src/tools/smatch/src/linearize.c
1786
cond = linearize_compare(ep, expr);
usr/src/tools/smatch/src/linearize.c
1901
return linearize_compare(ep, expr);