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

1138

int remove_unsigned_from_comparison(int op);

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

298

one = remove_unsigned_from_comparison(one);

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

299

two = remove_unsigned_from_comparison(two);

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

368

left_compare = remove_unsigned_from_comparison(left_compare);

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

369

right_compare = remove_unsigned_from_comparison(right_compare);

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

437

left_compare = remove_unsigned_from_comparison(left_compare);

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

438

right_compare = remove_unsigned_from_comparison(right_compare);

usr/src/tools/smatch/src/smatch_constraints.c

376

add_constraint(&constraints, remove_unsigned_from_comparison(op), constraint_id);

usr/src/tools/smatch/src/smatch_extra.c

608

comparison = remove_unsigned_from_comparison(condition->op);