Symbol: cmp_relation
usr/src/tools/smatch/src/smatch_equiv.c
115
if (cmp_relation(rel, &tmp) < 0)
usr/src/tools/smatch/src/smatch_equiv.c
117
if (cmp_relation(rel, &tmp) == 0)
usr/src/tools/smatch/src/smatch_equiv.c
137
if (cmp_relation(tmp, &remove) != 0)
usr/src/tools/smatch/src/smatch_equiv.c
89
if (cmp_relation(one_rel, two_rel) < 0) {
usr/src/tools/smatch/src/smatch_equiv.c
91
} else if (cmp_relation(one_rel, two_rel) == 0) {