usr/src/tools/smatch/src/smatch.h

1118

int comparison_intersection(int orig, int op);

usr/src/tools/smatch/src/smatch_comparison.c

1068

true_comparison = comparison_intersection(orig_comparison, true_comparison);

usr/src/tools/smatch/src/smatch_comparison.c

1069

false_comparison = comparison_intersection(orig_comparison, false_comparison);

usr/src/tools/smatch/src/smatch_comparison.c

1329

op = comparison_intersection(orig_comparison, op);

usr/src/tools/smatch/src/smatch_comparison.c

1330

false_op = comparison_intersection(orig_comparison, false_op);

usr/src/tools/smatch/src/smatch_comparison.c

1746

return comparison_intersection(ret, extra);

usr/src/tools/smatch/src/smatch_comparison.c

2552

if (!comparison_intersection(remove_unsigned_from_comparison(state_op), op))

usr/src/tools/smatch/src/smatch_comparison.c

2681

true_comparison = comparison_intersection(data->comparison, op);

usr/src/tools/smatch/src/smatch_comparison.c

2682

false_comparison = comparison_intersection(data->comparison, negate_comparison(op));

usr/src/tools/smatch/src/smatch_comparison.c

2719

if (data->comparison == comparison_intersection(data->comparison, op))

usr/src/tools/smatch/src/smatch_comparison.c

2721

if (data->comparison == comparison_intersection(data->comparison, negate_comparison(op)))

usr/src/tools/smatch/src/smatch_comparison.c

2735

alloc_sname(show_comparison(comparison_intersection(data->comparison, op))),

usr/src/tools/smatch/src/smatch_comparison.c

2736

alloc_sname(show_comparison(comparison_intersection(data->comparison, negate_comparison(op)))),

usr/src/tools/smatch/src/smatch_comparison.c

556

new = comparison_intersection(extra, data->comparison);